只为小站
首页
域名查询
文件下载
登录
部分四值逻辑中保三元单纯可离关系函数集最小覆盖之确定
根据部分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
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
基于S函数的BP神经网络PID控制器及Simulink仿真和对应代码模型.zip
雷达信号处理仿真程序(MTI,MTD等)
Academic+Phrasebank+2021+Edition+_中英文对照.pdf
STM32F4时钟触发ADC双通道采样DMA传输进行FFT+测频率+采样频率可变+显示波形
Steam离线安装版
cublas64_11.dll cublasLt64_11.dll cusolver64_11.dll
工程伦理案例分享.docx
拾荒者扫描器.zip
多智能体的编队控制matlab程序(自己编写的,可以运行)
sqlite运行所需Vc++运行环境,纯净版System.Data.SQLite.dll及SQLite.Interop.dll
2010年-2020中国地面气候资料数据集(V3.0)
IEEE33节点配电网Simulink模型.rar
基于ray filter的雷达点云地面过滤ROS节点
基于Matlab的PI/4 DQPSK的调制解调源代吗
张正友相机标定Opencv实现(完整程序+棋盘图)实例源码
最新下载
蒸发相变_能量源项_质量源项_UDFfluent_源项_蒸发_
MDS-B-SVJ2系列 规格使用说明书
SM2258XTMPToolR0917B
Horn-Schunck 光流方法:Horn & Schunck 非常经典的光流方法的实现。-matlab开发
电子地图一把抓GE非完美版及无损压缩版
北京科技大学研究生英语科技论文写作MOOC参考答案,包含每章视频后面测试题目,quiz,assignment等
C4.5决策树算法的Python代码和数据样本.zip
内点法最优潮流MATLAB算法
uc3842 cir仿真
比亚迪BF7812AMXX参考程序例程
其他资源
Sliding mode control:Theory and Application
基于ATF54143平衡式低噪声放大器的设计.pdf
DBeaver连接达梦8教程&达梦.zip
ECG心率计算
winform与MVC开发的SignalR相互发送信息
基于FDTD方法模拟一维电磁波在超材料的传播(Matlab)
基于web的航班订票系统
很好用字模提取软件(自己用过的几个中最好用的)
sift及其后续改进算法原文(全)
PSCAD4.2双馈风机模型----国外学者良心搭建
iis+php+mysql一键安装包,iis下php+mysql一键安装包兼容win系列所有系统
C# 基于SMTP协议和SOCKET发送邮件及附件
电磁场时域计算方法
《Programming ASP.NET(第三版)》 pdf 高清 含目录
Visual Studio 2010 sp1 在线升级包
北京统计年鉴2000
VB.net彩票模拟程序
屏幕花瓣飘飞源码
Markov Chains and Stochastic Stability
公路测量放样程序(简单、方便)
软件测试报告
DmJdbcDriver-6.0.jar
ublox-m8nGPS模块频率波特率设置