| 词条 | 集合论含有原子的自然模型和布尔值模型 |
| 释义 | 图书信息集合论含有原子的自然模型和布尔值模型定 价：￥35.00 作 者：李娜 著 出 版 社：北京师范大学出版社 出版时间：2011-3-1 开 本：16开 I S B N：9787303121694 内容简介《集合论含有原子的自然模型和布尔值模型》由李娜所著，在含有原子的公理集合论系统的基础上，力图建立两大类模型——自然模型和布尔值模型。不仅从理论上丰富了数理逻辑的重要分支——公理集合论的刻画集论模型的理论，为现代逻辑的研究提供证明根据，而且也促进了现代数理逻辑与哲学逻辑之间的相互渗透、相互融合，从而为描述和模拟人类思维提供指导，为哲学应用提供更可靠的工具，对于逻辑学研究的多元化具有重要的理论意义和现实意义。 作者简介李娜，女，1958年3月生于河南开封市。1982年毕业于河南大学数学系，获理学学士学位。1989年毕业于中国科学院软件研究所，获理学硕士学位。现任南开大学哲学系教授、博士生导师，中山大学逻辑与认知研究所专职研究员。主要著作有《现代逻辑若干问题研究》等。 目录序 第一章 基本概念 §1 集合论的形式语言 §2 集合论的公理系统 §3 布尔代数 §4 一些常用的概念 第二章 自然模型 §1 ZFC的自然模型V及其一些基本性质 §2 GB的自然模型∑及其一些基本性质 §3 COG的自然模型人及其一些基本性质 §4 ACG的自然模型Q及其一些基本性质 第三章 含有原子的自然模型 §1 ZFA的自然模型及其一些基本性质 §2 GBA的自然模型及其一些基本性质 §3 COGA的自然模型及其一些基本性质 |
| 随便看 |
|
百科全书收录4421916条中文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。