Loogikavalemite teisendusredaktor

Abstract

Lõputöö eesmärk on loogikavalemite teisendamiseks luua veebirakendus, milles teisendus-sammude tegemine sarnaneb võimalikult palju käsitsi teisendamisega. Sellist tööriista on vaja uuel matemaatilise loogika kursusel ja muudel kursustel, kus olulisel kohal on lause- ja predikaatarvutuse valemite teisendamine. Töö alguses analüüsiti olemasolevaid rakendusi ja leiti nende põhilised puudujäägid. Tulemusena loodi uus veebirakendus, milles on kõr-valdatud või leevendatud nimetatud puudused. Selleks, et rakendus oleks võimalikult kasu-tajasõbralik, viidi läbi kasutajatestimine, mille tulemusi arvestati rakenduse lõplikul viimist-lemisel.