Software for Evaluating Relevance of Steps in Algebraic Transformations

TL;DR

This paper presents a software tool that evaluates the relevance of each step in algebraic transformations, enhancing the process of solving logical algebra exercises in a computerized educational environment.

Contribution

It introduces a new component for checking the relevance of transformation steps, improving the educational feedback loop in algebraic logic exercises.

Findings

The software successfully identifies relevant and irrelevant steps in algebraic transformations.

The relevance checking component improves student understanding of logical algebra.

The system integrates syntax checking, expression equivalence, and relevance assessment.

Abstract

Students of our department solve algebraic exercises in mathematical logic in a computerized environment. They construct transformations step by step and the program checks the syntax, equivalence of expressions and completion of the task. With our current project, we add a program component for checking relevance of the steps.