Application for Transforming Mathematical Logic Expressions
Name
Norman Pirk
Abstract
The aim of this bachelor thesis is to create a web application that allows its users to perform transformations on mathematical logic expressions similarly to doing the transformations manually. The application is needed for a new mathematical logic course and other courses where transforming the expressions of propositional and predicate logic is one of the main activities. An analysis of existing software for transforming logic expressions was conducted which brought out the main disadvantages of the tools. Then, a new web application was created in which the negative aspects of the existing tools were either removed or mitigated. To further enhance the usability of the new application, user testing was performed. Its results were considered when completing the development of the application.
Graduation Thesis language
Estonian
Graduation Thesis type
Bachelor - Computer Science
Supervisor(s)
Reimo Palm
Defence year
2022