數(shù)理邏輯

出版時間：2007-3 出版社：人民郵電出版社作者：[美]Herbert B.Enderton 頁數(shù)：240 字數(shù)：391000 譯者：沈復興,陳磊,孫運傳
Tag標簽：無

內(nèi)容概要

本書是數(shù)理邏輯方面的經(jīng)典教材。書中涵蓋了命題邏輯、不可判定性以及二階邏輯等方面的內(nèi)容，并且包含了與計算機科學有關(guān)的主題，如有限模型。本書特點是：內(nèi)容可讀性強；組織結(jié)構(gòu)更靈活，授課都是可根據(jù)教學需要節(jié)選本書的內(nèi)容：反映了近幾年來理論計算機科學對邏輯學產(chǎn)生的影響；包含較多的示例和習題。本書適合作為數(shù)學、哲學、計算機科學以及其他學科需要學習數(shù)理邏輯課程的本科生和研究生的教材。

作者簡介

Herbert B.Enderton，哈佛大學博士，師從著名哲學家Hilary Putnam。曾任教于加州大學伯克利分?！，F(xiàn)為加州大學洛杉磯分校數(shù)學系兼職教授，該校“邏輯學論壇”主席，曾擔任《符號邏輯學會評論》雜志的主編。除本書外，他還著有另外兩本廣受好評的教材Elements of Set Theory（

書籍目錄

第0章　集合基礎(chǔ)第1章　命題邏輯　1.0　閑話形式語言　1.1　命題邏輯的語言　1.2　真值指派　1.3　解析算法　1.4　歸納與遞歸　1.5　命題聯(lián)結(jié)詞　1.6　交換電路　1.7　緊致性和能行性第2章　一階邏輯　2.0　預備知識　2.1　一階語言　2.2　真值與模型　2.3　解析算法　2.4　演繹計算　2.5　可靠性與完備性理論　2.6　理論的模型　2.7　理論之間的解釋　2.8　非標準分析第3章　不可判定性　3.0　數(shù)論　　3.1　有后繼數(shù)的自然數(shù)　3.2　數(shù)論的其他歸約模型　　3.3　數(shù)論的子理論　3.4　語法的算術(shù)法　3.5　不完全性和不可判定性　3.6　遞歸函數(shù)　3.7　第二不完全性定理　3.8　冪乘運算的表示第4章　二階邏輯　4.1　二階語言　4.2　斯科倫函數(shù)　4.3　多類邏輯　4.4　廣義結(jié)構(gòu)附錄A　推薦讀物附錄B　符號列表索引

圖書封面

圖書標簽Tags

無

評論、評分、閱讀與下載

還沒讀過(37)
勉強可看(269)
一般般(460)
內(nèi)容豐富(1909)
強力推薦(156)

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

用戶評論 (總計10條)

這本書有些舊，雖然不影響閱讀，但影響書的美感。其他部分書也存在這個問題。如果能保持書的質(zhì)量，那么會更好。
書看上去很薄，內(nèi)容不是很容易。作者很用心的，即便沒什么功底的也可以選一部分讀的。很耐讀的書啊。
就是比較難。
正如作者所言，本書適合有一定數(shù)學基礎(chǔ)的學生。基礎(chǔ)薄弱的不妨看看朱梧槚先生的《數(shù)理邏輯引論》，是一本不錯的入門書。
排版錯誤太多。
　　今天偶然看到作者的訃告。http://www.ucalgary.ca/rzach/blog/2010/10/herbert-b-enderton-1936-2010.html
　　
　　Sad news:
　　With sadness we report the death on October 20 of Herbert Bruce Enderton, who had been battling leukemia for several months. He was Professor Emeritus of Mathematics at UCLA and a former member of the faculties of Mathematics and of Logic and the Methodology of Science at Berkeley. Widely known for his textbooks in the areas of logic, Enderton as a contributor to recursion theory, the theory of definability, models of nalysis, computational complexity, and history of logic.
　　The Enderton family requests that flowers not be sent. There will be no funeral, but a memorial service will be held at a future date.
　　
　　原來作者早在去年就去世了。他的兩本邏輯教材《數(shù)理邏輯》和《集合論基礎(chǔ)》買了好久，卻一直未讀。之前看到有人評論《陶哲軒實分析》說：再不讀，年輕的Terry都要老了！
　　想不到，這句激勵的話，在這里竟永遠也用不上了。
　　書是經(jīng)典，已然公認，關(guān)鍵是盡快翻開讀，不然，自己馬上也老了。
不知說什么好……趕緊讀去了……
昔人已乘黃鶴去。。，此地空余我擼管。。。
看來我的郵件是再也不會有人回復了。。。
被樓上的留言奇妙的戳中笑點。。

數(shù)理邏輯

用戶評論 (總計10條)

推薦圖書

相關(guān)圖書