数理逻辑

删除本页内容

作者:汪芳庭编著

ISBN:17-312-00200-52

关键词:数理逻辑

页数:273

出版社: 合肥：中国科学技术大学出版社

出版日期:1990.09

本书2025年6月4日可阅读或下载

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

数理逻辑

发布留言

数理逻辑

用户须知：

1.如果要找《数理逻辑》，可以尝试去图书馆。

2.本页面文字和图片内容来自于http://m.5read.com/。

3.封皮图片地址:https://cover.duxiu.com/coverNew/CoverNew.dll?iid=656463646d6c63686a695aa2a393ab95a899a6a195a69f3632303234383534