Loogikavalemite teisendusredaktor

dc.contributor.advisorPalm, Reimo, juhendaja
dc.contributor.authorPirk, Norman
dc.contributor.otherTartu Ülikool. Loodus- ja täppisteaduste valdkondet
dc.contributor.otherTartu Ülikool. Arvutiteaduse instituutet
dc.date.accessioned2023-08-15T09:21:29Z
dc.date.available2023-08-15T09:21:29Z
dc.date.issued2022
dc.description.abstractLõ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.urihttps://hdl.handle.net/10062/91601
dc.language.isoestet
dc.publisherTartu Ülikoolet
dc.rightsopenAccesset
dc.rightsAttribution-NonCommercial-NoDerivatives 4.0 International*
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/*
dc.subjectLausearvutuset
dc.subjectpredikaatarvutuset
dc.subjectpõhisamaväärsuset
dc.subjectteisendamineet
dc.subjectveebirakenduset
dc.subjectVue.jset
dc.subject.otherbakalaureusetöödet
dc.subject.otherinformaatikaet
dc.subject.otherinfotehnoloogiaet
dc.subject.otherinformaticset
dc.subject.otherinfotechnologyet
dc.titleLoogikavalemite teisendusredaktoret
dc.typeThesiset

Failid

Originaal pakett

Nüüd näidatakse 1 - 2 2
Laen...
Pisipilt
Nimi:
pirk_informaatika_2022.pdf
Suurus:
1.41 MB
Formaat:
Adobe Portable Document Format
Kirjeldus:
Pisipilt ei ole saadaval
Nimi:
lisad.zip
Suurus:
7.08 MB
Formaat:
Compressed ZIP
Kirjeldus:
Lisad

Litsentsi pakett

Nüüd näidatakse 1 - 1 1
Pisipilt ei ole saadaval
Nimi:
license.txt
Suurus:
1.71 KB
Formaat:
Item-specific license agreed upon to submission
Kirjeldus: