数理逻辑

删除本页内容

作者:汪芳庭编著

ISBN:17-312-00200-52

关键词:数理逻辑

页数:273

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

出版日期:1990.09

本书2025年7月29日可阅读或下载

获取百万图书地址方式一：复制链接到微信、QQ群，24小时内有50人访问即可显示

,当前已有0人访问

登录查看百万图书电子书免费阅读或下载地址(每日更新) 216.73.216.154

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

数理逻辑

发布留言

数理逻辑

用户须知：

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

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

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