可计算性与数理逻辑

图书标准信息

• 作者 布勒斯（George S. Boolos）
• 出版社 电子工业出版社
• 出版时间 2003-06
• 版次 1
• ISBN 9787505388284
• 定价 38.00元
• 装帧 平装
• 开本 其他
• 纸张 胶版纸
• 页数 349页
• 字数 521千字

【内容简介】

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

  本书适合数学、计算机科学、哲学等专业的学生使用。对于在人工智能、哲学、计算理论、离散结构、数理逻辑等领域进行研究的读者，此书也是大有裨益的。

【目录】

1 Enumerability

2 Diagonalization

3 Turing Computability

4 Uncomputability

5 Abacus Computability

6 Reaursive Functions

7 Recursive Sets and Relations

8 Equivalent Definitions of Computalibity

9 A Precis of First Order Logic:Syntax

10 A Precis of First Order Logic:Semantics

11 The Undecidability of First Order Logic

12 Models

13 The Existence of Models

14 Proofs and Completeness

15 Arithmetization

16 Representability of Recursive Functions

17 Indefinability,Undecidalility,Incompleteness

18 The Unprovalility of Consistency

……