Set Theory Proof Exercise Types for Discrete Mathematics Web Application
Name
Timmu Ründal
Abstract
There are many propositional calculus programs used in the course of Elements of Discrete Mathematics in University of Tartu. The aim of these applications is to help students acquire practical skills and get instant feedback for their solutions. There were not any programs for set theory exercises, so the goal of the thesis is to add new exercise types to the existing discrete mathematics web application.
The two added set theory exercise types were for proving equality of set theory expressions and subset relationship. For this, programmatic representation of set theory and propositional calculus operations were created. Also, many transformation rules were implemented to re-express formulae using different operations.
The thesis explains the advantages of using programs in Elements of Discrete Mathematics class, gives short overview of set theory exercises and describes the implementation of added types and shows how they work in action.
To implement new types, all of technologies of the existing systems were used. These include PHP and MySQL on the server-side and JavaScript, HTML and CSS on the client-side. PHP framework named DomFramework and jQuery, the JavaScript library, were used.
Graduation Thesis language
Estonian
Graduation Thesis type
Bachelor - Information Technology
Supervisor(s)
R. Prank, M. Niitsoo
Defence year
2012