“离散数学”中的OBDD案例教学研究

"离散数学"是计算机专业的核心课程,是研究计算机科学的数学理论基础。有序二叉决策图(OBDD-Ordered Binary Decision Diagram)是描述布尔函数的一种新的有效的数据结构。文章提出在课本知识的讲授过程中,引入OBDD来解析离散数学在计算机专业其他学科中的具体应用,加深学生对所学知识点的理解,并激发学生的学习兴趣和创新能力,从而引导学生充分认识离散数学在计算机专业中的重要作用。这对于提高"离散数学"课程的教学水平和质量,以及学生对后续课程的学习和今后进一步的科学研究均具有现实意义。

Discussion on Case Teaching of Discrete Mathematics Based on OBDD

The discrete mathematics is a core curriculum of the computer specialty, and is the mathematic basis of computer science. OBDD is a new and effectively data structure for Boolean function representation. In the process of teaching the textual knowledge, OBDD is introduced to show the concrete procedure of discrete mathematics in other subjects of computer specialty, which can further deepen students understanding of knowledge points, and motivate students' interest effectively and foster their creative awar...