Budapest University of Technology and Economics, Faculty of Electrical Engineering and Informatics

    Belépés
    címtáras azonosítással
    vissza a tantárgylistához   nyomtatható verzió    

    Válogatott fejezetek a logikai programozásból szeminárium

    A tantárgy angol neve: Selected Topics from Logical Programming

    Adatlap utolsó módosítása: 2006. július 1.

    Tantárgy lejárati dátuma: 2009. november 24.

    Budapesti Műszaki és Gazdaságtudományi Egyetem
    Villamosmérnöki és Informatikai Kar

    Műszaki informatika szak

    Választható tárgy
    Tantárgykód Szemeszter Követelmények Kredit Tantárgyfélév
    VIMA9348 5-9 2/0/0/v 3 1/1
    3. A tantárgyfelelős személy és tanszék Dr. Recski András,
    4. A tantárgy előadója

    Név:

    Beosztás:

    Tanszék, Int.:

    Dr. Szeredi Péter

    egyetemi docens

    Számítástudományi és Információelméleti Tanszék
    5. A tantárgy az alábbi témakörök ismeretére épít

    A tárgy felvételéhez szükséges, hogy a hallgató a Prolog programozási nyelv alapszintű ismeretével rendelkezzék!

    6. Előtanulmányi rend
    Ajánlott:

    Tematikaütközés miatt a tárgyat csak azok vehetik fel, akik korábban nem hallgatták a következő tárgyakat:

    Neptun-kód Cím : nincs ilyen

    A Deklaratív Programozás (ill. korábbi nevén a Programozási Paradigmák) tárgy elvégzése után ajánlott.

    Ha a hallgató ill. doktorandusz ismeri a Prolog programozási nyelvet, akkor az előző bekezdésben hivatkozott tárgyaktól függetlenül is felveheti a jelen tárgyat.

    A Nagyhatékonyságú Logikai Programozás (bmevima9359) c. választható tárggyal együtt, az előtt ill. után is felvehető.

    7. A tantárgy célkitűzése

    Megismertetni a hallgatókat a témakör újabb eredményeivel, alkalmazásaival.

    8. A tantárgy részletes tematikája

    Az előadáson – a hallgatók kéréseit is figyelembe véve – a következő tágabb területekről választunk anyagot: A logikai programozás megvalósítása. A logikai programozás elmélete. Haladó programozási eszközök és technikák (korutin-szervezés, változó-attributumok, stb.). Új logikai nyelvek (Mercury, Oz, XSB stb.). A logikai programozás alkalmazásai.

    9. A tantárgy oktatásának módja (előadás, gyakorlat, laboratórium)

    Szeminárium jellegű előadás , azaz egyes tárgy-részeket a hallgatók dolgoznak fel és adnak elő.

    10. Követelmények

    a. A szorgalmi időszakban: legalább 8 szemináriumon való részvétel

    b. A vizsgaidőszakban: szóbeli vizsga; előadás tartása esetén megajánlott jegy.

    c. Elővizsga: az előadóval való megbeszélés alapján lehetséges.

    A szorgalmi időszakban nem teljesített követelmények a vizsgaidőszak első három hetében pótolhatók oly módon, hogy a hallgató beszámol a mulasztott szeminárium(ok) anyagából.

    13. Jegyzet, tankönyv, felhasználható irodalom

    Hassan Ait Kaci: Warren’s Abstract Machine: A Tutorial Reconstruction MIT Press, 1991, http://www.vanx.org/archive/wam/wam.html

    U. Nilsson and J. Maluszynski: Logic, programming and Prolog 2ed John Wiley & Sons, 1995, http://www.ida.liu.se/Üulfni/lpp/

    Richard A. O’Keefe, The craft of Prolog, MIT Press, 1990

    Mozart/Oz cikkek: http://www.mozart-oz.org/papers/

    Mercury cikkek: http://www.cs.mu.oz.au/research/mercury/information/papers.html

    XSB Prolog:http://xsb.sourceforge.net/

    SICStus Prolog Reference Manual (egyes fejezetek) http://www.sics.se/isl/sicstus/docs/

    15. A tantárgy tematikáját kidolgozta

    Név:

    Beosztás:

    Tanszék, Int.:

    Dr. Szeredi Péter

    egy. docens

    Számítástudományi és Információelméleti Tanszék

    vima9348.rtf