数理逻辑
认领
0粉丝
《普通高等学校十一五规划教材•数理逻辑(第2版)》内容分两部分：第一部分属数理逻辑基础，包含命题演算与谓词演算的基本知识。第二部分为形式算术与Gode
简介
《普通高等学校十一五规划教材•数理逻辑(第2版)》内容分两部分：第一部分属数理逻辑基础，包含命题演算与谓词演算的基本知识。第二部分为形式算术与Godel不完备性定理。《普通高等学校十一五规划教材•数理逻辑(第2版)》对Godel第一不完备性定理、Godel-Rosser定理、Tarski定理及形式算术的不可判定性定理等都提供了完整的证明。结合对Church论题与Turing论题的介绍，对这些定理的... 更多
属性
出版社
中国科学技术大学出版社
ISBN
9787312027086
出版年
2010-9
装帧
平装
价格
22.00元
页数
204
评价
0.0（满分 10 分）0 个评分
什么是点评分
全部评价(
0)
推荐率
100%