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


數理邏輯

簡體網頁||繁體網頁
(美)Herbert B. Enderton 著
人民郵電齣版社
2006-01-01
317
39.00
平裝
圖靈原版計算機科學係列
9787115141453

圖書標籤: 數理邏輯  數學  邏輯  邏輯學  計算機科學  數學基礎  計算機  哲學   


喜歡 數理邏輯 的讀者還喜歡




點擊這裡下載
    


想要找書就要到 小哈圖書下載中心
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

发表于2024-11-25

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

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

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



圖書描述

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

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

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

著者簡介

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


圖書目錄


數理邏輯 pdf epub mobi txt 電子書 下載
想要找書就要到 小哈圖書下載中心
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

用戶評價

評分

見過。

評分

個彆題目需要花時間想

評分

大緻看過前半部分,後半部分稍有瞭解(事實上我發現數理邏輯/可計算性的老師從中參考瞭很多) 應該算是公認的經典教材。過兩天就要還給圖書館且多半不會再看瞭,翻到豆瓣書評的訃告,一陣心酸

評分

見過。

評分

我以前看的是英文版的,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


分享鏈接





相關圖書




本站所有內容均為互聯網搜索引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度google,bing,sogou

友情鏈接

© 2024 qciss.net All Rights Reserved. 小哈圖書下載中心 版权所有