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

內(nèi)容概要

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

作者簡介

譯者和作者是什么差別？別搞混了

圖書封面

圖書標(biāo)簽Tags

無

評論、評分、閱讀與下載

---

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

---