Nagyhatékonyságú Deklaratív Programozás Labor, 2018 tavaszi félév


Információk

Ez a lap a Nagyhatékonyságú Deklaratív Programozás Labor tárgy anyagára vonatkozó információkat tartalmaz.

Az előadások fóliái

Változások még lehetségesek.


Gyakorló feladatok


A 2002. évi előadásokról készült jegyzet-kézirat


Példaprogramok


A kis házi feladatok beadása

A kis házi feladatok beadásához be kell jelentkezni az NDP ETS rendszerébe. Ezután "HF beadás" menűpont alatt lehet a kis házi feladatot beadni.


1. kis házi feladat:

A kiírás innen letölthető. A kiírás kiegészítéseként pontosítjuk a count/2 predikátummal szembeni elvárásokat:

  1. ne csináljon választási pontot (lásd a 4. futási példát a fólián).
  2. count(L, N)-ben, ha az L lista N db eleméről kiderül, hogy 1-es, akkor nem vár további változó-behelyettesítésre és a fennmaradó változókat behelyettesíti 0-ra. Pl. a `count([X,Y,Z], 1), Z=1' célsorozat az `X=0, Y=0, Z=1' eredményt adja.
  3. count(L, N)-ben, ha az L lista len(L)-N db eleméről kiderül, hogy 0, akkor nem vár további változó-behelyettesítésre és a fennmaradó változókat behelyettesíti 1-re. Pl. a `count([X,Y,Z], 2), Z=0' célsorozat az `X=1, Y=1, Z=0' eredményt adja.

A kis házi feladat "minta"-megvalósítása (.po formában, tehát futtathatóan, de nem olvashatóan) és tesztpéldái az első három előadás példaprogramjaival együtt letölthetőek innen.

Az 1. kis házi feladat beadása:

A KHF az NDP ETS rendszerének segítségével beadható.

A beadási határidő 2018. március 26, hétfő, 23:59.
A határidőig beadott, jól működő programokra 2 pluszpont jár.
A házi feladat ez után a határidő után is beadható, 1 pluszpontért.


2. kis házi feladat:

A kiírás a fóliákon megtalálható, de a szóbanforgó egy oldal (PDF alakban) innen is letölthető.

Fontos megjegyzesek:

A kis házi feladat tesztpéldái megtalálhatók itt.

A 2. kis házi feladat beadása:

A KHF az NDP ETS rendszerének segítségével adható be.

A beadási határidő 2018. április 9. hétfő, 23:59.
A határidőig beadott, jól működő programokra 2 pluszpont jár.
A házi feladat a határidő után is beadható, 1 pluszpontért.


Esettanulmányok:


Beszámolók:

Pontozás:

Régebbi beszámolók (vizsgák) feladatsorai:

Egy közelmúltbeli vizsga feladatsora, megoldásokkal : vizsga-minta


Az nhlp-l levelezési lista


A rokon tárgyakról, korábbi félévekről Szeredi Péter oktatási honlapján található információ.