温馨提示:虚拟产品一经售出概不退款(使用遇到问题,请及时私信上传者)
一个资源只可评论一次评论内容不能少于5个字
数理逻辑汪芳庭pdf下载数理逻辑汪芳庭pdf是一本由汪芳庭所著的数学图书,这本图书涵盖了集论初等概念、谓词演算、形式算术等内容非常适合数学学子进行阅读,你还茬等什么赶紧下载吧。
《数理逻辑汪芳庭(第2版)》内容分两部分:第一部分属数理逻辑汪芳庭基础包含命题演算与谓词演算的基本知识。第二部分为形式算术与Godel不完备性定理《数理逻辑汪芳庭》对Godel第一不完备性定理、Godel-Rosser定理、Tarski定理及形式算术的不可判定性定理等都提供了完整的证明。结合对Church论题与Turing论题的介绍对这些定理的意义进行了讨论。书中还提出了Godel第二不完备性定理的一种易证形式
数理逻辑汪芳庭就是精确化、数学化的形式逻辑。它是现代计算机技术的基础新的时代将是数学大发展的时代,而数理逻辑汪芳庭在其中将会起箌很关键的作用
1.1 命题联结词与真值表
1.2 命题演算的建立
1.2.1 命题演算公式集
1.2.4 反证律与归谬律
1.2.5 析取,合取与等值
1.3 命题演算的语义
1.3.2 赋值与语义推论
1.4 命题演算L的可靠性与完全性
1.5 命题演算的其他课题
1.5.1 等值公式与对偶律
1.5.2 析取范式与合取范式
2.1 谓词演算的建立
2.1.2 谓词演算公式集