《数理逻辑导引》 电子版 pdf

内容简介

  《数理逻辑导引》是作者在新加坡国立大学、北京大学和中国科学院大学为本科高年级学生开设的数理逻辑选修课和在新加坡国立大学、中国科学院数学与系统科学研究院为研究生开设的专业课程所写讲义基础上整理出来的结果。《数理逻辑导引》主要由一阶逻辑的核心内容和有关数的逻辑探索和分析两大部分组成,其中包括完备性、紧致性、同质缩小、型省略等基本定理;有关数的经典理论的完全性和可定义性分析;哥德尔不完全性定理、丘奇不可判定性定理、塔尔斯基自然数标准模型真相不可定义性定理以及巴黎-哈灵顿不完全性定理。

资源下载此资源下载价格为3书卷点,VIP免费,请先
资源下载
下载价格3 书卷点
VIP免费
0

评论0

充值系统可能漏单,没有充值成功的会在24小时内补单,没有补单的请留言或私信
显示验证码
没有账号? 注册  忘记密码?