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

1星价 ¥13.3 (3.8折)

2星价￥13.0 定价￥35.0

作者：李娜著

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

本类榜单：自然科学

分类：自然科学 > 数学 > 数学理论

温馨提示：5折以下图书主要为出版社尾货，大部分为全新（有塑封/无塑封），个别图书品相8-9成新、切口有划线标记、光盘等附件不全详细品相说明>>

暂无评论

图文详情

ISBN：9787303121694
装帧：暂无
册数：暂无
重量：暂无
开本：16开
页数：187
出版时间：2011-03-01
条形码：9787303121694 ; 978-7-303-12169-4

内容简介

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

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

展开全部