圖書標籤: 數理邏輯 數學 邏輯 邏輯學 計算機科學 數學基礎 計算機 哲學
发表于2024-11-25
數理邏輯 pdf epub mobi txt 電子書 下載 2024
本書是數理邏輯方麵的經典教材。書中涵蓋瞭命題邏輯、一階邏輯、不可判定性以及二階邏輯等方麵的內容,並且包含本書是數理邏輯方麵的經典教材。書中涵蓋瞭命題邏輯、一階邏輯、不可判定性以及二階邏輯等方麵的內容,並且包含瞭與計算機科學有關的主題,如有限模型。本書特點是:內容可讀性強;組織結構更靈活,授課教師可根據教學需要節選本書的內容;反映瞭近幾年來理論計算機科學對邏輯學産生的影響;包含較多的示例和說明。本書適閤作為計算機及相關專業本科生和研究生數理邏輯課程的教材。.
本書是數理邏輯方麵的經典教材,以可讀性強而著稱,在美國大學中采用率極高,麻省理工學院、加州大學伯剋利分校、哥倫比亞大學、康奈爾大學等眾多名校均用它作為教材。本版章節組織更加靈活,增加瞭與計算機科學相關的主題(比如有限模型),還增加瞭一些示例和闡釋文字,更適閤本科生和研究生數理邏輯課程使用。.
Herbert B.Enderton,哈佛大學博士,師從著名哲學傢hilary putnam。曾任教於加州大學伯剋利分校。現為加州大學洛杉磯分校數學係兼職教授,該校“邏輯學論壇”主席,曾擔任《符號邏輯學會評論》雜誌的主編。除本書外,他還著有另外兩本廣受好評的教材elements of set theory(影印版已經由人民郵電齣版社齣版)和linear algebra。
見過。
評分個彆題目需要花時間想
評分大緻看過前半部分,後半部分稍有瞭解(事實上我發現數理邏輯/可計算性的老師從中參考瞭很多) 應該算是公認的經典教材。過兩天就要還給圖書館且多半不會再看瞭,翻到豆瓣書評的訃告,一陣心酸
評分見過。
評分我以前看的是英文版的,omg子
用集合论构建逻辑,看的我头大。硬着头皮读吧。 当初买这本书,就是看中了第二章讲了点无穷小分析。
評分用集合论构建逻辑,看的我头大。硬着头皮读吧。 当初买这本书,就是看中了第二章讲了点无穷小分析。
評分用集合论构建逻辑,看的我头大。硬着头皮读吧。 当初买这本书,就是看中了第二章讲了点无穷小分析。
評分今天偶然看到作者的讣告。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...
評分用集合论构建逻辑,看的我头大。硬着头皮读吧。 当初买这本书,就是看中了第二章讲了点无穷小分析。
數理邏輯 pdf epub mobi txt 電子書 下載 2024