只为小站
首页
域名查询
文件下载
登录
首页
开发技术
其它
部分K值逻辑中最小覆盖之判定的一些结果
部分K值逻辑中最小覆盖之判定的一些结果
上传者:
38750644
|
上传时间: 2021-02-22 18:07:25
|
文件大小: 460KB
|
文件类型: PDF
多值逻辑;
完备性;
Sheffer函数;
极大封闭集(准完备集);
根据部分K值逻辑完备性理论,证明了当m=2,σ=e时,若正则可离关系G2=G2({1,2})∪G"2之关系图的基础图仅为N图,则T(G2)不是PK*的最小覆盖成员。
文件下载
立即下载
评论信息
其他资源
空间后方、前方交会算法的C++实现
大族 高速全反馈自运行振镜焊接控制系统HL6.2.5 快速使用指南.pdf
编译原理学习指导与典型题解析
新一代工业互联网发展模式与成功实践
BLE4.0Demo
植物叶片识别
DS1302数码管显示时间(可调)
基于jsp个人博客系统
2019深圳边界shp文件.rar
C#.医院管理系统(C#.NET)附源码
hadoop-eclipse-plugin-2.7.4
GMC大赛的模型
origin使用教程.pdf
XL4016可调节降压电路
RTL8111E RTL8168E网卡MAC地址刷写程序PG2.29
数学建模-线性规划模型
测试理论总结.xmind
过检测WPE.rar
2018年北京交通大学10101数据结构复试核心题库
GnssLevelHight(高程拟合软件)
软考-照片检验.zip
计算机等级考试四级网络工程师自学习总结资料
C++实现的单片空间后方交会
EPI Elements of Programming Interviews - The Insider's Guide 第2版
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
Actionscript
C
C#
C++
Delphi
Java
Javascript
Perl
PHP
Python
VB
Web开发
硬件开发
其它
热门下载
基于MATLAB的水果图像识别
2020年数学建模B题(国二)论文.pdf
云视通扫描工具.zip
SSM外文文献和翻译(毕设论文精品).doc
基于蒙特卡洛生成电动汽车充电负荷曲线程序
python大作业--爬虫(完美应付大作业).zip
基于hadoop商品推荐系统课程设计
EEupdate_5.35.12.0 win10下修改intel网卡mac
新型冠状病毒疫情_2020年东三省数学建模A题_论文展示
中国地面气象站观测数据2000-2021
得到品控手册7.0.pdf
Keil5安装包
Academic+Phrasebank+2021+Edition+_中英文对照.pdf
大学生网页设计大作业-5个网页设计制作作品自己任选
芯片验证漫游指南以及源代码.zip
最新下载
证件照标准魔板--适合爱普生(自制含标准1寸、2寸及大小1寸、2寸)
哈工大信息检索研究中心同义词词林扩展版及说明
visible analyst 教学版
INFORMATICA10.4.1下载链接.txt
Qt+Halcon封装迈德威视相机
小蚁智能摄像头夜视版(YHS-113)固件升级包
EAGLE 转AD 转换用ULP文件
蚁群算法原理及应用_段海滨_高清
华为K662d、K662p升级固件V500R021C00SPC161
CXSTM8_32k V3.4.3破解