Loogikavalemite teisendusredaktor

Pirk, Norman

Loogikavalemite teisendusredaktor

dc.contributor.advisor	Palm, Reimo, juhendaja
dc.contributor.author	Pirk, Norman
dc.contributor.other	Tartu Ülikool. Loodus- ja täppisteaduste valdkond	et
dc.contributor.other	Tartu Ülikool. Arvutiteaduse instituut	et
dc.date.accessioned	2023-08-15T09:21:29Z
dc.date.available	2023-08-15T09:21:29Z
dc.date.issued	2022
dc.description.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.	et
dc.identifier.uri	https://hdl.handle.net/10062/91601
dc.language.iso	est	et
dc.publisher	Tartu Ülikool	et
dc.rights	openAccess	et
dc.rights	Attribution-NonCommercial-NoDerivatives 4.0 International	*
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/4.0/	*
dc.subject	Lausearvutus	et
dc.subject	predikaatarvutus	et
dc.subject	põhisamaväärsus	et
dc.subject	teisendamine	et
dc.subject	veebirakendus	et
dc.subject	Vue.js	et
dc.subject.other	bakalaureusetööd	et
dc.subject.other	informaatika	et
dc.subject.other	infotehnoloogia	et
dc.subject.other	informatics	et
dc.subject.other	infotechnology	et
dc.title	Loogikavalemite teisendusredaktor	et
dc.type	Thesis	et