Hulgateooria ülesannete lisamine matemaatilise loogika avaldiste teisendamise keskkonnale

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.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.