"本书面向“新工科”建设背景下普通高等学校的计算机类专业和软件工程专业的本科生，作为我们编著的《离散数学基础》（ISBN：978-7-302-57667-9清华大学出版社2021年5月出版）的辅助教材，以培养学生离散建模基础能力为目标，运用面向对象建模方法对离散数学知识进行建模，并探讨如何通过编写计算机程序实现模型和求解离散数学问题。

　　本书建模和求解的离散数学问题：①命题逻辑公式语法分析、真值表构造、范式的计算、等值演算与推理论证的验证；②集合和关系的计算、关系性质的判断、关系闭包的计算和函数性质的判断；③字符串计数对象的枚举、满足整除性质的整数枚举、不定方程非负整数解的枚举和排列组合的生成；④图和树的遍历、带权图的最短路径和最小生成树计算，以及哈夫曼树的构造；⑤代数运算性质的判断，两种特殊群的子群及其陪集、商群的计算，以及格的判断与计算。对这些问题，在用例分析和领域实体建模的基础上，设计类的主要属性和方法，使用类图描述类之间的关系，并使用伪码描述其中的关键算法。在实现阶段给出了类的主要方法的描述，以及关键方法的源代码实现，并给出问题求解的输入输出界面。

　　本书对上述问题的建模与求解，可作为面向对象建模的典型案例，为“程序设计”“软件工程”等课程提供程序设计与软件开发的实用范例。本书可作为“离散数学”“程序设计”“软件工程”等课程的软件设计与开发实验参考书。

"