数理逻辑课件

计算机理论基础，讲的很清楚，证明很详细。

 属性            大小     日期    时间   名称
----------- ---------  ---------- -----  ----

     文件    2050560  2010-03-03 01:42  数理逻辑\第1章 命题逻辑的非形式演算\第1章 命题逻辑的非形式演算.ppt

     文件    3108352  2010-03-29 11:37  数理逻辑\第2章 一阶逻辑的非形式演算\第2章 一阶逻辑的非形式演算.ppt

     文件    3982336  2012-05-25 12:10  数理逻辑\第3章 命题逻辑的形式演算\第3章 命题逻辑的形式演算.ppt

     文件    7534592  2010-11-16 17:03  数理逻辑\第4章 一阶逻辑的形式演算\第4章 一阶逻辑的形式演算.ppt

     文件    5150720  2010-12-09 15:31  数理逻辑\第5章 数学系统与不完全性定理\第5章 数学系统与不完全性定理.ppt

     目录          0  2012-06-05 21:11  数理逻辑\第1章 命题逻辑的非形式演算

     目录          0  2012-06-05 21:11  数理逻辑\第2章 一阶逻辑的非形式演算

     目录          0  2012-06-05 21:11  数理逻辑\第3章 命题逻辑的形式演算

     目录          0  2012-06-05 21:11  数理逻辑\第4章 一阶逻辑的形式演算

     目录          0  2012-06-05 21:11  数理逻辑\第5章 数学系统与不完全性定理

     目录          0  2012-06-05 21:11  数理逻辑

----------- ---------  ---------- -----  ----

             21826560                    11