《模型论导引》
| 作者 | 沈复兴著 编者 |
|---|---|
| 出版 | 北京：北京师范大学出版社 |
| 参考页数 | 288 |
| 出版时间 | 1995（求助前请核对） 目录预览 |
| ISBN号 | 7303039414 — 求助条款 |
| PDF编号 | 810178628（仅供预览，未存储实际文件） |
| 求助格式 | 扫描PDF（若分多册发行，每次仅能受理1册） |
目 录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
1995《模型论导引》由于是年代较久的资料都绝版了，几乎不可能购买到实物。如果大家为了学习确实需要，可向博主求助其电子版PDF文件（由沈复兴著 1995 北京：北京师范大学出版社 出版的版本） 。对合法合规的求助，我会当即受理并将下载地址发送给你。
高度相关资料
-
- 集合论导引
- 1994 北京：中国社会科学出版社
-
- 数论导引
- 1957年07月第1版
-
- 模型参考自适应控制导论
- 2020
-
- 半导体器件模型和工艺模型
- 1986
-
- 矿床模型导论
- 1993 北京：地震出版社
-
- 域论导引
- 1992 北京：北京师范学院出版社
-
- 微积分
- 1998 杭州：浙江大学出版社
-
- 图论导引
- 1985 北京：高等教育出版社
-
- 群论导引
- 1985 哈尔滨：黑龙江科学技术出版社
-
- 半导器件模型和工艺模型
- 1986 北京：科学出版社
-
- 数论导引
- 1957 北京：科学出版社
-
- 模型论基础
- 1987 北京：科学出版社
-
- 模糊集引论 上
- 1989 北京：北京师范大学出版社
-
- 逼近论导引
- 1981 上海：上海科学技术出版社
-
- 模态逻辑引论
- 1986 上海：上海人民出版社
提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。➥ PDF文字可复制化或转WORD