Loogikavalemite teisendusredaktor
Kuupäev
2022
Autorid
Ajakirja pealkiri
Ajakirja ISSN
Köite pealkiri
Kirjastaja
Tartu Ülikool
Abstrakt
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.
Kirjeldus
Märksõnad
Lausearvutus, predikaatarvutus, põhisamaväärsus, teisendamine, veebirakendus, Vue.js