盘天下 | 免费精选资源分享

内容简介

《数理 逻辑 》是为了给将来致力于数理逻辑研究的读者奠定坚实基础而写的。概括地讲，-4章为基础内容，第5-6章为高阶内容。具体来看，章从 思想 史角度讲述 哲学 之于逻辑的动机催发，第2章讲述命题逻辑的早期简史、语法语义、接近性、紧致性等，第3章讲述一阶逻辑的早期简史、语法语义、接近性、紧致性及应用、哲学的应用等，第4章讲述一阶理论的基本性质、几种形式等，第5章讲述哥德尔不接近性定理的 数学 哲学动机、详细证明过程、一些相关推论、数学哲学影响等，第6章以模态逻辑为例说明逻辑之于哲学的实际应用。

下载地址

• 诚通网盘 提取码：8866
• 迅雷网盘 提取码：nm8y

夸克资源精选合集