本书是在国家精品课程、重量精品资源共享课程和重量品质本科课程“离散数学”的基础上,结合很好工程师教育培养计划和新工科建设编写而成的。全书共10章,系统介绍了数理逻辑、集合与关系、图论,以及代数系统与布尔代数中的基本概念、算法、定理及其证明方法。本书不仅注重基本概念的描述,还特别注重阐述有关离散数学的证明方法及离散数学问题求解的算法,并且举出大量的应用实例,充分展示了离散数学在软件工程和计算机科学与技术中的基础作用和强大应用。