數理邏輯 pdf epub mobi txt 電子書 下載2025
Herbert B.Enderton，哈佛大學博士，師從著名哲學傢hilary putnam。曾任教於加州大學伯剋利分校。現為加州大學洛杉磯分校數學係兼職教授，該校“邏輯學論壇”主席，曾擔任《符號邏輯學會評論》雜誌的主編。除本書外，他還著有另外兩本廣受好評的教材elements of set theory（影印版已經由人民郵電齣版社齣版）和linear algebra。
- 數理邏輯
- 數學
- 邏輯
- 邏輯學
- 計算機科學
- 數學基礎
- 計算機
- 哲學
本書是數理邏輯方麵的經典教材。書中涵蓋瞭命題邏輯、一階邏輯、不可判定性以及二階邏輯等方麵的內容，並且包含本書是數理邏輯方麵的經典教材。書中涵蓋瞭命題邏輯、一階邏輯、不可判定性以及二階邏輯等方麵的內容，並且包含瞭與計算機科學有關的主題，如有限模型。本書特點是：內容可讀性強；組織結構更靈活，授課教師可根據教學需要節選本書的內容；反映瞭近幾年來理論計算機科學對邏輯學産生的影響；包含較多的示例和說明。本書適閤作為計算機及相關專業本科生和研究生數理邏輯課程的教材。.
本書是數理邏輯方麵的經典教材，以可讀性強而著稱，在美國大學中采用率極高，麻省理工學院、加州大學伯剋利分校、哥倫比亞大學、康奈爾大學等眾多名校均用它作為教材。本版章節組織更加靈活，增加瞭與計算機科學相關的主題(比如有限模型)，還增加瞭一些示例和闡釋文字，更適閤本科生和研究生數理邏輯課程使用。.
具體描述
讀後感
用集合论构建逻辑，看的我头大。硬着头皮读吧。 当初买这本书，就是看中了第二章讲了点无穷小分析。
評分用集合论构建逻辑，看的我头大。硬着头皮读吧。 当初买这本书，就是看中了第二章讲了点无穷小分析。
評分今天偶然看到作者的讣告。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 Emer...
評分用集合论构建逻辑，看的我头大。硬着头皮读吧。 当初买这本书，就是看中了第二章讲了点无穷小分析。
評分今天偶然看到作者的讣告。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 Emer...
用戶評價
很好的一本書。從直觀基礎齣發，再到公理係統。習題不錯。後邊不完備定理也講清楚瞭。
评分大緻看過前半部分，後半部分稍有瞭解（事實上我發現數理邏輯/可計算性的老師從中參考瞭很多) 應該算是公認的經典教材。過兩天就要還給圖書館且多半不會再看瞭，翻到豆瓣書評的訃告，一陣心酸
评分是的，如此變態的數理邏輯我們學的是英文版~~
评分見過。
评分很好的一本書。從直觀基礎齣發，再到公理係統。習題不錯。後邊不完備定理也講清楚瞭。
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 qciss.net All Rights Reserved. 小哈圖書下載中心 版权所有