只为小站
首页
域名查询
文件下载
登录
部分K值逻辑中最小覆盖之判定的一些结果
根据部分K值逻辑完备性理论,证明了当m=2,σ=e时,若正则可离关系G2=G2({1,2})∪G"2之关系图的基础图仅为N图,则T(G2)不是PK*的最小覆盖成员。
2021-02-22 18:07:25
460KB
多值逻辑;
完备性;
Sheffer函数;
极大封闭集(准完备集);
1
部分三值逻辑中Sheffer函数的判定算法
根据部分多值逻辑的完备性理论和部分三值逻辑中
准完备集
的最小覆盖,给出部分三值逻辑中Sheffer函数的判定算法。
2021-02-22 18:06:56
288KB
多值逻辑;
准完备集;
最小覆盖;
Sheffer函数
1
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
转速、电流双闭环直流调速Simulink源文件.zip
适用于eNSP 1.3.00 可加载的USG6000V防火墙设备包
android studio课程设计作业PPT+设计文档+可运行源代码+设计思路
多目标微粒子群算法MOPSO MATLAB代码
CPLEX12.8学术版安装包:cplex_studio128.win-x86-64.exe
东南大学英语技术写作慕课所有答案
csma/ca和csma/cd的matlab仿真源代码带有详细的注释
Android小项目——新闻APP(源码)
基于javaweb的网上购物系统(毕业论文+答辩PPT+开题报告+源代码)
计算机专业实习日记+实习周记+实习总结
华为OD机试真题.pdf
韦来生《数理统计》课后习题与答案
空间谱估计理论与算法------程序.rar
基于Matlab的IEEE14节点潮流计算.zip
机械臂避障路径规划仿真 蚁群算法 三维路径规划
最新下载
STM32F103C8T6最小系统板(立创EDA,已测试)
利用Frank-Wolfe求解UE用户均衡模型,以SiouxFalls网络为例(Python)
Panasonic_MINAS-A6BF_V1_4_1_0_106_0.xml
c++入门,核心,提高讲义笔记
北京建筑轮廓数据
APQP全套表格.doc
UTD2000CEX上位机软件.rar
使用微带线快速进行电感、电容的等效(Matlab代码实现)
北京道路、建筑、河流、土地利用地图shp矢量
电动汽车充电桩工作原理.pdf
其他资源
MFC 获取windows系统日志
写字机器人2代.zip
BP神经网络、ELM极限学习机、SVM支持向量机MATLAB代码,以及测试数据,用于回归预测
matlab取目标轮廓坐标
ADV7123 verilog控制代码
LS-DYNA材料参数
《C++面向对象程序设计》第2版编程题答案
基于Django的电子商务网站设计.pdf
MFC显示tiff图像
微波技术与天线 课后答案
基于Proteus八路抢答器的设计与仿真.zip
天龙八部脚本易代码大全
CodeSmith数据库模板v3
Saleae Logic+setup+1.1.18+19
GradleAndroid最新自动化编译脚本教程
ElasticsearchDemo.rar
Libnids-1.19-win32-rebuid.zip
分布式旅行预订系统--模仿分布式数据库
C# 语音 真人语音
AGV视觉导航设计方案-经典.doc
windows下的定时器
随机森林程序
ifc基础模型
AndEngine中文文档
Linux防火墙(原书第3版).pdf