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 |
Failid
Litsentsi pakett
1 - 1 1
Pisipilt ei ole saadaval
- Nimi:
- license.txt
- Suurus:
- 1.71 KB
- Formaat:
- Item-specific license agreed upon to submission
- Kirjeldus: