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

定　價(jià)：￥38.00

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

購(gòu)買(mǎi)這本書(shū)可以去

ISBN：	9787505388284	出版時(shí)間：	2003-06-01	包裝：	精裝
開(kāi)本：	24cm	頁(yè)數(shù)：	349	字?jǐn)?shù)：

內(nèi)容簡(jiǎn)介

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

作者簡(jiǎn)介

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

圖書(shū)目錄

第一部分可計(jì)算性理論（Computability Theory）
第1章可枚舉性
Enumerability
第2章對(duì)角化
Diagonalization
第3章圖靈可計(jì)算性
Turing Computability
第4章不可計(jì)算性
Uncomputability
第5章算盤(pán)可計(jì)算性
Abacus Computability
第6章遞歸函數(shù)
Recursive Functions
第7章遞歸集與遞歸關(guān)系
Recursive Sets and Relations
第8章可計(jì)算性的等價(jià)定義
Equivalent Definitions of Computability
第二部分基礎(chǔ)元邏輯（Basic Metalogic）
第9章一階邏輯初階：語(yǔ)法
A Pr巆is of First-Order Logic: Syntax
第10章一階邏輯初階：語(yǔ)義
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
第三部分高級(jí)專題（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章無(wú)乘法算術(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
部分問(wèn)題的提示
Hints for Selected Problems
加注釋的參考文獻(xiàn)
Annotated Bibliography
索引
Index