可计算性与数理逻辑
2003-6
电子工业出版社
布勒斯 (George S. Boolos)
349
521000
无
本书是一本经典的逻辑教科书,第四版已经过全面修订,提高了可读性。全书主要论述了可计算性理论、基础元逻辑及一些高级专题。此书同样适用于没有数学背景知识的学生,不仅包括了中等深度的逻辑教程所讨论的基本专题,如哥德尔不完全性定理等,而且涉及了从图灵的可计算性理论到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……
无
已经学完前7章。虽然本书要讲的知识是纯理论性的,换成一个国内的作者,必然是一堆堆的定义、定理啊之类的,让人感到晦涩、难懂。但是这本书却写的如此通俗易懂,非常棒!把一些本来难以理解和领会的东西,以一种很形象、直观的方式写出来,简直是天才!
教材,没什么好说的。读了十几年书,遇到最难的一门课
哭了……
书的纸张很差,有点像盗版的