作品介绍

数理逻辑导引

作者：冯琦整理日期：2019-03-26 17:09:01

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

→ 数理逻辑导引下载地址 ←

上一本：概率论与数理统计经济应用数学基础

下一本：植物学实验教程

作家文集

☆ 豆豆作品集	☆ 林清玄作品集	☆ 江河作品集
☆ 李碧华作品集	☆ 林海音作品集	☆ 马原作品集
☆ 高晓声作品集	☆ 蒋子龙作品集	☆ 刘绍棠作品集
☆ 周立波作品集	☆ 亦舒作品集	☆ 闫红作品集
☆ 祝勇作品集	☆ 周晓枫作品集	☆ 石一枫作品集
☆ 张广天作品集	☆ 蒋蓝作品集	☆ 李亚伟作品集
☆ 王小波作品集	☆ 木心作品集	☆ 鲁迅作品集
☆ 叶圣陶作品集	☆ 张爱玲作品集	☆ 沈从文作品集
☆ 老舍作品集	☆ 巴金作品集	☆ 曹禺作品集
☆ 钱钟书作品集	☆ 汪曾祺作品集	☆ 徐志摩作品集