图书介绍
模型论导引PDF|Epub|txt|kindle电子书版本网盘下载
- 沈复兴著 著
- 出版社： 北京：北京师范大学出版社
- ISBN：7303039414
- 出版时间：1995
- 标注页数：288页
- 文件大小：8MB
- 文件页数：296页
- 主题词：
PDF下载
点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用种子下载[BT下载速度快]温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页直链下载[便捷但速度慢] [在线试读本书] [在线获取解压码]
下载说明
模型论导引PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
目 录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