只为小站
首页
域名查询
文件下载
登录
部分四值逻辑中保三元单纯可离关系函数集最小覆盖之确定
根据部分K值逻辑的完备性理论和相似关系概念,定出并证明了属于准完备集最小覆盖的保三元单纯可离关系函数集.
2021-02-22 18:07:25
392KB
多值逻辑;
Sheffer函数;
单纯可离关系;
最小覆盖
1
部分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函数的判定与构造
根据部分K值逻辑的完备性理论和相似关系概念,利用部分多值逻辑函数集中准完备集之最小覆盖成员的判定构造了部分四值逻辑函数集P4*中的Sheffer函数。
2021-02-22 18:07:22
149KB
多值逻辑;
Sheffer函数;
最小覆盖
1
部分三值逻辑中Sheffer函数的判定算法
根据部分多值逻辑的完备性理论和部分三值逻辑中准完备集的最小覆盖,给出部分三值逻辑中Sheffer函数的判定算法。
2021-02-22 18:06:56
288KB
多值逻辑;
准完备集;
最小覆盖;
Sheffer函数
1
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
20200318附加-2019年电赛综合测评方案详细计算过程(pdf版本,有朋友反映word版本乱码,特意转为pdf)
凯斯西储大学(CWRU)轴承数据集(含数据包+整理Python程序+使用说明)
2019和2021年华为单板通用硬件笔试题及答案
Academic+Phrasebank+2021+Edition+_中英文对照.pdf
故障诊断数据集及实现代码
C4.5决策树算法的Python代码和数据样本
基于FPGA的DDS信号发生器设计(频率、幅度、波形可调)
scratch版 我的世界.sb2
刚萨雷斯《数字图像处理》第四版答案.pdf
上帝之眼和拾荒者.rar
计算机专业实习日记+实习周记+实习总结
基于LSTM模型的股票预测模型_python
MPC 模型预测控制matlab仿真程序
夏天IC助手1.8你们懂的
IEEE33节点配电网Simulink模型.rar
最新下载
Python ctypes tkinter 调用API函数,设计窗口控制工具
智能车电磁组完整程序
SAR成像BP算法.m
OFDM完整仿真过程及解释(MATLAB)
基于SSM学而优奖学金评定管理系统设计
WKA_合成孔径_合成孔径雷达SAR_SAR_wkA_雷达_
方易通6021/5009刷机包 网友给的,显示8.1的系统,适合6021模块的中控
STM32F4 HAL跑马灯Proteus仿真
ASP.NET MVC EF bootstrap教务信息管理系统
【仿真图 | Proteus8】基于STM32的4层电梯控制系统 课程设计.rar
其他资源
MFC下CAsyncSocket无连接通信(UDP)
Matlab经典教程—从入门到精通
apache-tomcat-7.0.107.zip
2013年全国大学生电子设计竞赛综合测评,波形变换仿真
ASCII码和数字之间的相互转换
AutoCAD 2014 ObjectARX API手册 开发文档
解决idea2018.3新版汉化设置打不开
高斯白噪声矩阵
UE4加载本地图片本地图片
精灵混合加密系统
Lintcode-java版本
国行建伍TK-8302_TK-7302)中文写频软件(带注册码) KPG-124D(C)_V111_CD.zip
matlab开发-Imsplit
使用POI技术读取Excel中数据,比对,并将比对结果存入Excel
GC-2010性能和特点.ppt
When Good Enough Is Better: Energy-Aware Scheduling for Multicore Servers
Formality在FPGA评测中的应用.pdf
2021美赛E题思路
零基础电工基础教程入门
诺蒂菲尔3030主机说明书
白盒测试基本路径自动生成工具制作
IT规划—朱战备
ionic购物商城demo源码
jave-1.0.2
电子病历与医院信息平台标准符合性测试规范(征求意见稿)
spring initializr-service
World Wind 1.4源代码