本书没有将离散数学内容按照模块分割进行编写，突出知识的内在联系，循序渐进，相互依存。系统介绍了命题逻辑、谓词逻辑、集合与关系、函数、图论基础、特殊图、代数系统基础、几个典型的代数系统中的有关概念、定理及其证明方法。既强化基本概念的描述，又阐述了离散数学的证明方法及各部分知识的应用实例，展示了离散数学在计算机科学与技术及相关领域的应用。

吴明芬教授，1964.7，研究方向是粗糙集理论、模糊系统、智能信息处理，大数据分析与挖掘，独撰或第一发表论文30多篇、软件著作权11项、申请发明专利5项、专著一部、教材三部。

前 言 离散数学一直被IEEE & ACM认定为计算机专业核心课程, 也是我国计算机科学与技术专业的核心基础课程。本教材以教育部高等学校计算机类专业教学指导委员会最新编制的《高等学校计算机科学与技术专业规范》和《高等学校计算机科学与技术专业核心课程教学实施方案》为指导，对教学内容进行定位和设计，并针对应用型本科院校和工程类本科院校计算机科学与技术及相关专业的本科生进行选材，结合计算机科学和现代数学发展的新成果，以及编写组多年离散数学课程教学及精品课程建设的经验，吸取教学团队及师生们对该课程的建议编写而成。 离散数学的研究对象是各种离散量的结构及其性质和相互间的关系，并且一般是有限个或可数个元素，因此它充分描述了计算机科学离散性的特点。离散数学包含的主要内容有集合论、数理逻辑、图论、代数系统，并且其内容一直随着计算机科学与技术的发展在不断扩充和完善。作为计算机相关专业的核心课程，它为后续的数据结构、操作系统、数据库技术、编译理论、算法分析、可计算性与计算复杂性理论、机器定理证明、逻辑程序、计算机网络、容错诊断、人工智能等专业课程提供必要的数学基础。 五邑大学计算机科学与技术、软件工程、网络工程、信息安全、通信工程（计算机通信网络）、数学与应用数学、信息与计算科学、大数据科学与技术八个专业的培养计划中都将离散数学设置为核心基础课程，但学时不断调整或压缩，从最初的72学时，到64学时或48学时。本书在借鉴各种离散数学教材的基础上，结合作者多年的教学实践，没有将离散数学内容按照模块分割，而是突出知识的内在联系，循序渐进。内容以“工科学生易懂及够用”为原...