暂无评论
图文详情
- 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年毕业于中国科学院软件研究所,获理学硕士学位。现任南开大学哲学系教授、博士生导师,中山大学逻辑与认知研究所专职研究员。主要著作有《现代逻辑若干问题研究》等。
本类五星书
本类畅销
-
昆虫采集制作及主要目科简易识别手册
¥19.7¥50.0 -
昆虫的生存之道
¥12.2¥38.0 -
世纪幽灵-走近量子纠缠
¥9.9¥28.0 -
勒维特之星-大发现系列丛书
¥4.8¥16.0 -
星空探奇
¥12.5¥39.0 -
宇宙与人
¥10.5¥35.0 -
中国古代科学思想二十讲
¥16.3¥43.0 -
天文学卷-异想天开-古今中外天文简史-《中国大百科全书》普及版
¥5.1¥19.0 -
天演论-英文版
¥11.5¥36.0 -
冰雪世界的远征-中国国家地理
¥12.7¥39.8 -
隐秩序:适应性造就复杂性
¥19.9¥39.8 -
声音简史
¥18.2¥52.0 -
大学物理简明教程·第4版
¥30.8¥56.0 -
走进天文
¥11.2¥35.0 -
130种美鸟彩图馆
¥19.9¥39.8 -
图说相对论(32开平装)
¥14.7¥46.0 -
刘薰宇的数学三书:原来数学可以这样学全3册
¥88.5¥118.0 -
不匹配的一对:动物王国的性别文化
¥20.5¥42.8 -
科学名著文库:心血运动论
¥1.9¥4.5 -
数学的魅力;初等数学概念演绎
¥8.4¥22.0