本课程要求学生理解和掌握离散数学中的基本概念、定理及其方法。着重培养学生的抽象思维和逻辑推理能力,以及归纳构造能力,提高运用基本理论分析和解决计算问题的能力。可进一步分解为以下子目标。
(1)掌握数理逻辑、集合论、关系、代数系统、图论的基本概念和原理,能对计算机领域实际问题进行描述、分析并建立数学模型;
(2)能够运用逻辑、归纳、递归等方法,判断和识别计算系统或过程中的关键环节;
(3)掌握以关系、群、环、图等重要离散模型,正确表达计算机复杂工程问题,能通过文献调研对比分析离散模型在求解具体复杂工程问题中的应用。 河南大学计算机与信息工程《离散数学》课程目前是河南大学线上线下一流课程,校内学时数为54,开课时间在每年秋季学期。该课程主要面向河南大学计算机类相关专业的1500名左右本科生。历年学生评教中,课程组教师的教学评分都在90分以上。学生普遍反映通过该课程的学习能够显著提升自己的逻辑推理和抽象思维能力。
2010年,本课程获批河南省精品课程。2020年获批河南大学线上线下一流课程。课程组老师在教改项目、教改论文、教学成果奖方面也取得了一定的成绩。