Tételbizonyítás tanulása számítógépes támogatással
Betöltés ...
Dátum
Authors
Folyóirat címe
Folyóirat ISSN
Kötet címe (évfolyam száma)
Kiadó
DOI
Absztrakt
A dolgozat témája a hallgatók tanulásának támogatása egy számítógépes programmal. A dolgozat ismerteti a logikai kalkulusok használatához szükséges logikai alapfogalmakat, a predikátumkalkulust és a természetes levezetést. Ezen kívül tartalmazza a megírt program felhasználói dokumentációját és az alkalmazott algoritmusok Java nyelvű implementációját.