“离散数学”课程教学实践与探索

本文首先说明了“离散数学”在计算机科学体系课程中的地位，并描述了其教学现状，分析了出现此现象的原因，最后提出解决方案即实例启发式教学方法。然后重点阐述了此教学方法的特征，同时以“命题逻辑等值演算”和“欧拉图：欧拉通路与欧拉回路”的教学讲授环节为例，详细论述了此教学方法的教学过程。

This paper explained the status of Discrete Mathematic in computer sciences, described its concurrent instructional situation, analyzed the reasons which caused such a phenomenon, and proposed related solutions, that is, Heuristic Instruction. The focus of this paper was the characteristics of such an approach. At the same time, taking Propositional Logic Equivalent Calculation and Eulerian Graph： Euler trail and Euler tour/circuit as examples, the authors discussed the instructional process of this approach. Heuristic Instruction was directed by examples.