數(shù)理邏輯

內(nèi)容概要

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

圖書(shū)封面

圖書(shū)標(biāo)簽Tags

無(wú)

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

---

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

---