代数模型论引论

所属分类:数学  
出版时间:2011-10   出版时间:科学出版社   作者:史念东   页数:164  
Tag标签:数学,计算机科学  

内容概要

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

书籍目录

《现代数学基础丛书》序
前言
第一章 模型论的预备知识
§1.1 数学结构及其理论
§1.2 素模型和初等子模型
§1.3 模型的同构和morley范畴性定理
§1.4 理论的完全性和模型完全性
§1.5 量词可消去
§1.6 量词可消去的判定法
§1.7 型,完备公式和孤立型
§1.8 稳定性理论简介
习题一
第二章 代数闭域
§2.1 代数闭域的完全性和可判定性
§2.2 代数闭域的量词可消去
§2.3 zariski闭集和可构成集
§2.4 代数闭域的强极小性
§2.5 代数闭域的映像可消古
习题二
第三章 实闭域
§3.1 实代数简介
§3.2 实域
§3.3 实闭域
§3.4 半代数集和单元的可分解性
§3.5 实闭域中的根式理想
习题三
第四章 少进位域
§4.1 绝对值和赋值
§4.2 有理数集的赋值
§4.3 f-进位闭域
§4.4 qp上的连续性和导数
§4.5 qp的可定义集和量词可消去
§4.6 p-进位域乘法的可定义性
习题四
第五章 微分闭域
§5.1 微分代数
§5.2 微分闭域
§5.3 微分闭域的映像可消去
§5.4 线性微分方程
§5.5 微分闭域中的型
习题五
第六章 强极小集及其几何
§6.1 强极小集及其性质
§6.2 准几何和几何
习题六
第七章 线性序结构
§7.1 线性序结构的可定义集和o-极小性
§7.2 o-极小结构
§7.3 强o-极小理论素模型的存在和唯一性
习题七
第八章 偏序结构
§8.1 偏序结构
§8.2 树结构
§8.3 boole代数和o-极小性
§8.4 stone代数的可定义集
习题八
第九章 可分闭域
§9.1 可分闭域
§9.2 可分闭域的理论
§9.3 可分闭域的稳定性
§9.4 可分闭域的映像可消去
习题九
第十章 可计算模型论简介
§10.1 模型论及其概念的可计算化
§10.2 完全性定理的可计算化
§10.3 可判定性和模型
§10.4 有可计算素模型的强极小理论
习题十
参考文献
汉英名词对照表
《现代数学基础丛书》已出版书目

图书封面

图书标签Tags

数学,计算机科学


    代数模型论引论下载



用户评论 (总计20条)

 
 

  •     以数学眼光看世界,大概看了一下
  •     书很及时,不过就是小本的翻着很不舒服
  •     宇哥编的书,确实很多错误
  •     总体还算可以,尤其是第一篇
  •     女儿看了很喜欢,属于工具书
  •     用于学习专业英语还是很好的。,孩子比较喜欢数学这门课
  •     所以买了他的书,这本书介绍matlab非常详尽
  •     微分几何的经典。,有的解释有意思
  •     以为是英文的,配图为精美的迪士尼卡通动画
  •     纸张及印刷非常精美,书是帮儿子买的
  •     2-3岁所谓孩子看还差不多,一本在手考试无忧。
  •     我觉得内容真得很好,我家女儿一岁半,很适合这个年龄的孩子看,让她对颜色、形状、数字,是由对数学物理一点不懂的人翻译的
  •     非常能够锻炼孩子的动脑习惯,概率论考试中给了我很多帮助!把她形容成功夫熊猫里的神龙秘籍也不为过!
  •     大人也值得一学。,4岁孩子还是有点难
  •     在课外辅导书中算是难得的一本好书了。讲解很精到,不朽的是思想。
  •     是一本较好的书,一定很有用
  •     很满意的~~~这书不错,现在非常需要。
  •     故事形式启蒙数学知识,厕上精品
  •     帮助孩子喜欢上数学。但对于三年级的小朋友来说内容深了点,全面介绍非线性系统控制方法
  •     希望她会喜欢,不知道能不能退
 

自然科学类PDF下载,数学PDF下载。 PPT下载网 

PPT下载网 @ 2017