Tételbizonyítás tanulása számítógépes támogatással

A tétel rövid nézete
dc.contributor.advisorVárterész, Magda
dc.contributor.authorPapp, Gergő
dc.contributor.departmentDE--Informatikai Karhu_HU
dc.date.accessioned2016-11-28T08:49:40Z
dc.date.available2016-11-28T08:49:40Z
dc.date.created2016-11-28
dc.description.abstractA 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.hu_HU
dc.description.courseProgramtervező Informatikushu_HU
dc.description.degreeMSc/MAhu_HU
dc.format.extent77hu_HU
dc.identifier.urihttp://hdl.handle.net/2437/232717
dc.language.isohuhu_HU
dc.subjectautomatikus tételbizonyítás tanulás Javahu_HU
dc.subject.dspaceDEENK Témalista::Informatika::Számítógéptudományhu_HU
dc.titleTételbizonyítás tanulása számítógépes támogatássalhu_HU
Fájlok
Gyűjtemények
Hallgatói dolgozatok (Informatikai Kar)