内容简介 · · · · · ·
《普通高等学校十一五规划教材•数理逻辑(第2版)》内容分两部分：第一部分属数理逻辑基础，包含命题演算与谓词演算的基本知识。第二部分为形式算术与Godel不完备性定理。《普通高等学校十一五规划教材•数理逻辑(第2版)》对Godel第一不完备性定理、Godel-Rosser定理、Tarski定理及形式算术的不可判定性定理等都提供了完整的证明。结合对Church论题与Turing论题的介绍，对这些定理的意义进行了讨论。书中还提出了Godel第二不完备性定理的一种易证形式。
《普通高等学校十一五规划教材•数理逻辑(第2版)》可用作计算机专业研究生或高年级本科生教材，并可供数学、哲学、逻辑等专业研究及教学人员参考。
目录 · · · · · ·
喜欢读"数理逻辑"的人也喜欢 · · · · · ·
数理逻辑的书评 · · · · · · ( 全部 1 条 )
一縷煙
中国科学技术大学出版社1990版
很好看的数理逻辑入门
全书的重点在于证明不完备性定理的前后， 由一阶算术，原始递归到不完备性定理和以后的讨论都表达得非常清晰。 关于命题逻辑、一阶逻辑只有轻轻的描写， 内容不包括一阶逻辑的元定理和模型论，集合论只花了几页说明; 预设了读者有基础的逻辑和集合论知识。 建议阅读此书前，先...
(展开)
> 更多书评 1篇
论坛 · · · · · ·
在这本书的论坛里发言这本书的其他版本 · · · · · · ( 全部2 )
在哪儿借这本书 · · · · · ·
以下书单推荐 · · · · · · ( 全部 )
- Discrete Mathematics (Kogorou)
- 0.思维的乐趣 (HiBye·黑白)
- 左派的理论武器 (免孑)
- 中国科学技术大学计算机本科生课程教材 (Merlot)
- 入门（by Chi & in Chi） (sinceever)
谁读这本书? · · · · · ·
二手市场
· · · · · ·
订阅关于数理逻辑的评论:
feed: rss 2.0
0 有用 hhh 2021-10-31 23:38:40
国内最好的数理逻辑教材，没有之一。
0 有用 DonJuanX 2024-05-20 10:52:48 江苏
前面都还简单，读到后面形式算术Kn到哥德尔定理的证明部分开始头昏，慢慢来吧
1 有用 队长别开枪 2019-04-27 20:50:24
我知道自己还差得远呢
1 有用 小岛 2020-08-28 10:55:21
@2014-02-21 22:48:57
0 有用 如宝 2024-04-20 09:30:32 江苏
读不懂