圖書標籤: 數理邏輯 數學 邏輯 邏輯學 計算機科學 數學基礎 計算機 哲學
发表于2025-03-13
數理邏輯 pdf epub mobi txt 電子書 下載 2025
本書是數理邏輯方麵的經典教材。書中涵蓋瞭命題邏輯、一階邏輯、不可判定性以及二階邏輯等方麵的內容,並且包含本書是數理邏輯方麵的經典教材。書中涵蓋瞭命題邏輯、一階邏輯、不可判定性以及二階邏輯等方麵的內容,並且包含瞭與計算機科學有關的主題,如有限模型。本書特點是:內容可讀性強;組織結構更靈活,授課教師可根據教學需要節選本書的內容;反映瞭近幾年來理論計算機科學對邏輯學産生的影響;包含較多的示例和說明。本書適閤作為計算機及相關專業本科生和研究生數理邏輯課程的教材。.
本書是數理邏輯方麵的經典教材,以可讀性強而著稱,在美國大學中采用率極高,麻省理工學院、加州大學伯剋利分校、哥倫比亞大學、康奈爾大學等眾多名校均用它作為教材。本版章節組織更加靈活,增加瞭與計算機科學相關的主題(比如有限模型),還增加瞭一些示例和闡釋文字,更適閤本科生和研究生數理邏輯課程使用。.
Herbert B.Enderton,哈佛大學博士,師從著名哲學傢hilary putnam。曾任教於加州大學伯剋利分校。現為加州大學洛杉磯分校數學係兼職教授,該校“邏輯學論壇”主席,曾擔任《符號邏輯學會評論》雜誌的主編。除本書外,他還著有另外兩本廣受好評的教材elements of set theory(影印版已經由人民郵電齣版社齣版)和linear algebra。
算是唯一一本讀瞭5次,每次都有收獲的書。計算機專業必讀!
評分很好的一本書。從直觀基礎齣發,再到公理係統。習題不錯。後邊不完備定理也講清楚瞭。
評分@2017-08-31 20:52:23
評分| O141/3139
評分寫得很好很清楚。
用集合论构建逻辑,看的我头大。硬着头皮读吧。 当初买这本书,就是看中了第二章讲了点无穷小分析。
評分用集合论构建逻辑,看的我头大。硬着头皮读吧。 当初买这本书,就是看中了第二章讲了点无穷小分析。
評分用集合论构建逻辑,看的我头大。硬着头皮读吧。 当初买这本书,就是看中了第二章讲了点无穷小分析。
評分用集合论构建逻辑,看的我头大。硬着头皮读吧。 当初买这本书,就是看中了第二章讲了点无穷小分析。
評分用集合论构建逻辑,看的我头大。硬着头皮读吧。 当初买这本书,就是看中了第二章讲了点无穷小分析。
數理邏輯 pdf epub mobi txt 電子書 下載 2025