本教材主要介绍计算机理论与应用所需要的数理逻辑、集合论、群论以及图论等主要内容，重点介绍离散结构的构造、性质及其相关推理证明方法，面向计算机的现代数学观点与方法，注重培养学生的抽象思维能力、逻辑推理能力，以及应用离散数学于计算机理论与工程问题的分析、建模、推理和论证的能力。教材采用问题驱动模式，从表达、理论、工程应用几个层面设计主要内容，注重将数理逻辑、集合论、群论以及图论的发展历程中的相关思想、方法融入有关问题的探讨过程中，引导学生应用有关离散结构表达计算机科学相关理论与工程应用问题，结合计算机科学理论与工程应用，理解抽象、理论与设计等三个计算机科学的三个学科形态，并自然有效地融入思政元素。
鄂公网安备 42010302001612号 