应用逻辑（第2版）

内容简介

《应用逻辑（第2版）》是一本专注于逻辑学在实际中应用的教材。本书系统地介绍了逻辑学的基本原理和方法，并结合实际案例展示了逻辑在计算机科学、人工智能、语言学等领域的应用。

第2版在保留第1版核心内容的基础上，增加了新的应用案例和习题，帮助读者更好地理解和掌握逻辑学的实际应用。

绪论
第一章命题逻辑
第一节序和树
第二节命题、联结词和真值表
第三节真值指派和赋值
第四节命题演算中的表证明
第五节表证明的可靠性和完全性
第六节前件演绎和紧致性
第七节公理方法
第八节消解
第九节加细消解
第十节线性消解、Horn子句和PROLOG
进一步阅读建议
第二章谓词逻辑
第一节谓词和量词
第二节语言：项和公式
第三节形成树、结构和列表
第四节语义：含义与真值
第五节 PROLOG程序解释
第六节证明：完全系统表

下载权限

查看

￥

免费下载

评论并刷新后下载

登录后下载

查看演示

{{attr.name}}：

您当前的等级为

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

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

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