Hulgateooria ülesannete lisamine matemaatilise loogika avaldiste teisendamise keskkonnale

dc.contributor.advisorPrank, Rein
dc.contributor.authorAlgma, Diana
dc.date.accessioned2017-04-26T07:14:58Z
dc.date.available2017-04-26T07:14:58Z
dc.date.issued2016
dc.description.abstractBakalaureusetööna lisati lausearvutuse ja predikaatloogika valemite teisendamise õpiprogrammi võimalus koostada ja lahendada hulgateooria valemite teisendamise ülesandeid. Nende ülesannete lahendamiseks lisati vastav reeglite komplekt ning juhiste saamiseks täiendati automaatlahendajat.
dc.description.abstractThis bachelor thesis added the possibility to create and solve set theoretical exercises to the Algebraic Manipulation Assistant for Propositional Logic and Predicate Calculus. For solving these exercises a corresponding set of rules were added and set theory was integrated into the existing automatic solver.
dc.identifier.urihttp://hdl.handle.net/10062/56234
dc.language.isoest
dc.titleHulgateooria ülesannete lisamine matemaatilise loogika avaldiste teisendamise keskkonnale
dc.title.alternativeAdding Set Theory Exercises to the Algebraic Manipulation Assistant for Propositional Logic and Predicate Calculus
dc.typeThesis

Failid

Originaal pakett

Nüüd näidatakse 1 - 2 2
Laen...
Pisipilt
Nimi:
thesis.pdf
Suurus:
938.48 KB
Formaat:
Adobe Portable Document Format
Pisipilt ei ole saadaval
Nimi:
extra.zip
Suurus:
862.04 KB
Formaat:
Compressed ZIP