本书根据作者多年从事离散数学教学和实践经验编写而成，系统地阐述了离散数学的经典内容，从离散结构的形式化表示，到各类离散结构及其数学模型的描述，讲解有关集合、数理逻辑、图论以及代数系统的基本概念、定理、证明方法以及相关算法，逐步建立离散化、公理化和系统化的计算机专业意识，并通过紧密联系计算机学科的的应用实例，展示离散数学理论在软件工程和计算机科学与技术中的基础作用和强大应用，特别强调计算思维和理论应用能力的培养。全书共11章，包括集合、关系、函数、命题逻辑、谓词逻辑、图和树，以及代数系统等内容。本书逻辑结构严谨，内容联系紧密，逻辑清晰，通俗易懂，与软件工程和计算机科学与技术的理论和实践密切结合，便于自学。本书可作为高等院校软件工程、计算机科学与技术及相关专业，特别是人工智能和大数据为核心的新工科专业的离散数学课程教材，也可供从事相关专业的学生和科技人员参考。