内容简介 · · · · · ·
本书是一本经典的逻辑教书，第四版已经过全面修订，提高了可读性。全书主要论述了可计算性理论、基础元逻辑及一些高级专题。此书同样适用于没有数学背景知识的学生，不仅包括了中等深度的逻辑教程所讨论的基本专题，如歌德尔不完全性定理等，而且涉及了从图灵的可计算性理论到Ramsey定理的大量选题，因而已成为一个本经典的教科书。该书在每章末尾还增加了习题，并重新组织和改写了某些章，以使各章更加相互独立，增加了教师授课的灵活性，进而扩大了本书的使用范围。
本书适合数学、计算机科学、哲学等专业的学生使用。对于在人工智能、哲学、计算理论、离散结构、数理逻辑等领域进行研究的读者，此书也是大有裨益的。
作者简介 · · · · · ·
译者和作者是什么差别？别搞混了
丛书信息
· · · · · ·
国外计算机科学教材系列(共298册)，
这套丛书还有
《先进计算机体系结构与并行处理》《计算机视觉--一种现代方法(第2版)/国外计算机科学教材系列》《UNIX初级教程(第3版)》《计算机系统结构》《动态系统的反馈控制》
等
。
可计算性与数理逻辑的书评 · · · · · · ( 全部 0 条 )
这本书的其他版本 · · · · · · ( 全部4 )
以下书单推荐 · · · · · · ( 全部 )
谁读这本书? · · · · · ·
二手市场
· · · · · ·
订阅关于可计算性与数理逻辑的评论:
feed: rss 2.0
0 有用 Fay 2011-08-08 14:33:20
不行，这本书对我来说太难了，看了不到20页，暂时放下，今后再看。
0 有用 尘中之尘 2011-03-05 19:18:29
没能翻完，数理逻辑，好晦涩
0 有用 一只黑眼睛看着大千世界 2012-10-11 15:27:30
[昔时所读] 2009.09学校图书馆借阅。
0 有用 panzicong 2010-01-12 12:26:07
终于“读过” 希望不要再变成“在读”
2 有用 马蹄北去 2020-08-20 11:30:53
前两部分是一个侧重递归论的哥德尔不完全性定理的证明思路，证明的细节并没有写的非常严格，但是有不少精彩的insight。第三部分可以看做若干进阶领域的导引，算术力迫和可证性逻辑的部分不错
0 有用 兰德尔 2021-10-13 17:57:53
【已存柜】
0 有用 通幽通明 2020-08-20 18:34:26
第一次是图书馆借的，只是想看看康拓对角线和完备性。 后来感觉这本讲挺好，就买了本二手书留做纪念。
2 有用 马蹄北去 2020-08-20 11:30:53
前两部分是一个侧重递归论的哥德尔不完全性定理的证明思路，证明的细节并没有写的非常严格，但是有不少精彩的insight。第三部分可以看做若干进阶领域的导引，算术力迫和可证性逻辑的部分不错
0 有用 一只黑眼睛看着大千世界 2012-10-11 15:27:30
[昔时所读] 2009.09学校图书馆借阅。
0 有用 Fay 2011-08-08 14:33:20
不行，这本书对我来说太难了，看了不到20页，暂时放下，今后再看。