具体描述
《集合论含有原子的自然模型和布尔值模型》由李娜所著，在含有原子的公理集合论系统的基础上，力图建立两大类模型——自然模型和布尔值模型。不仅从理论上丰富了数理逻辑的重要分支——公理集合论的刻画集论模型的理论，为现代逻辑的研究提供证明根据，而且也促进了现代数理逻辑与哲学逻辑之间的相互渗透、相互融合，从而为描述和模拟人类思维提供指导，为哲学应用提供更可靠的工具，对于逻辑学研究的多元化具有重要的理论意义和现实意义。
作者简介
目录信息
序
第一章 基本概念
§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的布尔值模型及其一些基本性质
附 论文
参考文献
· · · · · · (收起)
第一章 基本概念
§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的布尔值模型及其一些基本性质
附 论文
参考文献
· · · · · · (收起)
读后感
评分
评分
评分
评分
评分
用户评价
评分
评分
评分
评分
评分
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美书屋 版权所有