发表于2024-11-22
模型论基础 2024 pdf epub mobi 电子书
图书标签: 数理逻辑 模型论 数学 逻辑学 元数学 逻辑哲学 逻辑 语言学
《模型论基础》介绍模型论的基础知识。主要内容有:紧致性定理,省略型定理,内播定理,完全理论与模型完全理论,初等键,越积,模型论力迫法,他和模型等。并附有模型论方法对经典数学应用的一些例子。《模型论基础》可供大学数学专业高年级学生及研究生、数学教师及数学工作者阅读。也可供其他专业有关数理逻辑及理论计算机科学方面的师生及科学工作者参考。
@2017-08-31 20:57:04
评分脱胎于C.C.Chang的那本教材。
评分脱胎于C.C.Chang的那本教材。
评分我以前一直不理进为什么把数理逻辑也放到哲学的内容里。后来多翻一些书就明确感受到这些理论的方法论倾向了。很多的理论并不是数学上令人激动又闪光的思想,而更多是对已有方法的重新梳理。模型论的两大方向,一是稳定性理论,二是代数模型论。稳定性理论的基本框架就是根据基数对模型进行分类;代数模型论的基本思想是对具体代数结构进行语义学分析。这两部分内容其实都有着明确地后知后觉的倾向,所以如果有学生来问我该怎么选择方向。我会告诉他,如果对哲学兴趣更多些,可以选择数理逻辑的课程学一学。如果对数学和计算机更喜欢些,可以不看这方面的书籍。我想这也是这些年,数理逻辑的关注度在数学与计算机领域日渐式微的原因。纵观数学与计算机的历史,也很少有靠哲学来取得巨大成就的方法,其理论内部的思想才是其不断推进创新的源动力!
评分@2017-08-31 20:57:04
模型论基础 2024 pdf epub mobi 电子书