Sekventsiaalse predikaatarvutuse õpiprogramm

Abstract

Sekventsiaalse lause- ja predikaatarvutuse tuletusülesannete lahendamiseks kasutatakse Tartu Ülikooli ainetes programmi, mille on loonud 1993. aastal Rein Prank. Paraku on see programm juba üsna vana ning selle kasutamine on mõneti ebamugav. Antud bakalaureusetöö raames loome tuletusülesannete lahendamise õpiprogrammi kaasaegse variandi, mis võimaldab sekventsiaalse predikaatarvutuse ülesannete lahendamist praktikumides ja kodutöödes ning kontrolltööde läbiviimist.

In the University of Tartu, sequent calculus tasks are solved using a program written in 1993 by Rein Prank. Unfortunately the program is fairly old by now, and using it can be quite cumbersome. We create a new web-based application, that allows constructing sequent calculus proofs in tutorial lessons as well as homeworks and also facilitates conducting tests.