可計算性與數(shù)理邏輯：英文版

定　價：￥38.00

作　者：	（美）George S.Boolos等著
出版社：	電子工業(yè)出版社
叢編項：	國外計算機科學(xué)教材系列
標(biāo)　簽：	科普英文版英語讀物英語與其他外語

購買這本書可以去

ISBN：	9787505388284	出版時間：	2003-06-01	包裝：	精裝
開本：	24cm	頁數(shù)：	349	字數(shù)：

內(nèi)容簡介

　　本書適合數(shù)學(xué)、計算機科學(xué)、哲學(xué)等專業(yè)的學(xué)生使用。對于在人工智能、哲學(xué)、計算理論、離散結(jié)構(gòu)、數(shù)理邏輯等領(lǐng)域進行研究的讀者，此書也是大有裨益的。該書在每章末尾還增加了習(xí)題，并重新組織和改寫了某些章，以使各章更加相互獨立，增加了教師授課的靈活性，進而擴大了本書的使用范圍。本書是一本經(jīng)典的邏輯教科書，第四版已經(jīng)過全面修訂，提高了可讀性。全書主要論述了可計算性理論、基礎(chǔ)元邏輯及一些高級專題。此書同樣適用于沒有數(shù)學(xué)背景知識的學(xué)生，不僅包括了中等深度的邏輯教程所討論的基本專題，如哥德爾不完全性定理等，而且涉及了從圖靈的可計算性理論到Ramsey定理的大量選題，因而已成為一本經(jīng)典的教科書。該書在每章末尾還增加了習(xí)題，并重新組織和改寫了某些章，以使各章更加相互獨立，增加了教師授課的靈活性，進而擴大了本書的使用范圍。本書適合數(shù)學(xué)、計算機科學(xué)、哲學(xué)等專業(yè)的學(xué)生使用。對于在人工智能、哲學(xué)、計算理論、離散結(jié)構(gòu)、數(shù)理邏輯等領(lǐng)域進行研究的讀者，此書也是大有裨益的。

作者簡介

暫缺《可計算性與數(shù)理邏輯：英文版》作者簡介

圖書目錄

第一部分可計算性理論（Computability Theory）
第1章可枚舉性
Enumerability
第2章對角化
Diagonalization
第3章圖靈可計算性
Turing Computability
第4章不可計算性
Uncomputability
第5章算盤可計算性
Abacus Computability
第6章遞歸函數(shù)
Recursive Functions
第7章遞歸集與遞歸關(guān)系
Recursive Sets and Relations
第8章可計算性的等價定義
Equivalent Definitions of Computability
第二部分基礎(chǔ)元邏輯（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章算術(shù)化
Arithmetization
第16章遞歸函數(shù)的可表示性
Representability of Recursive Functions
第17章不可定義性、不可判定性、不完全性
Indefinability, Undecidability , Incompleteness
第18章協(xié)調(diào)性的不可證性
The Unprovability of Consistency
第三部分高級專題（Further Topics）
第19章范式
Normal Forms
第20章 Craig內(nèi)插定理
The Craig Interpolation Theorem
第21章一目邏輯與二目邏輯
Monadic and Dyadic Logic
第22章二階邏輯
Second-Order Logic
第23章算術(shù)可定義性
Arithmetical Definability
第24章無乘法算術(shù)的可判定性
Decidability of Arithmetic without Multiplication
第25章非標(biāo)準(zhǔn)模型
Nonstandard Models
第26章 Ramsey定理
Ramsey’s Theorem
第27章模態(tài)邏輯與可證性
Modal Logic and Provability
部分問題的提示
Hints for Selected Problems
加注釋的參考文獻
Annotated Bibliography
索引
Index