Palm, Reimo, juhendajaPirk, NormanTartu Ülikool. Loodus- ja täppisteaduste valdkondTartu Ülikool. Arvutiteaduse instituut2023-08-152023-08-152022https://hdl.handle.net/10062/91601Lõ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.estopenAccessAttribution-NonCommercial-NoDerivatives 4.0 InternationalLausearvutuspredikaatarvutuspõhisamaväärsusteisendamineveebirakendusVue.jsbakalaureusetöödinformaatikainfotehnoloogiainformaticsinfotechnologyThesis