可計算性與數(shù)理邏輯

內(nèi)容概要

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

書籍目錄

1 Enumerability2 Diagonalization3 Turing Computability4 Uncomputability5 Abacus Computability6 Reaursive Functions7 Recursive Sets and Relations8 Equivalent Definitions of Computalibity9 A Precis of First Order Logic:Syntax10 A Precis of First Order Logic:Semantics11 The Undecidability of First Order Logic12 Models13 The Existence of Models14 Proofs and Completeness15 Arithmetization16 Representability of Recursive Functions17 Indefinability,Undecidalility,Incompleteness18 The Unprovalility of Consistency……

圖書封面

圖書標簽Tags

無

評論、評分、閱讀與下載

---

    可計算性與數(shù)理邏輯 PDF格式下載

---