-
集合論含有原子的自然模型和布爾值模型
鎖定
《集合論含有原子的自然模型和布爾值模型》是2011年北京師範大學出版社出版的圖書,作者是李娜。
- 中文名
- 集合論含有原子的自然模型和布爾值模型
- 作 者
- 李娜
- 出版社
- 北京師範大學出版社
- 出版時間
- 2011年3月1日
- 定 價
- 35 元
- 開 本
- 16 開
- ISBN
- 9787303121694
集合論含有原子的自然模型和布爾值模型內容簡介
《集合論含有原子的自然模型和布爾值模型》由李娜所著,不僅從理論上豐富了數理邏輯的重要分支——公理集合論的刻畫集論模型的理論,為現代邏輯的研究提供證明根據,而且也促進了現代數理邏輯與哲學邏輯之間的相互滲透、相互融合,從而為描述和模擬人類思維提供指導,為哲學應用提供更可靠的工具,對於邏輯學研究的多元化具有重要的理論意義和現實意義。
在含有原子的公理集合論系統的基礎上,力圖建立兩大類模型——自然模型和布爾值模型。
集合論含有原子的自然模型和布爾值模型作者簡介
李娜,女,1958年3月生於河南開封市。1982年畢業於河南大學數學系,獲理學學士學位。1989年畢業於中國科學院軟件研究所,獲理學碩士學位。現任南開大學哲學系教授、博士生導師,中山大學邏輯與認知研究所專職研究員。主要著作有《現代邏輯若干問題研究》等。
集合論含有原子的自然模型和布爾值模型目錄
序
第一章 基本概念
§1 集合論的形式語言
§2 集合論的公理系統
§3 布爾代數
§4 一些常用的概念
第二章 自然模型
§1 ZFC的自然模型V及其一些基本性質
§2 GB的自然模型∑及其一些基本性質
§3 COG的自然模型人及其一些基本性質
§4 ACG的自然模型Q及其一些基本性質
第三章 含有原子的自然模型
§1 ZFA的自然模型及其一些基本性質
§2 GBA的自然模型及其一些基本性質
- 參考資料
-
- 1. 集合論含有原子的自然模型和布爾值模型 .豆瓣[引用日期2019-02-23]