第1节 可靠性定理 第2节 完全性定理 第3节 自然推演系统的可靠性和完全性 第4节 紧致性定理及其应用
文件格式: PDF大小: 272.37KB页数: 12
第1节 引言 第2节 命题逻辑的语言 第3节 真值指派 第4节 唯一可读性 第5节 其它联词 第6节 命题逻辑的一个推演系统 第7节 命题逻辑的自然推演 第8节 命题逻辑的可靠性和完全性定理 第9节 模态逻辑简介
文件格式: PDF大小: 438.21KB页数: 26
复旦大学：《数理逻辑》课程教学资源（讲义）第3章 一阶逻辑的语言、第4章 形式证明
文件格式: PDF大小: 326.8KB页数: 20
第 1 节 证明的必要性 第 2 节 集合 第 3 节 关系 第 4 节 函数 第 5 节 等价关系与划分 第 6 节 序 第 7 节 结构的例子
文件格式: PDF大小: 323.39KB页数: 15
复旦大学：《数理逻辑》课程教学资源（作业习题）exercise_c09-10
文件格式: PDF大小: 126.5KB页数: 4
