Listák kezelése logikai programokban

A tétel rövid nézete
dc.contributor.advisorVárterész, Magda
dc.contributor.authorKántor, Kristóf Szilveszter
dc.contributor.departmentDE--TEK--Informatikai Karhu_HU
dc.date.accessioned2012-05-15T07:00:45Z
dc.date.available2012-05-15T07:00:45Z
dc.date.created2012
dc.date.issued2012-05-15T07:00:45Z
dc.description.abstractA dolgozat a legfontosabb matematikai logikai definíciók után tárgyalja az SLD-rezolúciót, ahol kifejtésre és illusztrálásra kerülnek a bizonyítási fák is. Ezt követően bemutatja a Prologot, illetve annak kialakulásának körülményeiről és fejlődéséről ad általános képet, majd bemutatja a Prolog szintaxisát, szemantikáját és működését. A dolgozat további részei a listákról szólnak, ahol néhány listaművelet reprezentációja található meg D-listás formában. Legvégül implementálásra kerül néhány alkalmazás ezen eljárások felhasználásával.hu_HU
dc.description.courseProgramtervező Informatikushu_HU
dc.description.degreeBschu_HU
dc.format.extent43hu_HU
dc.identifier.urihttp://hdl.handle.net/2437/128966
dc.language.isohuhu_HU
dc.rights.accessno_restrictionhu_HU
dc.subjectlistahu_HU
dc.subjectlogikai programozáshu_HU
dc.subjectlogikahu_HU
dc.subjectkalkulushu_HU
dc.subjectautomatikus tételbizonyításhu_HU
dc.subjectrezolúcióhu_HU
dc.subject.dspaceDEENK Témalista::Informatika::Számítógéptudományhu_HU
dc.titleListák kezelése logikai programokbanhu_HU
Fájlok
Gyűjtemények
Hallgatói dolgozatok (Informatikai Kar)