id: 06264249
dt: j
an: 2014c.00514
au: Prank, Rein
ti: A tool for evaluating solution economy of algebraic transformations.
so: J. Symb. Comput. 61-62, 100-115 (2014).
py: 2014
pu: Elsevier (Academic Press), London
la: EN
cc: E35 D65 R25 N75
ut: algebraic transformations; disjunctive normal form; exercise environment;
solution steps; solution economy
ci:
li: doi:10.1016/j.jsc.2013.10.014
ab: 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.
rv: