本书分为数理逻辑、集合论、代数结构和图论4个部分。全书内容严谨，条理清晰，对概念的阐述精确，对实例的使用合理，适合作为高等学校软件工程专业和计算机专业离散数学课程的本科生教材，也可作为软件工程与计算机等相关专业的自学参考书。

1. 本书分为数理逻辑，集合论，代数结构和图论等四个部分。 2. 全书内容严谨，条理清晰，对概念的阐述精确，对实例的使用合理，适合作为高等学校软件工程专业和计算机专业离散数学课程的本科生教材，也可作为软件工程与计算机等相关专业的自学参考书。

前言 随着国内软件行业的迅猛发展，社会对软件人才的需求量越来越大。为此，教育部于2001年12月发布《关于批准有关高等学校试办示范性软件学院的通知》，以35所重点高校为依托，开办示范性软件学院，采取开放式的培养模式，摸索培养高素质的软件工程人才的方式。 软件工程专业所使用的教材大多来自于计算机科学与技术。“离散数学”是计算机科学与技术和软件工程专业的培养体系中的核心基础课程。大多数离散数学的教材都是针对计算机科学与技术专业，多着重于数学理论的建立与推导，涉及的实际工程应用较少。这使得学生在学习的过程中，很难对重要的知识点消化吸收，降低了学习效率。国外的一些经典教材逻辑性强但实例较少，并不太适合自学，而有些教材虽然实例较多，但逻辑性中国学生难以接受。基于这种现状，在我们软件工程专业教授离散数学多年经验的基础上，经过广泛的调研以及与相关任课老师的交流与讨论，认为有必要编写一本实例较多，逻辑合理，浅显易懂，便于软件工程专业学生学习的离散数学教材。 离散数学在软件工程专业的授课内容一般分为4大部分： 数理逻辑、集合论、代数系统、图论，这4个部分紧密连接。数理逻辑描述了一个符号化体系，这个体系可以描述集合论中的所有概念。集合论中又有三个小模块： 集合、关系、函数。关系是集合中迪卡儿乘积的子集，函数是关系的子集，代数系统是定义函数的运算，图论是一类特殊的代数系统。本教材针对软件工程专业，强调系统逻辑性，前后内容的衔接，在内容安排上会点出这种联系并将章节高度地模块化，另外，整本书使用统一的符号化体系描述和解题。因此本教材具有以下一些特点： 首先，本...