模型论基础

出版者:科学出版社

作者:王世强

页数:241

出版时间:2007-1

价格:32.00元

isbn号码:9787030059956

丛书系列:现代数学基础丛书

图书标签:数理逻辑模型论数学逻辑学元数学逻辑哲学逻辑语言学

《模型论基础》介绍模型论的基础知识。主要内容有：紧致性定理，省略型定理，内播定理，完全理论与模型完全理论，初等键，越积，模型论力迫法，他和模型等。并附有模型论方法对经典数学应用的一些例子。《模型论基础》可供大学数学专业高年级学生及研究生、数学教师及数学工作者阅读。也可供其他专业有关数理逻辑及理论计算机科学方面的师生及科学工作者参考。

用户评价

@2017-08-31 20:57:04

脱胎于C.C.Chang的那本教材。

@2017-08-31 20:57:04

我以前一直不理进为什么把数理逻辑也放到哲学的内容里。后来多翻一些书就明确感受到这些理论的方法论倾向了。很多的理论并不是数学上令人激动又闪光的思想，而更多是对已有方法的重新梳理。模型论的两大方向，一是稳定性理论，二是代数模型论。稳定性理论的基本框架就是根据基数对模型进行分类；代数模型论的基本思想是对具体代数结构进行语义学分析。这两部分内容其实都有着明确地后知后觉的倾向，所以如果有学生来问我该怎么选择方向。我会告诉他，如果对哲学兴趣更多些，可以选择数理逻辑的课程学一学。如果对数学和计算机更喜欢些，可以不看这方面的书籍。我想这也是这些年，数理逻辑的关注度在数学与计算机领域日渐式微的原因。纵观数学与计算机的历史，也很少有靠哲学来取得巨大成就的方法，其理论内部的思想才是其不断推进创新的源动力！

脱胎于C.C.Chang的那本教材。