数理逻辑读书介绍
| 类别 | 页数 | 译者 | 网友评分 | 年代 | 出版社 |
|---|---|---|---|---|---|
| 书籍 | 204页 | 9.4 | 2020 | 中国科学技术大学出版社 |
| 定价 | 出版日期 | 最近访问 | 访问指数 |
|---|---|---|---|
| 22.00元 | 2020-02-20 … | 2020-05-23 … | 98 |
主题/类型/题材/标签
数理逻辑,数学,逻辑学,哥德尔,逻辑,大三下,高分,画画,
作者
汪芳庭 ISBN:9787312027086 原作名/别名:《》
内容和作者简介
数理逻辑摘要
《普通高等学校十一五规划教材•数理逻辑(第2版)》内容分两部分：第一部分属数理逻辑基础，包含命题演算与谓词演算的基本知识。第二部分为形式算术与Godel不完备性定理。《普通高等学校十一五规划教材•数理逻辑(第2版)》对Godel第一不完备性定理、Godel-Rosser定理、Tarski定理及形式算术的不可判定性定理等都提供了完整的证明。结合对Church论题与Turing论题的介绍，对这些定理的意义进行了讨论。书中还提出了Godel第二不完备性定理的一种易证形式。
《普通高等学校十一五规划教材•数理逻辑(第2版)》可用作计算机专业研究生或高年级本科生教材，并可供数学、哲学、逻辑等专业研究及教学人员参考。
作者简介本书后续版本
未发行或暂未收录
喜欢读〖数理逻辑〗的人也喜欢：
相关搜索
友情提示
剧情呢，免费看分享剧情、挑选影视作品、精选好书简介分享。