最 低 价：￥28.50
定 价：￥38.00
作 者：[美]George S. Boolos，JohnP.Burgess 等著 著
出 版 社：电子工业出版社
出版时间：2003-6-1
I S B N：9787505388284
| 本书适合数学、计算机科学、哲学等专业的学生使用。对于在人工智能、哲学、计算理论、离散结构、数理逻辑等领域进行研究的读者，此书也是大有裨益的。该书在每章末尾还增加了习题，并重新组织和改写了某些章，以使各章更加相互独立，增加了教师授课的灵活性，进而扩大了本书的使用范围。
|
|
|
| 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 …… |
内容加载中，请稍后...
商品评论（0条）