"本书主要内容包括数理逻辑、集合代数、二元关系、函数、图论的基本定义、定理、方法、例题、实验和习题。以使用广泛的C语言作为实验语言。既注重基本概念、定理和方法的表达和证明，又注重通过编程实验手段探究性质及定理的验证，达到理论与实践的有机结合，为复杂工程问题提供从原理、应用到实践的解决方法。

本书共6章，分为3部分。第1部分是数理逻辑，包括第1章命题逻辑和第2章一阶逻辑。第2部分是集合论，包括第3章集合代数、第4章二元关系和第5章函数。第3部分是第6章图论。每章均包含丰富的习题及部分习题的参考答案，针对重要的知识点设计了线上参考资源，包括教学课件和交互式可视化教学软件，读者可下载。

本书既可作为计算机科学与技术、智能科学与技术等专业的教材，也可以作为其他信息相关专业离散数学教材。同时，本书可作为其他专业技术人员或学生的参考读物。

"