数理逻辑导引
全新正版现货
¥
148.5
7.5折
¥
198
全新
库存2件
作者冯琦
出版社科学出版社
ISBN9787030545794
出版时间2023-12
装帧平装
开本128开
纸张胶版纸
定价198元
货号25173895
上书时间2024-07-29
商品详情
- 品相描述:全新
-
正版全新
- 商品描述
-
【内容】:本书是作者在新加坡国立大学、北京大学和中国科学院大学为本科高年学生开设的数理逻辑选修课和在新加坡国立大学、中国科学院数学与系统科学研究院为研究生开设的专业课程所写讲义基础上整理出来的结果。本书主要由一阶逻辑的核心内容和有关数的逻辑探索和分析两大部分组成,其中包括完备性、紧致性、同质缩小、型省略等基本定理;有关数的经典理论的完全性和可定义性分析;哥德尔不完全性定理、丘奇不可判定性定理、塔尔斯基自然数标准模型真相不可定义性定理以及巴黎-哈灵顿不完全性定理。
— 没有更多了 —
正版全新
以下为对购买帮助不大的评价