离散数学 (21世纪全国应用型本科计算机系列实用规划教材)

内容简介

本书是21世纪全国应用型本科计算机系列实用规划教材之一，系统介绍了离散数学的基本概念、理论和方法。全书共分为数理逻辑、集合论、代数系统和图论四大部分，涵盖了命题逻辑、谓词逻辑、集合、关系、函数、代数结构、格与布尔代数、图的基本概念、树、特殊图等核心内容。

本书在内容编排上注重理论与应用的结合，通过大量实例和习题帮助读者理解抽象概念，并配有丰富的算法和计算机科学中的应用案例，如逻辑电路设计、数据库关系模型、网络路由算法等。每章后附有小结和习题，便于读者巩固所学知识。

本书适合作为应用型本科院校计算机科学与技术、软件工程、信息管理与信息系统等相关专业的离散数学教材，也可作为计算机爱好者和工程技术人员的自学参考书。

专家编审委员会
分系列专家编审委员会名单
信息技术的应用化教育
本系列教材编写目的和教学服务
第1章命题逻辑
  1.1 命题及其表示
  1.2 逻辑联词
  1.3 命题公式与真值函数
  1.4 真值表与等值公式
  1.5 重言式与蕴涵式
  1.6 其他逻辑联词及逻辑联词完备集
  1.7 对偶和对偶定律
  1.8 范式
  1.9 命题演算推理理论
  1.10 命题演算的形式系统
  1.11 应用举例
  习题一
第2章一阶谓词逻辑
  2.1 谓词与个体
  2.2 命题函数与量词

下载权限

查看

￥

免费下载

评论并刷新后下载

登录后下载

查看演示

{{attr.name}}：

您当前的等级为

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

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

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