數理邏輯 2024 pdf epub mobi 電子書下載

☆☆☆☆☆
簡體網頁||繁體網頁

數理邏輯 pdf epub mobi 著者簡介

Herbert B.Enderton，哈佛大學博士，師從著名哲學傢hilary putnam。曾任教於加州大學伯剋利分校。現為加州大學洛杉磯分校數學係兼職教授，該校“邏輯學論壇”主席，曾擔任《符號邏輯學會評論》雜誌的主編。除本書外，他還著有另外兩本廣受好評的教材elements of set theory（影印版已經由人民郵電齣版社齣版）和linear algebra。

數理邏輯 pdf epub mobi 圖書描述

本書是數理邏輯方麵的經典教材。書中涵蓋瞭命題邏輯、一階邏輯、不可判定性以及二階邏輯等方麵的內容，並且包含本書是數理邏輯方麵的經典教材。書中涵蓋瞭命題邏輯、一階邏輯、不可判定性以及二階邏輯等方麵的內容，並且包含瞭與計算機科學有關的主題，如有限模型。本書特點是：內容可讀性強；組織結構更靈活，授課教師可根據教學需要節選本書的內容；反映瞭近幾年來理論計算機科學對邏輯學産生的影響；包含較多的示例和說明。本書適閤作為計算機及相關專業本科生和研究生數理邏輯課程的教材。.

本書是數理邏輯方麵的經典教材，以可讀性強而著稱，在美國大學中采用率極高，麻省理工學院、加州大學伯剋利分校、哥倫比亞大學、康奈爾大學等眾多名校均用它作為教材。本版章節組織更加靈活，增加瞭與計算機科學相關的主題(比如有限模型)，還增加瞭一些示例和闡釋文字，更適閤本科生和研究生數理邏輯課程使用。.

數理邏輯 2024 pdf epub mobi 電子書下載

數理邏輯 pdf epub mobi 圖書目錄

下載链接在页面底部

點擊這裡下載

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 複製鏈接

想要找書就要到本本書屋

onlinetoolsland.com

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

發表於2024-05-17

數理邏輯 2024 pdf epub mobi 電子書下載

喜欢數理邏輯電子書的读者还喜欢

數理邏輯 pdf epub mobi 讀後感

評分☆☆☆☆☆

今天偶然看到作者的訃告。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...

評分☆☆☆☆☆

用集閤論構建邏輯，看的我頭大。硬著頭皮讀吧。當初買這本書，就是看中瞭第二章講瞭點無窮小分析。

評分☆☆☆☆☆

用集閤論構建邏輯，看的我頭大。硬著頭皮讀吧。當初買這本書，就是看中瞭第二章講瞭點無窮小分析。

評分☆☆☆☆☆

類似圖書點擊查看全場最低價

出版者:人民郵電齣版社

作者:(美)Herbert B. Enderton 著

出品人:

頁數:317

譯者:

出版時間:2006-01-01