【文件属性】：
文件名称：数理逻辑课件
文件大小：17MB
文件格式：RAR
更新时间：2015-06-26 15:03:23
数理逻辑课件
计算机理论基础，讲的很清楚，证明很详细。
【文件预览】：
数理逻辑
----第1章 命题逻辑的非形式演算()
--------第1章 命题逻辑的非形式演算.ppt(1.96MB)
----第3章 命题逻辑的形式演算()
--------第3章 命题逻辑的形式演算.ppt(3.8MB)
----第5章 数学系统与不完全性定理()
--------第5章 数学系统与不完全性定理.ppt(4.91MB)
----第4章 一阶逻辑的形式演算()
--------第4章 一阶逻辑的形式演算.ppt(7.19MB)
----第2章 一阶逻辑的非形式演算()
--------第2章 一阶逻辑的非形式演算.ppt(2.96MB)