数理逻辑课件
标签:
•
文件类型: .rar
•
文件大小: 17MB
•
下载次数: 1
•
计算机理论基础,讲的很清楚,证明很详细。
代码片段和文件信息
属性 大小 日期 时间 名称
----------- --------- ---------- ----- ----
文件 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
----------- --------- ---------- ----- ----
文件 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
版权声明:本文内容由互联网用户自发贡献,该文观点仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌抄袭侵权/违法违规的内容, 请发送邮件举报,一经查实,本站将立刻删除。
评论列表(条)