Declarative Programming

Követelmények: 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ő: az aláírás megszerzése.Ajánlott: a webes gyakorlórendszer használata c) A zárthelyi időpontja, értékelése és elfogadása 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át, ill. javítását illetően lásd a 11. pontot. Ezen alkalmakkor 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. Egynél több zárthelyi megírása esetén az utolsót tekintjük érvényesnek. d) A házi feladatok ki- és beadása, értékelése és elfogadása A nagy házi feladatot az ütemtervben megadott oktatási héten adjuk ki. Az Erlang- é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. A beadott feladatokkal kapcsolatban a hallgató a vizsgán kérdéseket kaphat (a házi feladat megvédése), amely kérdésekre adott válaszok az önálló munkavégzést is hivatottak bizonyítani. Azok a programok, amelyek a tesztesetek legalább 80%-át hibátlanul megoldják és megfelelően dokumentáltak, 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.Jó (4) megajánlott jegyet kap az, aki a félévközi követelmények teljesítése mellett mindkét programozási nyelvből bejut a létraversenybe, és a házi feladatát sikeresen megvédi az elővizsgán. Jeles (5) megajánlott jegyet kap az, aki emellett mindkét programozási nyelvből legalább 40%-os eredményt ér el a létraversenyen (azaz mindkét programja megoldja a létraverseny teszteseteinek legalább 40%-át). A félév során több alkalommal adunk ki kis házi feladatot. Az Erlang-, ill. Prolog-nyelvű programok beadásának módját a tárgy honlapján közzéteendő feladatkiírás részletezi. e) 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.f) Az aláírás megszerzésének feltétele A zárthelyi nyelvenként legalább 40%-os szintű megoldása. A kis házi feladatok 50%-ának beadása, a tesztesetek 100%-os teljesítésével úgy, hogy mindkét nyelven legalább egy 100%-ot teljesítő programot be kell adni. Részvétel a tantermi gyakorlatok 70 százalékán. g) A vizsgára bocsátás feltétele A hallgató vizsgára bocsátható, ha aláírást szerzett a jelen félévben, vagy ezt megelőzően, feltéve, hogy az aláírások érvényességére a TVSZ által előírt minimális időtartam még nem múlt el.h) 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.A tárgyból elővizsgát tartunk, amelyen bármely, a tárgyból vizsgára bocsátható hallgató (lásd a g. pontot) részt vehet. Emellett -- az MSc képzésre jelentkezők érdekében -- a vizsgaidőszak decemberi részében még egy második vizsgaalkalmat is kitűzünk.Jó (4) megajánlott jegyet kap az, aki a félévközi követelmények teljesítése mellett mindkét programozási nyelvből bejut a létraversenybe, és a házi feladatát sikeresen megvédi az elővizsgán. Jeles (5) megajánlott jegyet kap az, aki emellett mindkét programozási nyelvből legalább 40%-os eredményt ér el a létraversenyen (azaz mindkét programja megoldja a létraverseny teszteseteinek legalább 40%-át). i) A félévvégi osztályzat megállapítása A félévvégi osztályzatban a vizsgára kapott pontszámot 70%-os, a zárthelyire és a nagy házi feladatra kapott pontszá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, tehát ezekkel együtt az összpontszám 100%-nál nagyobb is lehet.Az egyes osztályzatok alsó határai, az összpontszám százalékában: elégséges - 40%, közepes - 55%, jó - 70%, jeles - 85%. j) 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. A zárthelyin és a vizsgán semmilyen segédeszköz nem használható. Mástól származó program vagy programrészlet átvétele/átadása és beadása esetén az összes kis és a nagy házi feladatot érvénytelennek tekintjük. A zárthelyin és a vizsgán a meg nem engedett eszközöket használó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. Pótlási lehetőségek: Gyakorlat pótlására nincs lehetőség. A nagyzárthelyi pótlására, illetve javítására a szorgalmi időszak utolsó előtti, vagy azt megelőző heteiben (a pótzárthelyin), továbbá a pótlási időszakban (a pótpótzárthelyin) adunk lehetőséget. A házi feladatok pótlása a pótlási időszak végéig lehetséges.