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

离散数学是计算机专业的核心基础课程,通常包括逻辑、证明、集合、关系、函数、组合计数、图论和代数等多个模块.一个能求解离散数学问题的计算机软件对离散数学课程的教学和学习都有很好的辅助作用.本文使用面向对象方法设计和开发了一个包含能求解逻辑、集合、组合计数、图论与代数等离散数学课程模块中问题的教学辅助软件.该软件不仅能展示...

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.