书籍介绍
本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容，并且包含本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容，并且包含了与计算机科学有关的主题，如有限模型。本书特点是：内容可读性强；组织结构更灵活，授课教师可根据教学需要节选本书的内容；反映了近几年来理论计算机科学对逻辑学产生的影响；包含较多的示例和说明。本书适合作为计算机及相关专业本科生和研究生数理逻辑课程的教材。.
本书是数理逻辑方面的经典教材，以可读性强而著称，在美国大学中采用率极高，麻省理工学院、加州大学伯克利分校、哥伦比亚大学、康奈尔大学等众多名校均用它作为教材。本版章节组织更加灵活，增加了与计算机科学相关的主题(比如有限模型)，还增加了一些示例和阐释文字，更适合本科生和研究生数理逻辑课程使用。.
精彩摘录
- "We call these objects "symbols," but we remain neutral as to what the exact ontological status of symbols might be."
用户评论
算是唯一一本读了5次，每次都有收获的书。计算机专业必读！
读的很不认真
M
@2017-08-31 20:52:23
大致看过前半部分，后半部分稍有了解（事实上我发现数理逻辑/可计算性的老师从中参考了很多) 应该算是公认的经典教材。过两天就要还给图书馆且多半不会再看了，翻到豆瓣书评的讣告，一阵心酸
应该先讲为什么会出现这门学科，这些模型，要面对的问题是什么，为什么要形式化建立这些一个又一个概念，其实一直都是先有靶子，再去射箭，就像图论诞生于七桥问题一样。鸡生蛋还是蛋生鸡？这种纠缠不清才是这门学科的魅力。
书写得很好，但是不好懂
我以前看的是英文版的，omg子
收藏