《离散数学》(Discrete Mathematics)是研究离散量的结构及其相互关系的数学学科,是继《高等数学》和《线性代数》之后的通识教育必修课程。它在计算机科学与技术领域有着广泛的应用,同时也是计算机专业的许多专业课程必不可少的先修课程,是软件工程专业的平台课程,为其提供必要的描述工具和理论基础,同时也是研究计算机科学的有力工具和方法。
本课程的主要内容有数理逻辑、集合论、代数系统简介等,它不仅能为学生学习计算机专业后续课程奠定理论基础,提供处理离散结构的描述工具和方法,而且能培养学生抽象思维能力、严格的逻辑推理和创新能力,增强实际应用能力,为将来从事的软、硬件应用开发和理论研究打下坚实的基础。