Belépés címtáras azonosítással
magyar nyelvű adatlap
Deklaratív programozás
A tantárgy angol neve: Declarative Programming
Adatlap utolsó módosítása: 2007. február 15.
Tantárgy lejárati dátuma: 2015. január 31.
Műszaki Informatika Szak
Név:
Beosztás:
Tanszék, intézet:
dr. Hanák Péter
tud. mts.
Irányítástechnika és Informatika T.
dr. Szeredi Péter
docens
Számítástudományi és Információelméleti T.
Programozás, Programozási technológia, Matematikai logika
-------
A hallgatók ismerkedjenek meg az előző félévekben tanult imperatív programozás után a deklaratív programozással.
Az imperatív és a deklaratív (funkcionális és logikai) programozás összevetése.
Funkcionális programozás SML nyelven.
Kifejezés, érték, típus. Egyszerű és összetett típusok (ennes, rekord, lista, fa stb.). Kötés. Típuslevezetés. Mintaillesztés. Függvény, magasabb rendű és részlegesen alkalmazható függvény. Típusparaméter, polimorfizmus. Rekurzió, iteráció. Lusta lista. Absztrakt típus. Struktúra, szignatúra, funktor. SML Basis Library. Programozási módszerek. Új irányzatok a funkcionális programozásban.
Logikai programozás Prolog nyelven.
A Prolog nyelv alapjai: eljárások, vezérlési szerkezet, összetett adatszerkezetek, operátorok, listák. Beépített eljárások. Programozási módszerek. Fejlettebb nyelvi elemek és alkalmazásuk, modularitás, hibakezelés. Új irányzatok a logikai programozásban.
a) Előfeltételek
Alapszintű logikai, továbbá elméleti és gyakorlati programozási ismeretek.
b) Követelmények a szorgalmi időszakban
Kötelező: részvétel négy labor-és legalább négy tantermi gyakorlaton előre megadott beosztás szerint, a nagyzárthelyi megírása, három-három kis és egy-egy nagy házi feladat beadása mindkét programozási nyelven.
Ajánlott: a webes gyakorlórendszer használata.
c) Tantermi és laborgyakorlatok
Órarend szerinti időben tantermi és laborgyakorlatokat tartunk. Tantermi és laborgyakorlatok máskor is lehetnek, ha szükséges, pl. a munkahelyek korlátozott száma, a labor, illetve tanterem foglaltsága miatt, vagy elmaradt tantermi és laborgyakorlatok pótlására.
A kis létszámú hallgatói csoportokat egy-egy állandó konzulens segíti a tananyag elsajátításában, ezért a hallgatóknak előre egyeztetett beosztás szerint kell részt venniük a foglalkozásokon, mégpedig minden hallgatónak legalább négy tantermi és négy laborgyakorlaton. A beosztás a regisztrációs hét második felében készül el az alábbi séma alapján, figyelembe véve az oktatási szüneteket és más korlátozó tényezőket:
tanterem
labor
1. hét 1. alk.
nagycsop1
-
1. hét 2. alk.
nagycsop4
2. hét 1. alk.
nagycsop2
2. hét 2. alk.
nagycsop5
3. hét 1. alk.
nagycsop3
3. hét 2. alk.
nagycsop6
4. hét 1. alk.
4. hét 2. alk.
5. hét 1. alk.
5. hét 2. alk.
6. hét 1. alk.
6. hét 2. alk.
7. hét 1. alk.
7. hét 2. alk.
8. hét 1. alk.
8. hét 2. alk.
9. hét 1. alk.
9. hét 2. alk.
10. hét 1. alk.
10. hét 2. alk.
11. hét 1. alk.
11. hét 2. alk.
12. hét 1. alk.
12. hét 2. alk.
13. hét 1. alk.
konzultáció
13. hét 2. alk.
14. hét 1. alk.
pótlás
14. hét 2. alk.
Az előre egyeztetett beosztás szerinti gyakorlatokról csak nagyon indokolt esetben és a konzulens tudtával szabad távol maradni. Egy kötelező tantermi gyakorlat pótlására – a konzulenssel egyeztetett időpontban – a gyakorlatot követő két héten belül van lehetőség egy másik tantermi gyakorlaton. Egy kötelező laborgyakorlat pótlására – ugyancsak a konzulenssel egyeztetett időpontban – a szükség szerint két vagy háromhetente tartandó pótlaborgyakorlatokon adunk lehetőséget.
d) A nagyzárthelyi időpontja és értékelése
A nagyzárthelyit, amelyen a kijelölt tananyagot kérjük számon, az ütemtervben megadott oktatási héten íratjuk meg.
A nagyzárthelyi pótlására, ill. javítására a szorgalmi időszak utolsó heteiben, továbbá – ismétlővizsga-jelleggel – a vizsgaidőszak első három hetében adunk lehetőséget. A pót-, ill. a pótpótzárthelyin is a nagyzárthelyin elvárt tananyagot kell tudni.
A zárthelyi megírásához írószeren, üres papíron és a kiadott feladatlapon kívül nem használható semmilyen segédeszköz.
Minden esetben az utolsó zárthelyire kapott pontszámot vesszük figyelembe 15%-os súllyal a félévvégi osztályzatban.
e) A nagy házi feladatok ki- és beadása, valamint értékelése
A nagy házi feladatot az ütemtervben megadott oktatási héten adjuk ki. Az SML- és Prolog-nyelven megírt programokat, valamint a dokumentációt elektronikus úton kell beadni az ütemtervben előírt oktatási héten. A beadás módját a tárgy honlapján közzéteendő feladatkiírás részletezi.
Az SML- és a Prolog-program helyes működését egymástól függetlenül legalább három tesztkészlettel vizsgáljuk. Az első tesztkészletet a házi feladattal együtt kiadjuk. A második tesztkészlettel a beadáskor vizsgáljuk a házi feladatot. A tesztelés eredményét elektronikus úton közöljük. Nem kielégítő eredmény esetén a javított változat a beadási határidőn belül többször is beadható. A pontszámot egy harmadik – az előzőkhöz hasonló nehézségű – tesztkészlettel állapítjuk meg.
Egy tesztesetre akkor jár pont, ha a program meghatározott futási időn belül helyes eredményt ad. A programok jól olvasható („öndokumentált”) voltát és az elektronikus változatban (ascii, html, pdf) elkészítendő 5-10 oldalas dokumentációt is pontozzuk.
A kapott pontszámot nyelvenként 7,5%-os, összesen 15%-os súllyal vesszük figyelembe a félévvégi osztályzatban.
A hibátlan és megfelelően dokumentált, azaz a maximális pontszámot elérő programok létraversenyben vesznek részt. A létraversenyben részt vevő programokat bonyolultabb, nagyobb méretű tesztesetekkel futtatjuk. A létraversenyben jó helyezést elérő programok pluszpontot kapnak, amit az osztályzat megállapításakor figyelembe veszünk. A pluszpontszám maximumát nyelvenként a leggyorsabb program kapja meg, a többi program egyre kevesebb pluszpontot szerez.
A nagy házi feladat pótlására a határidő lejárta után nincs lehetőség.
f) A kis házi feladatok ki- és beadása, valamint értékelése
A félév során hat alkalommal adunk ki kis házi feladatot. Az SML-, ill. Prolog-nyelvű programok beadásának módját a tárgy honlapján közzéteendő feladatkiírás részletezi.
A helyes megoldásokra kapott pontok pluszpontként számítanak bele a félévvégi osztályzatba.
A kis házi feladatok pótlására a határidő lejárta után nincs lehetőség.
g) A gyakorlórendszer használata
A tananyag elsajátítását webes gyakorlórendszer segíti. A gyakorlórendszer használatát a tárgy honlapján ismertetjük.
h) Az aláírás megszerzésének feltételei
Részvétel legalább négy tantermi és négy laborgyakorlaton az adott félévben.
Mindkét nyelven legalább 40%-ban sikeres zárthelyi (nagyzárthelyi, pótzárthelyi vagy pótpótzárthelyi) megírása az adott félévben.
Mindkét nyelven olyan nagyfeladat beadása az adott félévben, amelyik a tesztesetek 40%-ára sikeresen lefut.
Legalább egy-egy olyan kisfeladat beadása mindkét nyelven és egy harmadik olyan kisfeladat beadása valamelyik nyelven az adott félévben, amelyik sikeresen lefut a tesztesetekre.
i) A vizsgára bocsátás feltételei
j) A vizsga
A vizsga írásbeli feladatmegoldással kombinált szóbeli vizsga. A sikeres vizsga feltétele a vizsgán megszerezhető maximális pontszám 40%-ának elérése külön-külön mindkét programozási nyelvből.
k) Javítási, illetve felkészülési lehetőségek aláírással rendelkező hallgatóknak
Aláírással rendelkező hallgatók javítási, illetve felkészülési céllal írhatnak zárthelyit, illetve adhatnak be kis- és nagyfeladatokat, az alábbiak szerint:
l) A félévvégi osztályzat megállapítása
A félévvégi osztályzatban a vizsgára kapott összpontszámot 70%-os, a nagyzárthelyire (ill. a pót- vagy a pótpótzárthelyire) és a nagy házi feladatra kapott összpontszámot 15-15%-os súllyal vesszük figyelembe. A kis házi feladatok megoldására kapott és a létraversenyen szerzett pontszám az összpontszámot javítja.
l) Meg nem engedett eszközök alkalmazása
A kis és nagy házi feladatokat minden hallgatónak önállóan, egyénileg kell megoldania, másoktól ötleteken kívül egyebet – pl. teljes kódot vagy akár csak kódrészletet – nem vehet át. A programok szerkezeti hasonlóságát automatikus eszközökkel is vizsgáljuk.
Mástól származó program vagy programrészlet átvétele/átadása és beadása esetén a kis és a nagy házi feladat érvénytelen.
A nagyzárthelyin, a pót- és a pótpótzárthelyin, valamint a vizsgán semmilyen segédeszköz nem használható; a meg nem engedett eszközöket használó hallgatókat az érvényes kari, ill. egyetemi rendelkezések szerint büntetjük.
Egyéb kérdésekben a TVSz rendelkezései az irányadók.
Tantermi gyakorlat pótlására a gyakorlatot követő két héten belül van lehetőség egy másik tantermi gyakorlaton. Laborgyakorlat pótlására a szükség szerint két vagy háromhetente tartandó pótlaborgyakorlatokon adunk lehetőséget.
A nagyzárthelyi pótlására, illetve javítására a szorgalmi időszak utolsó heteiben (a pótzárthelyin), továbbá – ismétlővizsga-jelleggel – a vizsgaidőszak első három hetében (a pótpótzárthelyin) adunk lehetőséget.
A kis és nagy házi feladat pótlására a határidő lejárta után nincs lehetőség.
A tárgyhoz sokszorosított jegyzetek vásárolhatók a tárgy honlapján megadott módon és helyen. Elektronikus változatuk rendszerint a tárgy honlapjáról is letölthető.
Ajánlott irodalom:
(A tantárgyhoz tartozó tanulmányi idő körülbelüli felosztása a tanórák, továbbá a házi feladatok és a zárthelyik között; a felkészülésre, ill. a kidolgozásra átlagosan fordítandó/elvárható idők félévi munkaórában: kredit * 30 óra, pl. 5 kredit esetén 150 óra.)
Kontaktóra
16
Félévközi készülés órákra
32
Felkészülés zárthelyire
Házi feladat elkészítése
36
Kijelölt írásos tananyag elsajátítása
20
Vizsgafelkészülés
30
Összesen
150
Egyéb tudnivalók:
Levelezési lista: http://www.iit.bme.hu/mailman/listinfo/dp-l.
A gyakorlásra és a házi feladatok megoldására használható SML- és Prolog-értelmezők, ill. fordítóprogramok, továbbá a gyakorlórendszer elérését, valamint a kis- és nagy házi feladatokra vonatkozó összes tudnivalót a tárgy honlapján adjuk meg.
Tanszék, intézet
Név
Beosztás
Irányítástechnika és Informatika Tsz.
Számítástudányi és Információelméleti Tsz.