arvutiteaduse instituudi lõputööderegister


Hulgateooria ülesannete lisamine matemaatilise loogika avaldiste teisendamise keskkonnale
Nimi Diana Algma
Kokkuvõte 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.
Lõputöö keel eesti
Lõputöö tüüp Bakalaureus - Informaatika
Juhendaja(d) Rein Prank
Kaitsmise aasta 2016
PDF lisad