集合论含有原子的自然模型和布尔值模型PDF电子书下载
- 电子书积分:9 积分如何计算积分?
- 作 者:李娜著
- 出 版 社:北京:北京师范大学出版社
- 出版年份:2011
- ISBN:9787303121694
- 页数:187 页
图书介绍:本书是为Lewis的五个严格蕴涵系统建立布尔值模型。为此,本文首先定义了模态公式□α的布尔值||□α||;其次证明在该定义下,模态逻辑的严格蕴涵系统S1和S2的所有公理的布尔值为1;最后证明集合论的ZFC公理系统的布尔值模型V^B(B是一个完全的布尔代数)也是严格蕴涵系统S1和S2的布尔值模型。
《集合论含有原子的自然模型和布尔值模型》目录
第一章 基本概念 1
1.集合论的形式语言 1
2.集合论的公理系统 7
3.布尔代数 19
4.一些常用的概念 21
第二章 自然模型 33
1. ZFC的自然模型V及其一些基本性质 34
2. GB的自然模型∑及其一些基本性质 40
3. COG的自然模型A及其一些基本性质 43
4. ACG的自然模型Ω2及其一些基本性质 49
第三章 含有原子的自然模型 53
1. ZFA的自然模型及其一些基本性质 53
2. GBA的自然模型及其一些基本性质 61
3. COGA的自然模型及其一些基本性质 67
4. ACGA的自然模型及其一些基本性质 73
第四章 布尔值模型 79
1. ZFC的布尔值模型及其一些基本性质 79
2. GB的布尔值模型及其一些基本性质 100
3. COG的布尔值模型及其一些基本性质 122
4. ACG的布尔值模型及其一些基本性质 129
第五章 含有原子的布尔值模型 134
1. ZFA的布尔值模型及其一些基本性质 134
2. GBA的布尔值模型及其一些基本性质 145
3. COGA的布尔值模型及其一些基本性质 165
4. ACGA的布尔值模型及其一些基本性质 174
附 论文 180
参考文献 185
相关图书
- 《模型与认知》(美)乔纳森·A.瓦斯肯著,魏刘伟译 2019
- 《中国二氧化碳减排和环境协同效益评价模型的构建与研究》杨曦,滕飞著 2019
- 《高中压配电网规划 实用模型、方法、软件和应用 上》王主丁著 2020
- 《初等模型论》姚宁远著 2018
- 《数学模型在生态学的应用及研究 42》鹿源责任编辑;杨东方,李烨 2018
- 《冷原子 热太阳》中科院SELF格致论道讲坛著 2019
- 《无机元素原子光谱分析样品预处理技术》吴瑶庆 2019
- 《仿真模型枪大全》日本HobbyJAPAN著 2014
- 《科学建构 从几何模型到物理世界》(中国)江晓原 2019
- 《椭圆函数相关凝聚态物理模型与图表示》石康杰,杨文力,李广良编者;刘凤娟责编 2019
作者其它书籍
- 《中风偏瘫 脑萎缩 痴呆 最新治疗原则与方法》孙作东著 2004
- 《水面舰艇编队作战运筹分析》谭安胜著 2009
- 《王蒙文集 新版 35 评点《红楼梦》 上》王蒙著 2020
- 《TED说话的力量 世界优秀演讲者的口才秘诀》(坦桑)阿卡什·P.卡里亚著 2019
- 《燕堂夜话》蒋忠和著 2019
- 《经久》静水边著 2019
- 《魔法销售台词》(美)埃尔默·惠勒著 2019
- 《微表情密码》(波)卡西亚·韦佐夫斯基,(波)帕特里克·韦佐夫斯基著 2019
- 《看书琐记与作文秘诀》鲁迅著 2019
- 《酒国》莫言著 2019
出版社其它书籍
- 《大学计算机实验指导及习题解答》曹成志,宋长龙 2019
- 《指向核心素养 北京十一学校名师教学设计 英语 七年级 上 配人教版》周志英总主编 2019
- 《大学生心理健康与人生发展》王琳责任编辑;(中国)肖宇 2019
- 《大学英语四级考试全真试题 标准模拟 四级》汪开虎主编 2012
- 《大学英语教学的跨文化交际视角研究与创新发展》许丽云,刘枫,尚利明著 2020
- 《北京生态环境保护》《北京环境保护丛书》编委会编著 2018
- 《复旦大学新闻学院教授学术丛书 新闻实务随想录》刘海贵 2019
- 《大学英语综合教程 1》王佃春,骆敏主编 2015
- 《大学物理简明教程 下 第2版》施卫主编 2020
- 《指向核心素养 北京十一学校名师教学设计 英语 九年级 上 配人教版》周志英总主编 2019