Web application for expressing predicates as formulas

Name
Siim Loog
Abstract
As a result of this thesis a web envoromnent for e-learning was created. In this environment there are tools for managing tests, questions and students performances. The main feature is that the application is capable of determining the validity of the syntax of a formula on the set of natural numbers with the signature <0,1;+,*;=>
Graduation Thesis language
Estonian
Graduation Thesis type
Bachelor - Information Technology
Supervisor(s)
Rein Prank
Defence year
2011
 
PDF