Adding Set Theory Exercises to the Algebraic Manipulation Assistant for Propositional Logic and Predicate Calculus
Name
Diana Algma
Abstract
This bachelor thesis added the possibility to create and solve set theoretical exercises to the Algebraic Manipulation Assistant for Propositional Logic and Predicate Calculus. For solving these exercises a corresponding set of rules were added and set theory was integrated into the existing automatic solver.
Graduation Thesis language
Estonian
Graduation Thesis type
Bachelor - Computer Science
Supervisor(s)
Rein Prank
Defence year
2016