树和偏序理论的模型论研究

树和偏序理论的模型论研究

傅莺莺, 著

出版社:中国经济出版社

年代:2015

定价:48.0

书籍简介:

本书主要介绍树和偏序理论模型论研究的最新成果,包括带根节点的有向树、无向树理论,以及有最小元的树形偏序理论的量词消去及相关模型论性质。全书共分六章。第一章介绍一阶逻辑的预备知识;第二章介绍量词消去的主要方法与结果;第三章给出了完全二叉树等特殊理论量词消去的新证明;第四章考察了一般的带根节点的有向树、无向树理论;第五章考察了一般的有最小元的树形偏序理论;第六章介绍了有待继续研究的问题。

书籍规格:

书籍详细信息
书名树和偏序理论的模型论研究站内查询相似图书
9787513639101
《树和偏序理论的模型论研究》pdf扫描版电子书已有网友提供下载资源链接
出版地北京出版单位中国经济出版社
版次1版印次1
定价(元)48.0语种简体中文
尺寸15 × 21装帧平装
页数 182 印数 800

书籍信息归属:

树和偏序理论的模型论研究是中国经济出版社于2015.8出版的中图分类号为 O141.4 的主题关于 模型论-研究 的书籍。