Az alábbi információk tájékoztató jellegűek. A hatályos követelmények az egyetemi tanrendi keresőben találhatók.
e-mail: alexin@inf.u-szeged.hu
web: http://www.inf.u-szeged.hu/~alexin
előadás anyaga: /pub/LogikaiProgramozas
Nappali tagozaton:
Előadás: heti 2 óra / 5 kredit. Teljesítés módja: Kollokvium.
Gyakorlat: heti 1 óra / 0 kredit. Teljesítés módja: Aláírás.
Levelező tagozaton
Előadás: összesen 14 óra / 5 kredit. Teljesítés módja: Kollokvium.
Gyakorlat: összesen 10 óra / 0 kredit. Teljesítés módja: Aláírás.
A kurzus felvételének előfeltételei: Logika és informatikai alkalmazásai
Bevezetés: alapfogalmak, elsőrendű logikai formulák felépítése,
A Prolog interpreter használata (.sicstusrc fájl, forrásfájl beolvasása, input/output predikátumok. Programfájlok betöltése és mentése.
A prolog interpreter működési elve, az egyesítési (unifikációs) algoritmus, az interpreter használata, a programfejlesztés folyamata.
Prolog adat/program struktúrák: listák, n-esek, fák (termek).
Prolog programobjektumok (program clause, goal-clause, Horn-clause, tények, változók).
Az interpreter dinamikus területének használata, az önmagát módosító program megvalósítási lehetősége.
A ciklusszervezés megvalósítási módjai Prologban, a vágás (cut) szimbólum. Rekurzív programok írása. A moduláris programozás megvalósítása Prologban. A setof és a bagof meta-predikátumok használata.
A Peano-aritmetika egy megvalósítása Prologban. Gráf-algoritmusok Prologban.
Listakezelés Prologban - a "lists" könyvtári modul; fakezelés - az "assoc" könyvtári modul, fájlkezelés Prologban.
A DCG kiterjesztés használata (elemző programok írása, pl. a C/C++ számkonstansainak DCG nyelvtana, aritmetikai kifejezés DCG nyelvtana).
Prolog meta-interpreter és alkalmazási területei. A grafikus felhasználói felület programozása.
Ulf Nilsson, Jan Maluszynski: Logic Programing and Prolog (second edition), ingyenesen letölthető: http://www.ida.liu.se/~ulfni/lpp (2000)
Lavrač, N. and Dzeroski, S.: Inductive Logic Programming Techniques and Applications, Ellis Horwood Ltd. ISBN: 0134578708, (1994)
Clocksin, W. F., Mellish, C. S.: Programming in Prolog Berlin, Heidelbeg Springer Verlag (1994)
Sterling, L., Shapiro, E.: The art of prolog: Advanced programming techniques London, MIT Press (1997)
Flach, P.: Simply Logical, John Wiley and sons, (1994)
A kurzusok teljesítéseinek értékelése pontozás alapján történik. A maximálisan összegyűjthető pontszám 200.
A gyakorlat teljesítésének (az aláírás megszerzésének) feltételei:
A gyakorlat látogatása kötelező. Igazolatlan hiányzás esetén a gyakorlat nem teljesített. Igazolt hiányzás esetén az igazolását a hallgató köteles a hiányzást követő első gyakorlaton bemutatni az oktatónak. A maximális számú igazolt hiányzásra a TVSZ. 8.§ (9) rendelkezése érvényes. A gyakorlati aláírás feltétele: egy évközi (a nyolcadik-kilencedik héten megírandó) sikeres zárthelyi dolgozat és a kötelező programozási feladat elvégzése. A dolgozat maximális pontszáma 40. A dolgozat sikeres, ha az elért pontszám legalább 16 (40%). A kötelező programozási feladatot a gyakorlatvezetőnek kell bemutatni legkésőbb az utolsó gyakorlaton vagy a gyakorlatvezetővel megbeszélt időpontban. A program elkészítéséért és bemutatásáért pont nem jár, azonban ez feltétele a gyakorlati aláírásnak. Csak egy sikertelen zárthelyi dolgozat javítható. Sikeres dolgozat nem javítható. A javító dolgozat témaköre a sikertelen dolgozatéval azonos. A legalább 40%-ra megírt javító dolgozat minősül sikeresnek és az érte kapható maximális pontszám 16. Az igazolt hiányzás miatt elmaradt dolgozatírás pótlása a javító dolgozatírással együtt történik. Az ilyen dolgozatok témaköre és értékelése megegyezik a pótolandó dolgozatéval.
A vizsga (kollokvium) teljesítésének feltételei:
Csak az a hallgató vizsgázhat a meghirdetett vizsganapokon, aki a gyakorlatból az aláírást megszerezte, és a leckekönyvét bemutatja a vizsgán.
A féléves anyaghoz készített jegyzet tematikája alapján számítógép által kisorsolt 20 kérdés képezi az írásbeli vizsga anyagát. A vizsgán szerezhető maximális pontszám kérdésenként 5 pont, összesen 100 pont. A vizsga akkor tekinthető sikeresnek, ha a hallgató legalább a pontszám felét, 50 pontot megszerzett. A vizsgára az ETR-ben lehet jelentkezni. Az írásbeli vizsga két alkalommal ismételhető. Év végi kollokvium jegy gyakorlati aláírás és sikeres írásbeli vizsga után kapható.
A kollokvium érdemjegyének meghatározása a gyakorlaton és a vizsgán a fenti feltételeket kielégítő szerzett pontok összege alapján történik a következő ponthatárok szerint: 0 - 99 pont : elégtelen (1)
100 - 129 pont : elégséges (2)
130 - 149 pont : közepes (3)
150 - 169 pont : jó (4)
170 - 200 pont : jeles (5)
A vizsgáról való igazolatlan távolmaradás a TVSZ. 17.§ (6) szabályozásának megfelelően elégtelen jegyű vizsgának minősül. Vizsgáról való hiányzás igazolását köteles a hallgató a hiányzást követő legelső vizsgáját megelőzően bemutatni.
Sikeres kollokviumot javító vizsga teljesítésének feltételei:
Sikeres vizsga megismétlésére a TVSZ. 19.§ szabályozása érvényes.
A kurzusok teljesítéseinek értékelése pontozás alapján, a nappali tagozattal megegyezően történik. A maximálisan összegyűjthető pontszám 200.
A gyakorlat teljesítésének (az aláírás megszerzésének) feltételei:
A gyakorlat látogatása kötelező. Igazolatlan hiányzás esetén a gyakorlat nem teljesített. Igazolt hiányzás esetén az igazolását a hallgató köteles a hiányzást követő első gyakorlaton bemutatni az oktatónak. A maximális számú igazolt hiányzásra a TVSZ. 8.§ (9) rendelkezése érvényes. A gyakorlati aláírás feltétele: egy évközi (a nyolcadik-kilencedik héten megírandó) sikeres zárthelyi dolgozat és a kötelező programozási feladat elvégzése. A dolgozat maximális pontszáma 40. A dolgozat sikeres, ha az elért pontszám legalább 16 (40%). A kötelező programozási feladatot a gyakorlatvezetőnek kell bemutatni legkésőbb az utolsó gyakorlaton vagy a gyakorlatvezetővel megbeszélt időpontban. A program elkészítéséért és bemutatásáért pont nem jár, azonban ez feltétele a gyakorlati aláírásnak. Csak egy sikertelen zárthelyi dolgozat javítható. Sikeres dolgozat nem javítható. A javító dolgozat témaköre a sikertelen dolgozatéval azonos. A legalább 40%-ra megírt javító dolgozat minősül sikeresnek és az érte kapható maximális pontszám 16. Az igazolt hiányzás miatt elmaradt dolgozatírás pótlása a javító dolgozatírással együtt történik. Az ilyen dolgozatok témaköre és értékelése megegyezik a pótolandó dolgozatéval.
A vizsga (kollokvium) teljesítésének feltételei:
Csak az a hallgató vizsgázhat a meghirdetett vizsganapokon, aki a gyakorlatból az aláírást megszerezte, és a leckekönyvét bemutatja a vizsgán. A féléves anyaghoz készített jegyzet tematikája alapján számítógép által kisorsolt 20 kérdés képezi az írásbeli vizsga anyagát. A vizsgán szerezhető maximális pontszám kérdésenként 5 pont, összesen 100 pont. A vizsga akkor tekinthető sikeresnek, ha a hallgató legalább a pontszám felét, 50 pontot megszerzett. A vizsgára az ETR-ben lehet jelentkezni. Az írásbeli vizsga két alkalommal ismételhető. Év végi kollokvium jegy csak gyakorlati aláírás és sikeres írásbeli vizsga után kapható, ha bármelyik vizsga sikertelen a kollokvium jegy elégtelen.
A kollokvium érdemjegyének meghatározása a gyakorlaton és a vizsgán a fenti feltételeket kielégítő szerzett pontok összege alapján történik a következő ponthatárok szerint: 0 - 99 pont : elégtelen (1)
100 - 129 pont : elégséges (2)
130 - 149 pont : közepes (3)
150 - 169 pont : jó (4)
170 - 200 pont : jeles (5)
A vizsgáról való igazolatlan távolmaradás a TVSZ. 17.§ (6) szabályozásának megfelelően elégtelen jegyű vizsgának minősül. Vizsgáról való hiányzás igazolását köteles a hallgató a hiányzást követő legelső vizsgáját megelőzően bemutatni.
Sikeres kollokviumot javító vizsga teljesítésének feltételei:
Sikeres vizsga megismétlésére a TVSZ. 19.§ szabályozása érvényes.