具體描述
本書是數理邏輯方麵的經典教材。書中涵蓋瞭命題邏輯、一階邏輯、不可判定性以及二階邏輯等方麵的內容，並且包含本書是數理邏輯方麵的經典教材。書中涵蓋瞭命題邏輯、一階邏輯、不可判定性以及二階邏輯等方麵的內容，並且包含瞭與計算機科學有關的主題，如有限模型。本書特點是：內容可讀性強；組織結構更靈活，授課教師可根據教學需要節選本書的內容；反映瞭近幾年來理論計算機科學對邏輯學産生的影響；包含較多的示例和說明。本書適閤作為計算機及相關專業本科生和研究生數理邏輯課程的教材。.
本書是數理邏輯方麵的經典教材，以可讀性強而著稱，在美國大學中采用率極高，麻省理工學院、加州大學伯剋利分校、哥倫比亞大學、康奈爾大學等眾多名校均用它作為教材。本版章節組織更加靈活，增加瞭與計算機科學相關的主題(比如有限模型)，還增加瞭一些示例和闡釋文字，更適閤本科生和研究生數理邏輯課程使用。.
著者簡介
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...
評分今天偶然看到作者的讣告。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...
用戶評價
個彆題目需要花時間想
评分算是唯一一本讀瞭5次，每次都有收獲的書。計算機專業必讀！
评分compact, 全書僅4章，不幸的是我隻讀瞭前兩章，但是，真的很難
评分@2017-08-31 20:52:23
评分簡略的讀瞭一半。
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美書屋 版权所有