前言 离散数学是计算机专业的一门重要的基础课程,它是研究离散的数量关系与离散的数学结构模型的数学学科,也是现代数学的一个重要分支。 离散数学在许多学科领域有着广泛的应用,尤其是计算机领域。离散数学可以看成是构筑在数学和计算机科学之间的桥梁,因为离散数学既离不开集合论、图论等数学知识,又和计算机科学中的数据库理论、数据结构等相关,它可以引导人们进入计算机科学的思维领域,促进计算机科学的发展。 离散数学课程主要介绍离散数学的各个分支的基本概念、基本理论和基本方法。这些概念、理论以及方法大量地应用在数字电路、编译原理、数据结构、操作系统、数据库系统、算法的分析与设计、人工智能、计算机网络等专业课程中; 同时,该课程所提供的训练十分有益于学生概括抽象能力、逻辑思维能力、归纳构造能力的提高,十分有益于培养学生严谨、完整、规范的科学态度,为将来参与创新性的研究和研发工作打下坚实的理论基础。 本教材是在2008年第1版与2014年第2版的基础上,对主要内容进行了详细的阐述,并适当地增加了一些例题以加深理解,这样比较适合于学时少以及非计算机专业的学生使用,在这之前的教材以及习题集都可以继续使用。 本教材具有以下主要特色。 (1) 从集合理论出发,将离散数学的主要内容有机地集合在一起。前后呼应,各部分又可以独立使用。 (2) 强化基本概念和基本性质的论述,在内容阐述时力求深入浅出,注重基本理论的证明,并在每章结束后配备适当数量的习题供读者练习,目的在于启发和培养读者的抽象思维能力和逻辑推理能力,也使得本教材具备一定的理论深度。 (3) 配备了完整的教学课件,供教师上课时使用。 本书第1、2、3章由谢美萍编写,第4、5章由陈媛编写,第6、7章由南通理工学院基础教学学院徐希编写。在本书的编写过程中参阅了大量的离散数学教材与相关资料,在此向作者们表示衷心的感谢。 在编写过程中,会有一些不足与疏漏之处,恳请同行专家与广大读者批评指正。 编著者 2020年7月