书名:可计算性与数理逻辑(第四版英文版)
编号:76266
ISBN:9787505388284[十位:7505388282]
作者:(George S. Boolos)布勒斯
出版社:电子工业出版社
出版日期:2003年01月
页数:356
定价:38.00 元
参考重量:0.510Kg
-------------------------
图书情况:正版二手旧书,绝不影响正常阅读!
绝无缺页少页,发货前再次检查,请放心购买!
* 内容提要 *
本书是一本经典的逻辑教科书,第四版已经过全面修订,提高了可读性。全书主要论述了可计算性理论、基础元逻辑及一些高级专题。此书同样适用于没有数学背景知识的学生,不仅包括了中等深度的逻辑教程所讨论的基本专题,如哥德尔不完全性定理等,而且涉及了从图灵的可计算性理论到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
……
* 文章节选 *
暂无相关介绍
* 编辑推荐与评论 *
书评
本书适合数学、计算机科学、哲学等专业的学生使用。对于在人工智能、哲学、计算理论、离散结构、数理逻辑等领域进行研究的读者,此书也是大有裨益的。该书在每章末尾还增加了习题,并重新组织和改写了某些章,以使各章更加相互独立,增加了教师授课的灵活性,进而扩大了本书的使用范围。
* 作者介绍 *
暂无相关介绍
-
暂无评论。