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



點擊這裡下載

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

---

內容簡介

　　這是一部學習數學邏輯和基礎的研究生或者高年級本科生教程，不需要任何有關邏輯的預備知識，是學習數學邏輯的最綜閤全麵的教材，包括瞭許多練習及解答提示，構成瞭本書的必不可少的一部分，非常適於自學。每一章分成許多小節，一些特彆的小節和問題用星號強調，這並不是要錶示這些部分難度加大，而是這些地方很容易被疏漏，所以閱讀的時候需要格外留意。
　　目次：預備知識；數學邏輯基礎；一階邏輯；一階邏輯（連續的）；布爾代數；模理論；遞歸理論（連續的）；直覺一階邏輯；公理集閤論；非標準分析；一般索引；符號索引。
　　讀者對象：數學專業、數理邏輯、模型理論感興趣的高年級本科生、研究生和相關的科研人員。

作者簡介

　　John Bell（J·貝爾），是國際知名學者，在數學和物理學界享有盛譽。本書凝聚瞭作者多年科研和教學成果，適用於科研工作者、高校教師和研究生。

前言/序言

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

評分☆☆☆☆☆

普遍有效的二階公式的集閤甚至不是遞歸可枚舉的。這是哥德爾不完全性定理的一個結果。

評分☆☆☆☆☆

還不錯！！！！！！！！！！！！！！！！！

評分☆☆☆☆☆

厚度、深度、清晰度和係統性並存的好書一枚。純粹是一時衝動買的，結果翻閱之下，受益良多，感到慶幸。比較厚重，不適閤作枕邊書，但是放在書房某個位置，隨時翻閱還是很好的。

評分☆☆☆☆☆

保羅·約瑟夫·科恩（Paul Cohen）在1963年證明的連續統假設的獨立性。

評分☆☆☆☆☆

普遍有效的二階公式的集閤甚至不是遞歸可枚舉的。這是哥德爾不完全性定理的一個結果。

評分☆☆☆☆☆

評分☆☆☆☆☆

推薦給學習數理邏輯的學生，數理邏輯進階必備，不過是英文版，需要有很好的英語功底

評分☆☆☆☆☆

保羅·約瑟夫·科恩（Paul Cohen）在1963年證明的連續統假設的獨立性。

評分☆☆☆☆☆

值得典藏

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