只为小站
首页
域名查询
文件下载
登录
首页
开发技术
其它
部分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*的最小覆盖成员。
文件下载
立即下载
评论信息
其他资源
基于WIFI智能家居开题报告.doc
LCSTS数据集完整版280万条
数据库课设 java课设都可用 机房管理系统
IEC 62304中英文报告模板
最新Java教程实战游戏—[别踩白块儿]视频+笔记+代码
国家医保版ICD编码.zip
Android高仿QQ页面,实现登陆跳转
WWH-OBD ISO27145-3中英文版
stm32 驱动颜色传感器TCS230
链状双重独立编码
2015电赛 风力摆控制系统赛题解析及源代码开源
华为杯数学建模C题数据处理
财务估值模型详细版
c# XML版人事管理系统源代码
汽车电控技术.ppt
NT39211_V1.0_20071127.pdf
ORACLE-EBS 高级定价配置文件
jersey 2.2 +spring 3.1.0.RELEASE+hibernate 3.3.1.GA maven 配置文件
Kext Utility
fds火灾场景模拟软件
基于单片机的水位控制系统
winfrom物流管理系统
PHP在线安装
Clover EFI For MSI X99ARaider E5-2696V4 MacOS High Sierra 10.13
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
Actionscript
C
C#
C++
Delphi
Java
Javascript
Perl
PHP
Python
VB
Web开发
硬件开发
其它
热门下载
RX560 bios合集(请务必注意显存品牌和大小以及是否需要6pin!)含刷新工具.zip
计算机专业实习日记+实习周记+实习总结
狂神说Java系列笔记.rar
Monet智能交通场景应用
Elsevier爱思唯尔的word模板.zip
机械臂避障路径规划仿真 蚁群算法 三维路径规划
基于matlab扩频通信系统仿真(整套代码)
基于MATLAB的Filter使用,低通、带通和高通滤波器的仿真
银行笔试 信息科技岗部分真题
cublas64_11.dll cublasLt64_11.dll cusolver64_11.dll
MATLAB之LSTM预测
matlab时频分析工具箱+安装方法+函数说明+最新版tftb.
得到品控手册7.0.pdf
校园网规划与设计(报告和pkt文件)
matlab机器人工具箱实现机械臂直线轨迹&圆弧轨迹规划
最新下载
华为刷机软件
amap:高德地图-Qt地图插件-源码
goturn.caffemodel & goturn.prototxt
Protel98_99Se_Cam350汉字补丁.rar
丝连族谱家谱制作软件家谱排版工具
黑马程序员spring框架2016视频笔记
xacs.rar,本地tr069服务器软件
Carlier J等的97组混合流水车间调度问题标准算例
XFLR5汉化版本
基于FFmpeg的视频播放器