数理逻辑导引
- 书名：数理逻辑导引
- 作者： 冯琦
- 格式：PDF
- 时间：2024-06-27
- 评分：
- ISBN：9787030545794
内容简介：
《数理逻辑导引》是作者在新加坡国立大学、北京大学和中国科学院大学为本科高年级学生开设的数理逻辑选修课和在新加坡国立大学、中国科学院数学与系统科学研究院为研究生开设的专业课程所写讲义基础上整理出来的结果。《数理逻辑导引》主要由一阶逻辑的核心内容和有关数的逻辑探索和分析两大部分组成，其中包括完备性、紧致性、同质缩小、型省略等基本定理；有关数的经典理论的完全性和可定义性分析；哥德尔不完全性定理、丘奇不可判定性定理、塔尔斯基自然数标准模型真相不可定义性定理以及巴黎-哈灵顿不完全性定理。
作者简介：
下载地址：
标签：
文章链接：https://www.dushupai.com/book-content-26395.html(转载时请注明本文出处及文章链接)
读书评论：
更多
-
Livjathan11-14非常精彩，也很全面，不过目前对于我来说还在学习中，啃起来会慢一点。建议读者有一定的高数，数分和符号逻辑基础（徐明老师那本书就挺好，虽然啰嗦但是细致全面），另外，冯琦老师的一阶逻辑课程视频在b站也有，讲的比较清楚且不是很艰涩，可以找来看看。
-
马蹄北去06-07非常详尽，可以说基本解决哥德尔不完全定理之前的全部问题，后面代数模型论的部分也很好，并且为形式系统的扩张和完备性提供了清晰生动的例子。内容部分除了常见的定义、定理和范例之外，还增加了“问题”，解释了领域内诸核心理论的意义和作用。唯一可惜的是印刷错误不少
-
砯02-28读了前面的部分，比起哲学教材总是出现让人迷惑的直观，还是好太多。不过可读性差。
猜你喜欢：
-
2024-07-2711 -
2024-07-276 -
2024-07-278 -
2024-07-278 -
2024-07-277 -
2024-07-2713 -
2024-07-278 -
2024-07-277