數(shù)理邏輯

內(nèi)容概要

“數(shù)理邏輯”是一門基礎(chǔ)性學(xué)科，選一本好的“數(shù)理邏輯”的教材，對(duì)于培養(yǎng)新一代計(jì)算機(jī)科學(xué)家及IT從業(yè)人員是非常重要的。經(jīng)專家推薦，我們選了劍橋大學(xué)出版社的，由A.G.Hamilton著“Logic for Mathematicians”一書影印出版，希望本書的影印版能為國(guó)內(nèi)高?！皵?shù)理邏輯”課程的開設(shè)提供支持。本書系統(tǒng)地講解了數(shù)理邏輯的基礎(chǔ)部分——命題演算與謂詞演算。第一章直觀地講解了命題邏輯基本思想和概念；第二章講解命題邏輯的形式化系統(tǒng)；第三章直觀地講解了謂詞邏輯；第四章講解謂詞邏輯的形式化系統(tǒng)；第五章介紹數(shù)學(xué)系統(tǒng)；第六章以很不的篇幅完整地介紹了哥德爾不完備定理以有遞歸函數(shù)的初步知識(shí)；第七章簡(jiǎn)要介紹了可計(jì)算性與可判定性理論。由于數(shù)理邏輯（特別是其基礎(chǔ)部分）是一門定形的老學(xué)科，其理論體系沒有什么變化。本書第一版由劍橋大學(xué)出版社于1978年出版，然后，于1988年出了修訂版。自從出版以來(lái)，幾乎第年都要重印，可見其受歡迎的程度。本書是適合作本科生教學(xué)的，難得的好教材，既適用于計(jì)算機(jī)專業(yè)，也適用于數(shù)學(xué)專業(yè)，對(duì)哲學(xué)專業(yè)的學(xué)生同樣也是適用的。

圖書封面

圖書標(biāo)簽Tags

無(wú)

評(píng)論、評(píng)分、閱讀與下載

---

    數(shù)理邏輯 PDF格式下載

---