只为小站
首页
域名查询
文件下载
登录
部分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
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
代码随想录知识星球精华-大厂面试八股文第二版v1.2.pdf
基于STM32的电子时钟设计
计算机专业实习日记+实习周记+实习总结
MTALAB NSGA2算法
上帝之眼和拾荒者.rar
STK基础教程
雷达信号处理仿真程序(MTI,MTD等)
python实现的学生信息管理系统—GUI界面版
(推荐)小爱触屏音箱LX04_2.34.5-官改-(开发版)SP5
avantage 软件 xps 处理软件30天后不能使用问题
基于MATLAB的Filter使用,低通、带通和高通滤波器的仿真
西安问题电缆-工程伦理案例分析.zip
基于yolov4-keras的抽烟检测(源码+数据集)
芯片验证漫游指南以及源代码.zip
YOLOv5 人脸口罩图片数据集
最新下载
方易通6021/5009刷机包 网友给的,显示8.1的系统,适合6021模块的中控
STM32F4 HAL跑马灯Proteus仿真
ASP.NET MVC EF bootstrap教务信息管理系统
【仿真图 | Proteus8】基于STM32的4层电梯控制系统 课程设计.rar
SAR+wK+根据回波信号生成SAR图像
GoHide绿色破解版(亲测可用可保存)已设置F10按键
荣耀路由ws831固件rom.zip
STM32CUBEMX驱动lcd1602,芯片是stm32f103c8t6
springboot奖助学金评审系统的设计与实现(源码+数据库)031035
成功安装VM tools,设置的共享文件夹却不显示
其他资源
电力系统电磁暂态计算与EMTP应用
[Unity3D] R-Life0.8完美存档、全解锁教程
IEEE杂志的latex模板
pso优化bp神经网络代码
模式识别-iris数据集聚类实验报告及代码
基于LDA(fisherface)和KNN的人脸识别(matlab)
GB28181-2016 IPC模拟设备 + 自动化测试工具 合集
工资管理系统UML报告
Python-pydicom使用python代码读取修改和编写DICOM文件
talent q numerical 史上最全
MT4 API 完整开发文档
C#火车订票系统
Rear wheel feedback.zip
飞思卡尔电磁组决赛程序
基于Java的病历管理系统的设计与实现
维修申请单表格.xls
未来气候情景下官厅流域径流预估及水文旱涝分析_温姗姗.caj
LPC1788 应用开发板ad原理图+PCB+封装库文件.zip
hadoop-3.2.1.rar
I2C SPEC (I2C Specification)
DesignMode
60个人力资源必用表格
Ubuntu使用手册(中文)