您现在的位置：快乐比价网 > 图书 > 教育/科技 > 数学 > 商品详情

数理逻辑-第2版

分享到：

最低价：￥17.60

定价：￥22.00

作者：汪芳庭. 编著著

出版社：中国科技大

出版时间：2010-9-1

I S B N：9787312027086

价格比较

商品详情

商品评论(0条)

普通高校十一五教材-数理逻辑(第2版)

送货上门

价格
17.60元

数理逻辑（第2版）

送货上门

价格
18.00元

普通高校“十一五”教材数理逻辑（第2版）

送货上门

价格
18.00元

普通高等学校十一五规划教材?数理逻辑(第2版)

送货上门

价格
18.00元

数理逻辑-第2版

送货上门

价格
19.40元

数理逻辑-第2版

送货上门

价格
19.40元

商品详情

编辑推荐

内容简介

本书内容分两部分：第一部分属数理逻辑基础，包含命题演算与谓词演算的基本知识。第二部分为形式算术与godel不完备性定理。
本书对godel第一不完备性定理、godel-rosser定理、tarski定理及形式算术的不可判定性定理等都提供了完整的证明。结合对church论题与turing论题的介绍，对这些定理的意义进行了讨论。书中还提出了godel第二不完备性定理的一种易证形式。
本书可用作计算机专业研究生或高年级本科生教材，并可供数学、哲学、逻辑等专业研究及教学人员参考。

作者简介

再版前言
前言
引言
0 预备知识
0.1 集论初等概念
0.2 peano自然数公理
0.3 可数集
1 命题演算
1.1 命题联结词与真值表
1.2 命题演算的建立
1.2.1 命题演算公式集
1.2.2 命题演算l
1.2.3 演绎定理
1.2.4 反证律与归谬律
1.2.5 析取，合取与等值