"本书主要内容包括数理逻辑、集合代数、二元关系、函数、图论的基本定义、定理、方法、例题、实验和习题。以使用广泛的C语言作为实验语言。既注重基本概念、定理和方法的表达和证明，又注重通过编程实验手段探究性质及定理的验证，达到理论与实践的有机结合，为复杂工程问题提供从原理、应用到实践的解决方法。 本书共6章，分为3部分。第1部分是数理逻辑，包括第1章命题逻辑和第2章一阶逻辑。第2部分是集合论，包括第3章集合代数、第4章二元关系和第5章函数。第3部分是第6章图论。每章均包含丰富的习题及部分习题的参考答案，针对重要的知识点设计了线上参考资源，包括教学课件和交互式可视化教学软件，读者可下载。 本书既可作为计算机科学与技术、智能科学与技术等专业的教材，也可以作为其他信息相关专业离散数学教材。同时，本书可作为其他专业技术人员或学生的参考读物。 "

黄迎春，计算机科学与技术专业副教授，中国计算机学会会员，硕士生导师。入选辽宁省百千万人才工程“千人层次”，获沈阳市高校青年教师教学能手、校优秀主讲教师等荣誉称号，主讲多门数学、计算机及智能科学类本科生和研究生课程，主持教学改革项目多项，公开发表教学改革论文多篇，获教学成果奖多项，指导大学生创新创业项目多项，指导大学生获科技类竞赛奖多项，主持、参与国家、省部级课题10余项，获国家国防科技进步二等奖3项，在国内外重点学术期刊上公开发表论文多篇，授权发明专利、软件著作权多项。

前言 近年来，中国教育部发布了《关于开展新工科研究与实践的通知》《关于推荐新工科研究与实践项目的通知》，提出培养造就一大批多样化、创新型卓越工程科技人才，为我国产业发展和国际竞争提供智力和人才支撑，既是当务之急，也是长远之策。与此同时，教育部积极推行工程教育专业认证，是“五位一体”高等教育教学评估制度的重要组成部分。在这样的背景下，出版与时俱进的教材尤为关键。本教材的主要特色是： 首先，在“离散数学”“离散数学及其应用”的基础上，提出 “离散数学与数学实验”这样的教材主题，其核心思想是将离散数学理论与工程实践有机结合起来，在重要知识点处加入编程实验部分，使学生能够生动地理解所学理论的实际意义，避免只学习枯燥的数学理论带来的弊端，做到理论与实践之间“无缝衔接”，达到知行合一的学习效果； 其次，针对计算机应用人才的培养目标，考虑目前大多数高等学校教学课程学时短（通常为32~48学时）的教学特点，在教材编写时不追求知识点的多而全，而追求突出重点、清晰易懂。 离散数学是研究离散结构及其形式的学科，被广泛应用于实际问题的建模、分析与求解，对培养离散计算思维具有重要作用，是计算机科学与技术、智能科学与技术等相关专业的核心课程之一。本书主要包括基本知识、基本理论、基本方法、基本应用和基本实验方面的内容。为了帮助读者更好地掌握离散数学的有关概念和方法，同时便于教学，本书针对重要知识点设计了26个实验，实验程序均采用C语言编程实现； 每章提供丰富的习题及部分习题的参考答案； 针对重要的知识点设计了线上参考资源，包括教学课件和交互式可视化教学软件。 本...