Predikaatarvutuse väljendusülesannete lahendamise veebikeskkond

Date

2011

Journal Title

Journal ISSN

Volume Title

Publisher

Tartu Ülikool

Abstract

Bakalureusetöö tulemiks on veebirakendus, mis on võimeline hindama sisestatud valemi süntaksi korrektsust kui valem on naturaalarvude hulgal ja signatuuriga <0,1;+,*;=> Lisaks on loodud rakendust võimalik rakendada e-õppes tänu tööde ja ülesannete loomise ning soorituste hindamise moodulitele.
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;+,*;=>

Description

Keywords

Citation