名称 代数模型论引论
索引号 O141.4/20121
分类号 O141.4
O141(数理逻辑(符号逻辑))
O14(数理逻辑-数学基础)
O1(数学)
O(数理科学和化学)
作者 史念东、
出版社 北京 : 科学出版社, 2011
ISBN 978-7-03-032408-5
页数 164页 ; 24cm
价格 CNY45.00
标签 数学、代数模型论、模型论、计算机科学、2011、
简介
注解 中国科学院科学出版基金资助出版 有书目 (第153-156页) 本书第一章介绍代数模型论所需要的模型论的基础知识。第二章至第九章分别介绍代数模型论各主要领域在近二三十年来国外的主要研究成果和研究方法,其中包括代数闭域、实闭域、线性序和偏序结构的模型论等。最后一章介绍可计算模型论。
书籍简介

《代数模型论引论》是代数模型论的一本人门书。第一章介绍代数模型论所需要的模型论的基础知识。第二章至第九章分别介绍代数模型论各主要领域在近二三十年来国外的主要研究成果和研究方法,其中包括代数闭域、实闭域、线性序和偏序结构的模型论等。最后一章介绍可计算模型论。《代数模型论引论》起点较低,具备数学系二、三年级知识的读者即可阅读,并具自完备性,以方便阅读。《代数模型论引论》终点较高,可引导具有数理逻辑基础知识的读者进入国际上的研究前沿。各章末均附有习题,以助读者深入理解《代数模型论引论》内容。
《代数模型论引论》可供高等院校数学、逻辑、哲学以及计算机科学等专业高年级本科生、研究生、教师和相关的科学研究工作者参考,也可作为相关专业研究生的教科书。