可计算性与数理逻辑：英文版

定　价：¥38.00

作　者：	（美）George S.Boolos等著
出版社：	电子工业出版社
丛编项：	国外计算机科学教材系列
标　签：	科普英文版英语读物英语与其他外语

购买这本书可以去

ISBN：	9787505388284	出版时间：	2003-06-01	包装：	精装
开本：	24cm	页数：	349	字数：

内容简介

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

作者简介

暂缺《可计算性与数理逻辑：英文版》作者简介

图书目录

第一部分可计算性理论（Computability Theory）
第1章可枚举性
Enumerability
第2章对角化
Diagonalization
第3章图灵可计算性
Turing Computability
第4章不可计算性
Uncomputability
第5章算盘可计算性
Abacus Computability
第6章递归函数
Recursive Functions
第7章递归集与递归关系
Recursive Sets and Relations
第8章可计算性的等价定义
Equivalent Definitions of Computability
第二部分基础元逻辑（Basic Metalogic）
第9章一阶逻辑初阶：语法
A Pr巆is of First-Order Logic: Syntax
第10章一阶逻辑初阶：语义
A Pr巆is 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, Undecidability , Incompleteness
第18章协调性的不可证性
The Unprovability of Consistency
第三部分高级专题（Further Topics）
第19章范式
Normal Forms
第20章 Craig内插定理
The Craig Interpolation Theorem
第21章一目逻辑与二目逻辑
Monadic and Dyadic Logic
第22章二阶逻辑
Second-Order Logic
第23章算术可定义性
Arithmetical Definability
第24章无乘法算术的可判定性
Decidability of Arithmetic without Multiplication
第25章非标准模型
Nonstandard Models
第26章 Ramsey定理
Ramsey’s Theorem
第27章模态逻辑与可证性
Modal Logic and Provability
部分问题的提示
Hints for Selected Problems
加注释的参考文献
Annotated Bibliography
索引
Index