数理逻辑 封面

《数理逻辑》

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

ISBN:7312002005

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

关键词:数理逻辑

页数:273

出版社地址:未知

价格:未知

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

更新时间:2025年12月31日

最近编辑: 暂无编辑记录


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

《数理逻辑》内容简介

本书前两章介绍了命题演算和谓词演算,第三章介绍形式算术,递归函数及二者的关系,第四章中心是不完备性定理,其中建立了Godel定理、Godel-Rosser定理、Tarski定理、形式算术的不可判定性定理、无矛盾性不可证性定理的一种易证形式等。

《数理逻辑》赏析

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

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

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

数理逻辑二手书交易信息

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