丛书:离散数学
作者:汪芳庭编著
ISBN:17-312-00200-52
关键词:数理逻辑
页数:273
出版社: 合肥:中国科学技术大学出版社
出版日期:1990.09
本书2025年3月15日可阅读或下载
登录查看百万图书电子书免费阅读或下载地址(每日更新)
本书前两章介绍了命题演算和谓词演算,第三章介绍形式算术,递归函数及二者的关系,第四章中心是不完备性定理,其中建立了Godel定理、Godel-Rosser定理、Tarski定理、形式算术的不可判定性定理、无矛盾性不可证性定理的一种易证形式等。
数理逻辑
提交留言
1.如果要找《数理逻辑》,可以尝试去图书馆。
2.本页面文字和图片内容来自于http://m.5read.com/。
3.封皮图片地址:https://cover.duxiu.com/coverNew/CoverNew.dll?iid=636261626b6a6166686758a0a191a993a697a49f93a49d3330343833393132
数理逻辑.pdf
数理逻辑.docx