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

摘要

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