Algebraic manipulation Assistant for Propositional Logic and Predicate Calculus: Improvements
Name
Sander Stroom
Abstract
Thesis description
In 2003 Vahur Vaiksoo created the program for algebraic manipulation of propositional logic and predicate calculus for his thesis. It is currently being used in the University of Tartu for teaching propositional and predicate calculus. In addition it is being used to test the acquired knowledge of the students.
To make it easier to learn the transformation of formulas, some additions have to be made for the program. One of the additions is an automatic solver that would also give hints to the user for making the next step towards solving the task. Since the program is also used in tests, this functionality must be switched off for individual tasks when needed.
The program is currently saving logs as a list of successfully transformed formulas. To make it easier to analyse the student's solutions, it is needed to save additional information about every transformation step. For instance, the subformulas that were selected and what kind of rule was used in the rule-based task.
All of the texts that are shown to the user are hardcoded in Estonian language. To make the program more widely usable, it is needed to add functionality to allow changing the program's language.
Expected results
•An automatic solver is added to the program. It will give hints to the user about the next transofrmation step when he/she asks for it.
•On every transformation step the selected subformula and used rule are saved into the log.
•The functionality to write language files are added to the program. The user can select a language file to change the program's language.
•The instructions file for creating the language files is written for possible translators of the program.
Graduation Thesis language
Estonian
Graduation Thesis type
Bachelor - Computer Science
Supervisor(s)
Rein Prank
Defence year
2013