可计算性与数理逻辑

出版时间：2003-6  出版社：电子工业出版社  作者：布勒斯 (George S. Boolos)  页数：349  字数：521000  
Tag标签：无  

内容概要

本书是一本经典的逻辑教科书，第四版已经过全面修订，提高了可读性。全书主要论述了可计算性理论、基础元逻辑及一些高级专题。此书同样适用于没有数学背景知识的学生，不仅包括了中等深度的逻辑教程所讨论的基本专题，如哥德尔不完全性定理等，而且涉及了从图灵的可计算性理论到Ramsey定理的大量选题，因而已成为一本经典的教科书。该书在每章末尾还增加了习题，并重新组织和改写了某些章，以使各章更加相互独立，增加了教师授课的灵活性，进而扩大了本书的使用范围。
    本书适合数学、计算机科学、哲学等专业的学生使用。对于在人工智能、哲学、计算理论、离散结构、数理逻辑等领域进行研究的读者，此书也是大有裨益的。

书籍目录

1 Enumerability2 Diagonalization3 Turing Computability4 Uncomputability5 Abacus Computability6 Reaursive Functions7 Recursive Sets and Relations8 Equivalent Definitions of Computalibity9 A Precis of First Order Logic:Syntax10 A Precis of First Order Logic:Semantics11 The Undecidability of First Order Logic12 Models13 The Existence of Models14 Proofs and Completeness15 Arithmetization16 Representability of Recursive Functions17 Indefinability,Undecidalility,Incompleteness18 The Unprovalility of Consistency……

用户评论 (总计3条)

•   已经学完前7章。虽然本书要讲的知识是纯理论性的，换成一个国内的作者，必然是一堆堆的定义、定理啊之类的，让人感到晦涩、难懂。但是这本书却写的如此通俗易懂，非常棒！把一些本来难以理解和领会的东西，以一种很形象、直观的方式写出来，简直是天才！
•   教材，没什么好说的。读了十几年书，遇到最难的一门课
  哭了……
•   书的纸张很差，有点像盗版的