数理逻辑 封面

《数理逻辑》

汪芳庭 |合肥:中国科学技术大学出版社 | 2010年09月

ISBN:9787312027086

更多“汪芳庭”的图书 查看“合肥:中国科学技术大学出版社”出版的图书 按关键词搜索相关图书

关键词:数理逻辑-研究生-教材

页数:205

出版社地址:未知

价格:未知

学科分类: 数理科学和化学 数学 数理逻辑、数学基础 数理逻辑(符号逻辑)

更新时间:2025年12月31日

最近编辑: 暂无编辑记录


点此占领格子后刷新查看百万图书阅读或下载地址。
提示:如果既不想花钱占格子,又想看阅读下载地址,请仔细浏览本站内容,站长将阅读下载地址免费公布了的,就是需要仔细找找。

《数理逻辑》内容简介

本书内容分两部分:第一部分属数理逻辑基础,包含命题演算与谓词演算的基本知识。第二部分为形式算术与Godel不完备性定理。本书对Godel第一部完备性定理、Godel-Rosser定理、Tarski定理及形式算术的不可判定性定理都提供了完整的证明。本书可用作计算机专业研究生或高年级本科生教材。

《数理逻辑》赏析

暂无赏析内容,快来发布第一篇赏析吧!

《数理逻辑》内容提问与解答

回答基于全网公开信息整理出来的本书相关信息。
解答内容:

数理逻辑二手书交易信息

出售
求购
总计
类型 价格 状态 发布者 发布时间 过期时间 响应次数
暂无交易记录