數理邏輯教程 pdf epub mobi txt 電子書 下載 2025
圖書介紹
☆☆☆☆☆
[英] John,Bell(J.貝爾) 著
下載鏈接在頁麵底部
點擊這裡下載
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!
发表于2025-01-22
類似圖書 點擊查看全場最低價
齣版社: 世界圖書齣版公司
ISBN:9787510086304
版次:1
商品編碼:11666568
包裝:平裝
開本:16開
齣版時間:2015-03-01
用紙:膠版紙
數理邏輯教程 epub 下載 mobi 下載 pdf 下載 txt 電子書 下載 2025
相關圖書
數理邏輯教程 epub 下載 mobi 下載 pdf 下載 txt 電子書 下載 2025
數理邏輯教程 pdf epub mobi txt 電子書 下載 2025
具體描述
內容簡介
這是一部學習數學邏輯和基礎的研究生或者高年級本科生教程,不需要任何有關邏輯的預備知識,是學習數學邏輯的最綜閤全麵的教材,包括瞭許多練習及解答提示,構成瞭本書的必不可少的一部分,非常適於自學。每一章分成許多小節,一些特彆的小節和問題用星號強調,這並不是要錶示這些部分難度加大,而是這些地方很容易被疏漏,所以閱讀的時候需要格外留意。
目次:預備知識;數學邏輯基礎;一階邏輯;一階邏輯(連續的);布爾代數;模理論;遞歸理論(連續的);直覺一階邏輯;公理集閤論;非標準分析;一般索引;符號索引。
讀者對象:數學專業、數理邏輯、模型理論感興趣的高年級本科生、研究生和相關的科研人員。
作者簡介
John Bell(J·貝爾),是國際知名學者,在數學和物理學界享有盛譽。本書凝聚瞭作者多年科研和教學成果,適用於科研工作者、高校教師和研究生。
前言/序言
數理邏輯教程 下載 mobi epub pdf txt 電子書
數理邏輯教程 pdf epub mobi txt 電子書 下載
用戶評價
評分
☆☆☆☆☆
挺好的,值得擁有
評分
☆☆☆☆☆
好好好呀號樓會議室開會呢嗎隔壁班主任
評分
☆☆☆☆☆
值得典藏
評分
☆☆☆☆☆
評分
☆☆☆☆☆
有效的一階公式的集閤是無限不可數(Uncountable Infinite)的。這一集閤是“遞歸枚舉的”,即不存在一圖靈機(從而不存在任何現有計算機和算法)可以對某個非一階公式的輸入告訴你“這個輸入一定不是一階公式”——它可能一直運算下去。
評分
☆☆☆☆☆
好書,經典必讀。
評分
☆☆☆☆☆
沒想到是英文書
評分
☆☆☆☆☆
普遍有效的二階公式的集閤甚至不是遞歸可枚舉的。這是哥德爾不完全性定理的一個結果。
評分
☆☆☆☆☆
厚度、深度、清晰度和係統性並存的好書一枚。純粹是一時衝動買的,結果翻閱之下,受益良多,感到慶幸。比較厚重,不適閤作枕邊書,但是放在書房某個位置,隨時翻閱還是很好的。
類似圖書 點擊查看全場最低價
數理邏輯教程 pdf epub mobi txt 電子書 下載