Várterész, MagdaPapp, Gergő2016-11-282016-11-282016-11-28http://hdl.handle.net/2437/232717A 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.77huautomatikus tételbizonyítás tanulás JavaDEENK Témalista::Informatika::Számítógéptudomány