本书以集合论为基础、数理逻辑为工具，吸取国外优秀教材的特点，既保持经典的离散数学内容，又融入CDIO的理念，比较系统地叙述离散数学的基本核心内容。全书主要包括数理逻辑（命题逻辑、谓词逻辑、数学归纳法）、集合论（关系、函数、算法）、代数系统（群论、格与布尔代数）、图论等内容。本书读者对象为大学计算机科学与技术、软件及其他相关专业的本科生和从事相关专业的研究人员。