Logikai Programozás

A tétel rövid nézete
dc.contributor.advisorVárterész, Magda
dc.contributor.authorGurmai, István
dc.contributor.departmentDE--Informatikai Karhu_HU
dc.date.accessioned2019-05-02T08:20:53Z
dc.date.available2019-05-02T08:20:53Z
dc.date.created2019-05-02
dc.description.abstractA logikai programozás (prolog) alapjai, elméleti hátterének ismertetése. Dolgozat célja, hogy tudást nyújtson a programozáshoz tartozó elengedhetetlen matematikai logikai ismeretekből, ismertesse a logikai programozás (prolog) alapjait, főleg elméleti hátterét, illetve néhány alapvető prolog listakezelő algoritmust. A dolgozat említést tesz mind a prolog nyelv szintaktikájáról mind annak működéséről. A logikai programozás története egészen régre nyúlik vissza. Az alapötlet Robert Kowalski brit egyetemi oktatótól származik. 1975-ben egy franciai számítógépes nyelvész, Alain Colmerauer ki is fejlesztette a Prolog (programmation en logique-logikai programozás) programozási nyelvet. Ez volt az első logikai programozási nyelv. Alapgondolata, hogy a programunkat formulák segítségével írjuk le, relációk segítségével és nem a matematikai függvényekre támaszkodva, ahogy azt más funkcionális nyelvek teszik.hu_HU
dc.description.correctorN.I.
dc.description.courseProgramtervező informatikushu_HU
dc.description.degreeBSc/BAhu_HU
dc.format.extent49hu_HU
dc.identifier.urihttp://hdl.handle.net/2437/266632
dc.language.isohuhu_HU
dc.subjectlogikahu_HU
dc.subjectprogramozáshu_HU
dc.subjectprologhu_HU
dc.subjectítéletlogikahu_HU
dc.subjectelsőrendű logikahu_HU
dc.subject.dspaceDEENK Témalista::Informatikahu_HU
dc.titleLogikai Programozáshu_HU
Fájlok
Gyűjtemények
Hallgatói dolgozatok (Informatikai Kar)