本书根据培养工程应用型人才的目标，以“淡化理论，加强应用”为指导思想，力图做到“宜教易学”。书中内容包括集合论（集合、二元关系与函数）、组合计数初步、图论、数理逻辑（命题逻辑、谓词逻辑）、代数系统简介5个主要部分。在涵盖离散数学各方面内容的同时，提供多层次的精选例题，并给出多种解题思路与方法，意在提高学生的解题能力及技巧。 本书面向工程应用型大学的计算机专业师生，对考研复习也不失为很好的辅助资料。

离散数学是理工科高等院校计算机和信息类专业必修的、重要的专业基础课程。离散数学课程主要介绍计算机科学的基础理论，它通常由集合论（包括二元关系与函数）、数理逻辑、图论和代数结构四部分组成。它不仅为后续课程（数据结构、算法分析、编译原理、操作系统、人工智能等）作必要的理论准备，而且离散数学中的综合、分析、归纳、演绎、递推等方法在计算机科学技术中有着广泛的用途，该课程还能有效地提高学生的逻辑思维、抽象思维和创新能力。 本书是供以培养应用型人才为主的教学型大学计算机和信息类专业本科生使用的教材。应用型人才既不同于研究型大学培养的计算机科学的研究人才，也不同于高等职业教育所培养的以实践能力为主的实用型人才。应用型人才应当具有一定的理论素质，也应当具有较强的计算机有关方面的研发能力。因此，为了适应应用型人才培养的要求，在本教材中对于重要的定理都给出了详尽的证明，并且用众多的例题有层次地剖析定理，提示定理的实质和内涵，使学生对定理有比较深刻的理解，从而提高学生的理论修养；另外，本教材中有大量的科学理论应用于实践的范例，以培养并增强学生如何实施“科学理论—技术—生产力”转化的观念和方法，提高学生适应社会的能力。 在本教材中，除了保留传统的离散数学的主要内容外，还增加了在计算机应用技术中有着广泛用途的“组合计数初步”。在介绍“组合计数初步”时，主要介绍了容斥原理与递推关系、生成函数等。 由于离散数学的内容与后续课程（如数据结构等）关系密切，因此本书也可以作为报考计算机或信息类专业研究生的参考资料。 本书由北京工业大学计算机学院讲课教授邓米克和邵学才共同编写。其中，第1~3章由邵学才编写；...