- 作 者：傅莺莺著
- 出 版 社：北京：中国经济出版社
- 出版年份：2015
- ISBN：9787513639101
- 标注页数：182 页
- PDF页数：192 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源192 ≥182页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
第一章 一阶逻辑预备知识 1
1.1 一阶逻辑的语言 1
1.2 一阶逻辑的推演（语法） 7
1.3 一阶逻辑的模型（语义） 13
1.4 常见的理论与模型 17
1.5 模型间的相互关系 25
1.6 一阶逻辑的完全理论 32
1.7 稳定性与单纯性理论 40
第二章 经典结构模型论研究 46
2.1 量词消去的概念与方法 46
2.2 无端点稠密线性序 52
2.3 无扭可除交换群 57
2.4 可除有序交换群 62
2.5 Presburger算术 66
2.6 代数闭域 72
2.7 实闭域 76
第三章 几个定理的新证明 84
3.1 完全k叉树的量词消去 85
3.2 完全无穷叉树的量词消去 92
3.3 完全稠密二叉偏序的量词消去 97
第四章 带根节点的树理论 117
4.1 语言与基本公理 117
4.2 量词消去的准备工作 118
4.3 DTR在L0中的量词消去 120
4.4 DTR在L1中的量词消去 126
4.5 UTR理论的量词消去 141
4.6 DTR与UTR的模型论性质 145
第五章 有最小元的树形偏序 148
5.1 语言与基本公理 148
5.2 有最小元的树形偏序结构 149
5.3 量词消去的准备工作 154
5.4 OLE理论的量词消去 162
5.5 OLE理论的模型论性质 171
第六章 尚待解决的若干问题 175
参考文献 177