普通逻辑学文库下载_中国高校课件下载中心

文档格式：PDF　文档大小：113.58KB　文档页数：3

复旦大学：《数理逻辑》课程教学资源（作业习题）exercise_c08

文档格式：PDF　文档大小：423.87KB　文档页数：9

《计算机学报》：一种用于指针程序安全性证明的指针逻辑

文档格式：PDF　文档大小：115.03KB　文档页数：3

复旦大学：《数理逻辑》课程教学资源（作业习题）exercise_c07

文档格式：PPT　文档大小：1.56MB　文档页数：87

1.1 命题与命题联结词 1.2 公式的解释与真值表 1.3 联结词的完备集 1.4 范式 1.5 命题逻辑的推理理论 1.6 命题演算的自然推理形式系统

文档格式：DOCX　文档大小：52.19KB　文档页数：11

苏州大学：电子信息学院《数字系统与逻辑设计》课程教学大纲

文档格式：PDF　文档大小：90.5KB　文档页数：2

复旦大学：《数理逻辑》课程教学资源（作业习题）exercise_c06

文档格式：PDF　文档大小：123.28KB　文档页数：4

复旦大学：《数理逻辑》课程教学资源（作业习题）exercise_c05

文档格式：PPT　文档大小：836KB　文档页数：82

1.1 命题符号化及联结词 1.2 命题公式及分类 1.3 等值演算 1.4 联结词全功能集 1.5 对偶与范式 1.6 推理理论

文档格式：PDF　文档大小：125.26KB　文档页数：4

复旦大学：《数理逻辑》课程教学资源（作业习题）exercise_c03-04

文档格式：PDF　文档大小：163.58KB　文档页数：7

复旦大学：《数理逻辑》课程教学资源（作业习题）exercise_c02