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

Design and Development of an Aided Instruction Software for Discrete Mathematics

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

Discrete mathematics is a core basic course of computer majors,which usually includes multiple modules such as logic,proof,set,relation,function,combinatorial counting,graph theory and algebra.A computer software that can solve discrete mathematics problems motivates teaching and learning of discrete mathematics.By using object-oriented method,this paper proposes to design and develop an aided instruction software to solve problems in discrete mathematics course modules,such as logic,sets,combinatorial counting,graph theory and algebra.The proposed software can not only show the detailed process of solving problems,but also randomly generate instances of such problems for students to practice.Post-trial survey of students shows that the proposed software is helpful for students to learn discrete mathematics,and good for cultivating students'computational thinking as well.