一个离散数学辅助教学软件的设计与开发

离散数学是计算机专业的核心基础课程,通常包括逻辑、证明、集合、关系、函数、组合计数、图论和代数等多个模块.一个能求解离散数学问题的计算机软件对离散数学课程的教学和学习都有很好的辅助作用.本文使用面向对象方法设计和开发了一个包含能求解逻辑、集合、组合计数、图论与代数等离散数学课程模块中问题的教学辅助软件.该软件不仅能展示离散数学问题求解的详细过程,还能随机生成问题供学生练习.对学生试用后的调查表明,该软件对学生学习离散数学课程很有帮助,也有助于培养学生的计算思维.