集合论含有原子的自然模型和布尔值模型
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的自然模型及其一些基本性质
**章 基本概念
§1 集合论的形式语言
§2 集合论的公理系统
§3 布尔代数
§4 一些常用的概念
第二章 自然模型
§1 zfc的自然模型v及其一些基本性质
§2 gb的自然模型∑及其一些基本性质
§3 cog的自然模型人及其一些基本性质
§4 acg的自然模型q及其一些基本性质
第三章 含有原子的自然模型
§1 zfa的自然模型及其一些基本性质
§2 gba的自然模型及其一些基本性质
§3 coga的自然模型及其一些基本性质
展开全部
作者简介
李娜,女,1958年3月生于河南开封市。1982年毕业于河南大学数学系,获理学学士学位。1989年毕业于中国科学院软件研究所,获理学硕士学位。现任南开大学哲学系教授、博士生导师,中山大学逻辑与认知研究所专职研究员。主要著作有《现代逻辑若干问题研究》等。
本类五星书
本类畅销
-
世纪幽灵-走近量子纠缠
¥9.9¥28.0 -
昆虫的生存之道
¥12.2¥38.0 -
勒维特之星-大发现系列丛书
¥4.0¥16.0 -
昆虫采集制作及主要目科简易识别手册
¥15.0¥50.0 -
技术史入门
¥14.4¥48.0 -
物理学之美-插图珍藏版
¥29.0¥69.0 -
数学的魅力;初等数学概念演绎
¥8.4¥22.0 -
130种美鸟彩图馆
¥15.1¥39.8 -
不匹配的一对:动物王国的性别文化
¥14.6¥42.8 -
数学-应用与思考
¥12.5¥32.8 -
天文学卷-异想天开-古今中外天文简史-《中国大百科全书》普及版
¥5.1¥19.0 -
星空探奇
¥14.0¥39.0 -
几何原本
¥44.0¥93.6 -
艾萨克·牛顿、理性时代与现代科学的肇始(八品-九品)
¥24.0¥96.0 -
现代科技中的天文学
¥4.6¥13.0 -
怎样解题
¥24.1¥29.0 -
菌络万象
¥67.8¥88.0 -
脑科学:大脑进化简史
¥37.1¥58.0 -
三北精神研究
¥34.4¥80.0 -
数据建模与计算案例
¥77.4¥98.0