融入计算思维的离散数学实践教学模式

Practice teaching model of discrete mathematics with the Computational Thinking

离散数学课程是计算机专业知识体系中的重要组成部分。从实践教学角度出发,将计算思维和离散数学结合在一起,提出了融入计算思维的离散数学实践教学模式。通过命题逻辑部分的实例,将计算思维的符号表示、形式化证明、建立模型、模型计算和系统实现融合到实际教学过程中,有助于学生掌握计算思维的基本方法,增强对计算机相关课程的理解,提高运用离散数学知识解决实际问题的能力。实际结果证明,该方法具有一定的应用和推广价值。

Discrete mathematics is an important part of the computer knowledge system. From the practice teaching,put the Computational Thinking and discrete mathematics together. Put forward the practice teaching mode of discrete mathematics with computational thinking. Through example of propo-sitional logic,combine the symbol representation,formal proof, the establishment of the model, the calculation model,the system achievement of Computational Thinking with the actual process of teach-ing. Help students master the basic method of Computational Thinking,enhance the understanding of computer related courses, improve the ability to solve practical problems using discrete mathematics knowledge. The results show that the method has certain application and popularization value.