- 作 者：沈复兴著
- 出 版 社：北京：北京师范大学出版社
- 出版年份：1995
- ISBN：7303039414
- 注意：在使用云解压之前，请认真核对实际PDF页数与内容!
在线云解压
价格(点数)
购买连接
说明
转为PDF格式
10
（在线云解压服务）
云解压服务说明
1、本站所有的云解压默认都是转为PDF格式，该格式图书只能阅读和打印，不能再次编辑。
云解压下载及付费说明
1、所有的电子图书云解压均转换为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、云解压在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
目 录 1
第一章命题逻辑模型论 1
§1.1命题逻辑形式系统 1
§1.2命题逻辑的模型 10
§1.3命题逻辑的完全性 14
§1.4命题逻辑模型论 20
第二章一阶逻辑 26
§2.1一阶逻辑形式系统 26
§2.2一阶逻辑形式推演 33
第三章一阶逻辑的模型 47
§3.1一阶逻辑模型的定义 47
§3.2模型的相互关系 57
§3.3常见的语言和模型 68
第四章紧致性定理 75
§4.1一阶逻辑的完全性 75
§4.2紧致性定理 80
§4.3 L—S—T定理 90
第五章初等等价模型的代数特征 99
§5.1部分同构 99
§5.2 Fraissé定理 104
§5.3 Ehrenfeucht博奕 112
第六章一阶逻辑的完全理论 115
§6.1理论的完全性和范畴性 115
§6.2模型完全理论 120
§7.1初等链定理 129
第七章模型的初等链 129
§7.2省略型定理 135
§7.3内插定理 143
第八章超积模型 150
§8.1超滤集 150
§8.2超积模型 156
§8.3超积的应用 165
第九章Lindenbaum代数 170
§9.1格与布尔代数 170
§9.2 Lindenbaum代数 178
第十章完全理论的可数模型 185
§10.1可数原子模型 185
§10.2可数地饱和模型 190
§10.3可数地齐次模型 199
第十一章模型的自同构 209
§11.1 Skolem函数和不可辨元 209
§11.2模型的自同构 215
第十二章模型论力迫法 224
§12.1有限力迫法 224
§12.2有限力迫兼纳模型 230
§12.3无限力迫法 241
第十三章？ω1ω逻辑模型论 250
§13.1？ω1ω逻辑的完全性 252
§13.2？ω1ω语言的可数片断 264
附录Ⅰ 部分专有名词的索引 280
附录Ⅱ 部分符号的索引 286