数理逻辑

出版时间：2007-3  出版社：人民邮电出版社  作者：[美]Herbert B.Enderton  页数：240  字数：391000  译者：沈复兴,陈磊,孙运传  
Tag标签：无  

内容概要

本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑、不可判定性以及二阶逻辑等方面的内容，并且包含了与计算机科学有关的主题，如有限模型。本书特点是：内容可读性强；组织结构更灵活，授课都是可根据教学需要节选本书的内容：反映了近几年来理论计算机科学对逻辑学产生的影响；包含较多的示例和习题。本书适合作为数学、哲学、计算机科学以及其他学科需要学习数理逻辑课程的本科生和研究生的教材。

作者简介

Herbert B.Enderton，哈佛大学博士，师从著名哲学家Hilary Putnam。曾任教于加州大学伯克利分校。现为加州大学洛杉矶分校数学系兼职教授，该校“逻辑学论坛”主席，曾担任《符号逻辑学会评论》杂志的主编。除本书外，他还著有另外两本广受好评的教材Elements of Set Theory（

书籍目录

第0章　集合基础第1章　命题逻辑　1.0　闲话形式语言　1.1　命题逻辑的语言　1.2　真值指派　1.3　解析算法　1.4　归纳与递归　1.5　命题联结词　1.6　交换电路　1.7　紧致性和能行性第2章　一阶逻辑　2.0　预备知识　2.1　一阶语言　2.2　真值与模型　2.3　解析算法　2.4　演绎计算　2.5　可靠性与完备性理论　2.6　理论的模型　2.7　理论之间的解释　2.8　非标准分析第3章　不可判定性　3.0　数论　　3.1　有后继数的自然数　3.2　数论的其他归约模型　　3.3　数论的子理论　3.4　语法的算术法　3.5　不完全性和不可判定性　3.6　递归函数　3.7　第二不完全性定理　3.8　幂乘运算的表示第4章　二阶逻辑　4.1　二阶语言　4.2　斯科伦函数　4.3　多类逻辑　4.4　广义结构附录A　推荐读物附录B　符号列表索引

用户评论 (总计10条)

•   这本书有些旧，虽然不影响阅读，但影响书的美感。其他部分书也存在这个问题。如果能保持书的质量，那么会更好。
•   书看上去很薄，内容不是很容易。作者很用心的，即便没什么功底的也可以选一部分读的。很耐读的书啊。
•   就是比较难。
•   正如作者所言，本书适合有一定数学基础的学生。基础薄弱的不妨看看朱梧槚先生的《数理逻辑引论》，是一本不错的入门书。
•   排版错误太多。
•   　　今天偶然看到作者的讣告。http://www.ucalgary.ca/rzach/blog/2010/10/herbert-b-enderton-1936-2010.html
  　　
  　　Sad news:
  　　With sadness we report the death on October 20 of Herbert Bruce Enderton, who had been battling leukemia for several months. He was Professor Emeritus of Mathematics at UCLA and a former member of the faculties of Mathematics and of Logic and the Methodology of Science at Berkeley. Widely known for his textbooks in the areas of logic, Enderton as a contributor to recursion theory, the theory of definability, models of nalysis, computational complexity, and history of logic.
  　　The Enderton family requests that flowers not be sent. There will be no funeral, but a memorial service will be held at a future date.
  　　
  　　原来作者早在去年就去世了。他的两本逻辑教材《数理逻辑》和《集合论基础》买了好久，却一直未读。之前看到有人评论《陶哲轩实分析》说：再不读，年轻的Terry都要老了！
  　　想不到，这句激励的话，在这里竟永远也用不上了。
  　　书是经典，已然公认，关键是尽快翻开读，不然，自己马上也老了。
•   不知说什么好……赶紧读去了……
•   昔人已乘黄鹤去。。，此地空余我撸管。。。
•   看来我的邮件是再也不会有人回复了。。。
•   被楼上的留言奇妙的戳中笑点。。