注冊 | 登錄讀書好，好讀書，讀好書！
讀書網(wǎng)-DuShu.com
當(dāng)前位置： 首頁出版圖書科學(xué)技術(shù)計(jì)算機(jī)/網(wǎng)絡(luò)計(jì)算機(jī)科學(xué)理論與基礎(chǔ)知識可計(jì)算性與數(shù)理邏輯：英文版

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

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

定　價(jià)：￥38.00

作　者： （美）George S.Boolos等著
出版社： 電子工業(yè)出版社
叢編項(xiàng)： 國外計(jì)算機(jī)科學(xué)教材系列
標(biāo)　簽： 科普 英文版 英語讀物 英語與其他外語
ISBN： 9787505388284 出版時(shí)間： 2003-06-01 包裝： 精裝
開本： 24cm 頁數(shù)： 349 字?jǐn)?shù)：  

內(nèi)容簡介

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

作者簡介

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

圖書目錄

第一部分 可計(jì)算性理論（Computability Theory）
第1章 可枚舉性
Enumerability
第2章 對角化
Diagonalization
第3章 圖靈可計(jì)算性
Turing Computability
第4章 不可計(jì)算性
Uncomputability
第5章 算盤可計(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章 一階邏輯初階：語法
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
加注釋的參考文獻(xiàn)
Annotated Bibliography
索引
Index

本目錄推薦

掃描二維碼
Copyright ? 讀書網(wǎng) www.autoforsalebyowners.com 2005-2020, All Rights Reserved.
鄂ICP備15019699號 鄂公網(wǎng)安備 42010302001612號