集合论含有原子的自然模型和布尔值模型

首页 > 图书 > 科技/2020-07-24 / 加入收藏 / 阅读 [打印]
集合论含有原子的自然模型和布尔值模型

集合论含有原子的自然模型和布尔值模型

作者:李娜 著

开 本:16开

书号ISBN:9787303121694

定价:35.0

出版时间:2011-03-01

出版社:北京师范大学出版社

集合论含有原子的自然模型和布尔值模型 内容简介

        《集合论含有原子的自然模型和布尔值模型》由李娜所著,在含有原子的公理集合论系统的基础上,力图建立两大类模型——自然模型和布尔值模型。不仅从理论上丰富了数理逻辑的重要分支——公理集合论的刻画集论模型的理论,为现代逻辑的研究提供证明根据,而且也促进了现代数理逻辑与哲学逻辑之间的相互渗透、相互融合,从而为描述和模拟人类思维提供指导,为哲学应用提供更可靠的工具,对于逻辑学研究的多元化具有重要的理论意义和现实意义。

集合论含有原子的自然模型和布尔值模型 目录


**章  基本概念
  §1 集合论的形式语言
  §2 集合论的公理系统
  §3 布尔代数
  §4 一些常用的概念
第二章  自然模型
  §1 zfc的自然模型v及其一些基本性质
  §2 gb的自然模型∑及其一些基本性质
  §3 cog的自然模型人及其一些基本性质
  §4 acg的自然模型q及其一些基本性质
第三章  含有原子的自然模型
  §1 zfa的自然模型及其一些基本性质
  §2 gba的自然模型及其一些基本性质
  §3 coga的自然模型及其一些基本性质

集合论含有原子的自然模型和布尔值模型 作者简介

    李娜,女,1958年3月生于河南开封市。1982年毕业于河南大学数学系,获理学学士学位。1989年毕业于中国科学院软件研究所,获理学硕士学位。现任南开大学哲学系教授、博士生导师,中山大学逻辑与认知研究所专职研究员。主要著作有《现代逻辑若干问题研究》等。

集合论含有原子的自然模型和布尔值模型

自然科学 数学 数学理论

在线阅读