本书重点介绍离散结构的构造、性质及其相关推理证明方法，面向计算机的现代数学观点与方法。全书从表达、理论、工程应用几个层面设计主要内容，注重培养学生的抽象思维能力、逻辑推理能力，注重将数理逻辑、集合论、组合计数、抽象代数以及图论的发展历程中的相关思想、方法融入有关问题的探讨过程中，引导学生应用有关离散结构表达计算机科学相关理论与工程应用问题，理解抽象、理论与设计计算机科学的3个学科形态。