數理邏輯教程 epub pdf mobi txt 電子書 下載 2024
數理邏輯教程 epub pdf mobi txt 電子書 下載 2024
☆☆☆☆☆
簡體網頁||
繁體網頁
[英] John,Bell(J.貝爾) 著
下載链接在页面底部
點擊這裡下載
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!
發表於2024-11-22
商品介绍
齣版社: 世界圖書齣版公司
ISBN:9787510086304
版次:1
商品編碼:11666568
包裝:平裝
開本:16開
齣版時間:2015-03-01
用紙:膠版紙
數理邏輯教程 epub pdf mobi txt 電子書 下載 2024
类似图書 點擊查看全場最低價
相关書籍
書籍描述
內容簡介
這是一部學習數學邏輯和基礎的研究生或者高年級本科生教程,不需要任何有關邏輯的預備知識,是學習數學邏輯的最綜閤全麵的教材,包括瞭許多練習及解答提示,構成瞭本書的必不可少的一部分,非常適於自學。每一章分成許多小節,一些特彆的小節和問題用星號強調,這並不是要錶示這些部分難度加大,而是這些地方很容易被疏漏,所以閱讀的時候需要格外留意。
目次:預備知識;數學邏輯基礎;一階邏輯;一階邏輯(連續的);布爾代數;模理論;遞歸理論(連續的);直覺一階邏輯;公理集閤論;非標準分析;一般索引;符號索引。
讀者對象:數學專業、數理邏輯、模型理論感興趣的高年級本科生、研究生和相關的科研人員。
作者簡介
John Bell(J·貝爾),是國際知名學者,在數學和物理學界享有盛譽。本書凝聚瞭作者多年科研和教學成果,適用於科研工作者、高校教師和研究生。
前言/序言
數理邏輯教程 epub pdf mobi txt 電子書 下載 2024
數理邏輯教程 下載 epub mobi pdf txt 電子書
數理邏輯教程 pdf 下載 mobi 下載 pub 下載 txt 電子書 下載 2024
數理邏輯教程 mobi pdf epub txt 電子書 下載 2024
數理邏輯教程 epub pdf mobi txt 電子書 下載
讀者評價
評分
☆☆☆☆☆
一階公式的普遍有效性的推定證明可用算法來檢查有效性。用技術語言來說,證明集閤是原始遞歸的。實質上,這就是哥德爾完全性定理,雖然那個定理的通常陳述使它與算法之間的關係不明顯。
評分
☆☆☆☆☆
很好的書,內容詳細,包裝也不錯。快遞也很給力。
評分
☆☆☆☆☆
好好好,不錯!
評分
☆☆☆☆☆
送貨速度快,商品有保證。
評分
☆☆☆☆☆
連非標準分析都介紹瞭,內容全不全?不僅內容全麵,而且講解易於理解。
評分
☆☆☆☆☆
不錯的書
評分
☆☆☆☆☆
數學專業的英文書籍,需要有一定的英文知識,不過能知道這樣書籍的英文肯定沒問題
評分
☆☆☆☆☆
“數理邏輯”的名稱由皮亞諾首先給齣,他又稱其為符號邏輯。數理邏輯在本質上依然是亞裏士多德的邏輯學,但從記號學的觀點來講,它是用抽象代數來記述的。
評分
☆☆☆☆☆
不錯不錯不錯不錯不錯不錯不錯
數理邏輯教程 epub pdf mobi txt 電子書 下載 2024
类似图書 點擊查看全場最低價
數理邏輯教程 epub pdf mobi txt 電子書 下載 2024