\input zb-basic
\input zb-matheduc
\iteman{ZMATH 2014c.00514}
\itemau{Prank, Rein}
\itemti{A tool for evaluating solution economy of algebraic transformations.}
\itemso{J. Symb. Comput. 61-62, 100-115 (2014).}
\itemab
Summary: In this paper we consider student solutions to tasks on the conversion of propositional formulas to disjunctive and conjunctive normal forms. In our department, students solve such exercises using a computerized environment that requires correction of every direct mistake but does not evaluate suitability of the steps. The paper describes implementation of an additional tool for analyzing these steps. This tool compares the students' steps with an ``official algorithm'' and possible simplification operations and checks for 20 deviations from the algorithm. The tool is applied to solutions from two student sessions and the paper analyzes the data on algorithmic mistakes.
\itemrv{~}
\itemcc{E35 D65 R25 N75}
\itemut{algebraic transformations; disjunctive normal form; exercise environment; solution steps; solution economy}
\itemli{doi:10.1016/j.jsc.2013.10.014}
\end