Automated verification of expression transformation chains based on computational experiments

IOP Conference Series: Materials Science and Engineering (MSE). 2020. Vol. 734. P. 012132.

Кацман В., Новиков Ф., Мосин В. Д.

 

The solution of mathematical and logical problems is the imperative element of the

educational process in the technical sciences. To solidify the assimilated skills, learner need to

solve a large number of educational tasks, that leads to the need of checking of a large number

of solutions. In lots of cases the solution of an educational task is the chain of expression

transformations. Many systems allow to compare the learner’s answer with the correct one,

defined by the teacher. But in some cases, the teacher needs to set some additional information,

besides the answer expression. Such additional information cannot be set for each possible pair

of expressions in each possible solution chain of the task. We propose a method for verifying

task solutions, based on the computational experiments between each pair of steps in solution

chain. The proposed approach was tested and showed good results. Namely, in the experiments

the efficiency of the teacher's work when checking solutions increased more than 4 times.

Keywords: automated calculations, automated verification tool