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