內容介紹 | |
![](https://bnmppic.bookuu.com/goods/16/41/35/97873031216942009546-fm.jpg)
-
出版社:北京師大
-
ISBN:9787303121694
-
作者:李娜
-
頁數:187
-
出版日期:2011-03-01
-
印刷日期:2011-03-01
-
包裝:精裝
-
開本:16開
-
版次:1
-
印次:1
-
字數:185千字
-
《集合論含有原子的自然模型和布爾值模型》由李娜所著,在含有原子的公理集合論繫統的基礎上,力圖建立兩大類模型——自然模型和布爾值模型。不僅從理論上豐富了數理邏輯的重要分支——公理集合論的刻畫集論模型的理論,為現代邏輯的研究提供證明根據,而且也促進了現代數理邏輯與哲學邏輯之間的相互滲透、相互融合,從而為描述和模擬人類思維提供指導,為哲學應用提供*可靠的工具,對於邏輯學研究的多元化具有重要的理論意義和現實意義。
-
序 第一章 基本概念 §1 集合論的形式語言 §2 集合論的公理繫統 §3 布爾代數 §4 一些常用的概念 第二章 自然模型 §1 ZFC的自然模型V及其一些基本性質 §2 GB的自然模型∑及其一些基本性質 §3 COG的自然模型人及其一些基本性質 §4 ACG的自然模型Q及其一些基本性質 第三章 含有原子的自然模型 §1 ZFA的自然模型及其一些基本性質 §2 GBA的自然模型及其一些基本性質 §3 COGA的自然模型及其一些基本性質 §4 ACGA的自然模型及其一些基本性質 第四章 布爾值模型 §1 ZFC的布爾值模型及其一些基本性質 §2 GB的布爾值模型及其一些基本性質 §3 COG的布爾值模型及其一些基本性質 §4 ACG的布爾值模型及其一些基本性質 第五章 含有原子的布爾值模型 §1 ZFA的布爾值模型及其一些基本性質 §2 GBA的布爾值模型及其一些基本性質 §3 COGA的布爾值模型及其一些基本性質 §4 ACGA的布爾值模型及其一些基本性質 附 論文 參考文獻
| | |