本书介绍了离散数学基础知识和核心理论进行系统，包括典型的包括数理逻辑、集合论、代数结构、图论和组合数学部分内容，还介绍了很多计算机科学文化以及计算机科学家分享的常识(不包括程序设计)，许多是计算机科学家都知道的基础问题的基本求解方法，如何查找特定目标列表，如何按自然数序列对列表排序以方便查找，如何生成所有对象、子集或以某种次序排列的序列，如何遍历图的所有顶点，特别是，如何比较算法的效率并验证算法的正确性。但介绍的数学知识与计算机科学相关。以利用计算机解决问题为主要目标，将理论与实践结合起来。