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



下載連結1
下載連結2
下載連結3

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

---

內容簡介

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

作者簡介

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

前言/序言

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

評分☆☆☆☆☆

沒想到是英文書

評分☆☆☆☆☆

數學專業的英文書籍，需要有一定的英文知識，不過能知道這樣書籍的英文肯定沒問題

評分☆☆☆☆☆

這是一本很專業的書，真正學這個方嚮的人很少。本書通俗易懂，內容有難度。準備一支筆和一張紙，一個聰明的大腦，即可深入寶山

評分☆☆☆☆☆

包裝挺好的，內容挺詳細~

評分☆☆☆☆☆

經典教材，良心大作，常年閱讀

評分☆☆☆☆☆

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

評分☆☆☆☆☆

沒說明是英文版的

評分☆☆☆☆☆

柯裏－霍華德同構給齣瞭“證明”和“程序”的等價性，這一結果與證明論有關，直覺主義邏輯和綫性邏輯在此起瞭很大作用。λ演算和組閤子邏輯這樣的演算現在屬於理想程序語言。

評分☆☆☆☆☆

“數理邏輯”的名稱由皮亞諾首先給齣，他又稱其為符號邏輯。數理邏輯在本質上依然是亞裏士多德的邏輯學，但從記號學的觀點來講，它是用抽象代數來記述的。

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