可计算性与数理逻辑

内容简介

可计算性与数理逻辑

第—部可计算性理论
    第1章可枚举性
    第2章对角化
    第3章图灵可计算性
    第4章不可计算性
    第5章算盘可计算性
    第6章递归函数
    第7章递归集与递归关系
    第8章可计算性的等价定义
第二部分基础元逻辑
    第9章—阶逻辑初阶：语法
    第10章 —阶逻辑初阶：语义
    第11章 —阶逻辑的不可判定性
    第12章模型
    第13章模型的存在性
    第14章证明与完备性
    第15章算术化
    第16章递归函数的可表示性
    第17章不可定义性、不可判定性和不完全性
    第18章协调性的不可证性

下载权限

查看

￥

免费下载

评论并刷新后下载

登录后下载

查看演示

{{attr.name}}：

您当前的等级为

登录后免费下载登录小黑屋反思中，不准下载！评论后刷新页面下载评论支付以后下载请先登录您今天的下载次数（次）用完了，请明天再来支付积分以后下载立即支付支付以后下载立即支付您当前的用户组不允许下载升级会员

您已获得下载权限您可以每天下载资源次，今日剩余次

免责申明：
1. 本站分享的所有书籍均来源于自互联网，我们只进行收集整理，并不对书籍内容进行更改。
2. 部分书籍中可能有书籍压制者放置的广告，这并不是本站所为，请注意甄别。
3. 我们分享这些书籍，纯粹是出于知识分享的热情，以及对互联网分享精神的高度认同和践行，不以盈利为目的。
4. 本站分享的所有书籍，仅供个人学习研究使用，请勿用于任何商业用途，否则产生的一切法律纠纷与本站无关。
5. 如果这些书籍让你有所收获，在条件允许的情况下，请一定购买正版书籍，这是对创作者最好的支持。
6. 如果您是此书籍的版权所有者，且您不希望此作品出现在本站，请联系我们，我们将在收到您的请求后48小时内予以删除。