数理逻辑 豆 9.3分

资源最后更新于 2020-08-18 15:31:08

作者：汪芳庭

出版社：中国科学技术大学出版社

出版日期：2010-01

ISBN：9787312027086

文件格式： pdf

标签： 数理逻辑 数学 逻辑学 哥德尔 逻辑 大三下 高分 长尾

简介· · · · · ·

《普通高等学校十一五规划教材•数理逻辑(第2版)》内容分两部分：第一部分属数理逻辑基础，包含命题演算与谓词演算的基本知识。第二部分为形式算术与Godel不完备性定理。《普通高等学校十一五规划教材•数理逻辑(第2版)》对Godel第一不完备性定理、Godel-Rosser定理、Tarski定理及形式算术的不可判定性定理等都提供了完整的证明。结合对Church论题与Turing论题的介绍，对这些定理的意义进行了讨论。书中还提出了Godel第二不完备性定理的一种易证形式。

《普通高等学校十一五规划教材•数理逻辑(第2版)》可用作计算机专业研究生或高年级本科生教材，并可供数学、哲学、逻辑等专业研究及教学人员参考。