欢迎光临中图网 请 | 注册
每满100减50,满108送2025台历
>
关于“冯琦编著”检索到   共1种现货商品
出版社:
确定 取消
售价:
折扣:
  • 数理逻辑导引

    冯琦编著  /  2017-09-01  /  科学出版社
    ¥142.6(7.2折)定价:¥198.0

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

编辑推荐

中图网
返回顶部