Hulgateooria ülesannete lisamine matemaatilise loogika avaldiste teisendamise keskkonnale
| dc.contributor.advisor | Prank, Rein | |
| dc.contributor.author | Algma, Diana | |
| dc.date.accessioned | 2017-04-26T07:14:58Z | |
| dc.date.available | 2017-04-26T07:14:58Z | |
| dc.date.issued | 2016 | |
| dc.description.abstract | Bakalaureusetöö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.abstract | This 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.uri | http://hdl.handle.net/10062/56234 | |
| dc.language.iso | est | |
| dc.title | Hulgateooria ülesannete lisamine matemaatilise loogika avaldiste teisendamise keskkonnale | |
| dc.title.alternative | Adding Set Theory Exercises to the Algebraic Manipulation Assistant for Propositional Logic and Predicate Calculus | |
| dc.type | Thesis |