只为小站
首页
域名查询
文件下载
登录
离散数学复习资料知识点梳理总结归纳期末考试
离散数学复习资料,涵盖
数理逻辑
,集合论,代数结构的重要知识点
2022-03-21 17:08:20
97KB
离散数学
数理逻辑
集合论
代数结构
1
计算机数学教材合集
集合 基础集合论 董延 逻辑 面向计算机科学的
数理逻辑
陆钟万 图论 图论及其算法 王树禾 组合 具体数学 Ronald L. Graham / Donald E. Knuth / Oren Patashnik 代数 Introduction to Linear and Abstract Algebra 数论 初等数论 潘氏兄弟
2022-03-17 11:50:57
44.02MB
基础集合论
数理逻辑
图论及其算法
具体数学
1
用时态逻辑LTL公式表示系统性质-高级
数理逻辑
第六章
用时态逻辑LTL公式表示系统性质 安全性: ¬ p 可达性: p 响应性: (p q) (弱)公平性: p q (强)公平性: p q p --- p无限多次为真 p --- 从某个时刻起, p一直为真。
2022-03-08 12:24:57
701KB
高级数理逻辑
1
哈尔滨工业大学-
数理逻辑
哈尔滨工业大学计算机学院
数理逻辑
课程课件
2022-03-05 21:22:58
1.38MB
数理逻辑
1
莫绍揆
数理逻辑
初步.pdf
莫绍揆,
数理逻辑
初步,
数理逻辑
通俗教材,
数理逻辑
通俗教材。
2022-01-17 21:26:20
3.27MB
数理逻辑
1
数理逻辑
2015-2017 .pdf
哈尔滨工业大学
数理逻辑
期末考试
2021-12-30 14:31:03
433KB
哈尔滨工业大学
数理逻辑
离散数学
1
对下列公式应用Horn算法-面向计算机科学的
数理逻辑
第一章
对下列公式应用Horn算法 (T →q) ∧ (T →s) ∧ (w →⊥) ∧ (p ∧ q ∧ s→⊥) ∧ (v → s) ∧ ( (T →r) ∧ (r → p) 1.第一次循环:标记q, s, r 2.第二次循环:标记p 由于p,q,s全被标记,所以第三次循环会标记⊥ 所以是“不可满足的”
2021-12-21 14:48:15
5.11MB
PPT
1
计算CNF形式的等价公式的办法-面向计算机科学的
数理逻辑
第一章
计算CNF形式的等价公式的办法: 1 写出完整真值表 2 对每一个赋值为F的行构造一个文字的析取 注意:当原子在该行是真的,则否定该原子 3 由这些析取句子构造CNF形式公式,即为原公式的等价公式 为什么对任何公式Ф,这种方法都是可行的呢? 因为这样构造的公式Ф=ᴪ1 Λᴪ2 Λ...Λᴪn 是假 至少一个合取项ᴪi是假的。 ᴪi =p1 V p2 V...V pn 所有析取项pi 为假 德摩根律:┐p1 V┐ p2 V...V ┐pn ≡ ┐(p1 Λ p2 Λ...Λ pn ) 一定是真 为什么对任何公式,这种方法都是可行的呢?因为这样构造的公式是假的当且仅当至少有一个合取项是假的。但是我们得到的那些文字句法的析取一定是真的
2021-12-21 10:23:45
5.11MB
PPT
1
Chiswell, Hodges - Mathematical Logic
数理逻辑
数理逻辑
的一本教材,内容丰富详实,有深度,是本科期间离散数学教学内容的推进。
2021-12-14 23:56:08
1.2MB
Logic
1
哈工大
数理逻辑
课后答案
哈工大
数理逻辑
的课后答案,帮助学习学妹完成作业哦,仅供参考。 哈工大
数理逻辑
的课后答案,帮助学习学妹完成作业哦,仅供参考。
2021-12-13 10:04:28
167KB
哈工大
数理逻辑
课后答案
1
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
Android小项目——新闻APP(源码)
2022学术英语写作(东南大学) 章节测试+期末test答案
OLED显示温度和时间-STM32F103C8T6(完整程序工程+原理图+相关资料).zip
基于YOLOV5的车牌定位和识别源码.zip
PLECS中文手册.pdf
cplex_studio129.win-x86-64.exe CPLEX 12.9直接安装可使用
ios无人直播 虚拟视频实用版 可以导入视频
上帝之眼和拾荒者.rar
故障诊断数据集及实现代码
凯斯西储大学(CWRU)轴承数据集(含数据包+整理Python程序+使用说明)
超大规模集成电路先进光刻理论与应用.pdf
C4.5决策树算法的Python代码和数据样本
Microsoft Visual C++ 2015-2019 运行库合集,包含32位64位
《应用非线性控制》(美)斯洛坦著;程代展译(清晰)
东南大学英语技术写作慕课所有答案
最新下载
北京邮电大学数据链路层滑动窗口协议的设计与实现参考
数据链路层滑动窗口协议的设计与实现——北邮计算机网络实验
基于Ogre的场景编辑器OgreSE源代码+示例
基于OGRE开发的一个小场景编辑器tecnofreak_editor
ASP.NET二手汽车交易系统
discuz插件:【禾今】微信投票 32.0(增加了无需关注也能投票的功能)
基于javaWeb实现学生选课管理系统程序设计源码+数据库文件+文档说明分享
铭瑄MS-H61MEL最新BIOS,亲测完美支持3代i5,E3 1230 V2
Update.ZIP_TWRP_RK3368_3.1.0-0_170318
CMW Run.rar
其他资源
软件形式化方法期末考试复习要点
高德车机导航自动配置端口文件
Axure库(全套)
使用 python手动实现了SVM支持向量机 核函数 软间隔
EC200S驱动和PPP拨号脚本.rar
《数据库系统概论》第三版萨师煊、王珊,高等教育出版社
STM32L476RG驱动BMP180
MediaPipe_handtracking_gpu_Demo_v0.8.2.zip
C#程序设计教程_李春葆
360度全景展示flash源文件
tftp服务器,支持ipv6
基于FPGA的卡尔曼滤波
短语:用于解决规范问题的Clojure(Script)库-源码
mac版 mysql5.6.39安装包
linux C实现MD5withRSA签名
ILSpy5.zip
数据结构课程设计《全国交通咨询模拟》
海康威视web监控
南昌大学计算机操作系统期末试卷
SandBoxie v5.06沙盘最新版-含注册机-破解版
LIMS解决方案
基于图像的自动识别技术