数理逻辑
删除本页内容作者:汪芳庭编著
ISBN:1978-7-312-02708-62
关键词:数理逻辑-研究生-教材
页数:205
出版社: 合肥:中国科学技术大学出版社
出版日期:2010.09
本书2025年8月26日可阅读或下载
获取百万图书地址方式一:复制链接到微信、QQ群,24小时内有50人访问即可显示
,当前已有0人访问
登录查看百万图书电子书免费阅读或下载地址(每日更新) 216.73.216.122
本书内容分两部分:第一部分属数理逻辑基础,包含命题演算与谓词演算的基本知识。第二部分为形式算术与Godel不完备性定理。本书对Godel第一部完备性定理、Godel-Rosser定理、Tarski定理及形式算术的不可判定性定理都提供了完整的证明。本书可用作计算机专业研究生或高年级本科生教材。
数理逻辑-研究生-教材
留言内容
发布留言