数理逻辑初步

内容简介

《数理逻辑初步》是一本介绍数理逻辑基础知识的书籍，适合初学者阅读。本书内容涵盖了命题逻辑、一阶逻辑、模型论、递归论和证明论等基本概念和方法。

通过本书的学习，读者可以掌握数理逻辑的基本原理和技巧，为进一步学习更高级的逻辑理论打下坚实的基础。

第一章数理逻辑的由来
    1 传统逻辑的不足
    2 数理逻辑的兴起
    3 非欧几何带来的问题
    4 微积分基础的争论
    5 集合论悖论
第二章数理逻辑的主要内容
    1 公理集合论与证明论
    2 能行性理论与模型论
    3 命题演算
    4 谓词演算
    5 有关传统逻辑与模态逻辑
    6 蕴涵词及其怪论
第三章关于数理逻辑的三大派
    1 逻辑主义派
    2 直觉主义派
    3 形式主义派
第四章数理逻辑中一些基本概念
    1 记号与符号
    2 变元

下载权限

查看

￥

免费下载

评论并刷新后下载

登录后下载

查看演示

{{attr.name}}：

您当前的等级为

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

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

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