本书主要介绍离散数学的基本理论及算法实现，分为两大部分，第一部分介绍计算机科学中广泛应用的离散结构基本概念和基本原理，包括以下内容：数理逻辑、集合论、二元关系、函数、代数系统和图论。第二部分给出了与各章内容密切相关的算法和程序，使理论在计算机上得到具体实现。附录部分给出了近年来考研试题的分析。本书条理清晰，阐述深入浅出，适合作为高等学校计算机及相关专业离散数学课程的本科生教材，也可供计算机科学工作者和科技人员阅读与参考。