Deklaratív programozás
A VIK Wikiből
Mottó: Ami igaz, nem biztos, hogy gyors is.
A tárgyról
- Kedvcsináló, mikor válasszam ezt?
- Ajánlott rövidítés: dp
- A tárgy honlapja
- Tantárgy adatlap
- Levelezőlista a tárgy saját levlistája. Érdemes ide írni ha valami kérdésed van (miért nem működik? mi a hiba?), az oktatók ill. a gyakokat tartó felsőbbéves kollegák is olvassák és általában válaszolnak is, ha nem teszi meg más.
Kapcsolódó tárgyak:
- Nagyhatékonyságú logikai programozás
- Válogatott fejezetek a logikai programozásból szeminárium
Miből érdemes tanulni?
- Fóliák
- Tankönyvigénylés
- Szeredi Péter, Benkő Tamás: Deklaratív programozás. Bevezetés a logikai programozásba. Oktatási segédlet, 2004. Eredeti, VIKWiki mirror – kereshető változat.
- Hanák D. Péter: Deklaratív programozás. Bevezetés a funkcionális programozásba. Oktatási segédlet, 2005. márc. 1 oldal/lap, 2 oldal/lap.
- Válogatás az SML alapkönyvtárából (könyv, B függelék)
Gyakorlatok
A tárgyból kéthetente gyakorlatok vannak, az előadáson szereplő programozási nyelvnek megfelelően.
Számonkérés
Kis házi feladatok
- Kötelező beadni a 7 kisháziből 3-at, de mindét nagy nyelvből legalább 1-1 kell hogy legyen. („Felhívjuk mindenki figyelmét, hogy a beadás kötelező, még akkor is, ha a program tesztelése nem sikeres.”)
- 3-3 feladat Prologból és Erlang-ból.
- Beadás ETS-en keresztül.
- Minden feladat jó megoldásáért 1-1 jutalompont a vizsgán.
Nagy házi feladat
- Nem kötelező beadni.
- 1 feladat, amit Prologban és Erlangban is meg lehet oldani.
- 10 teszteset, 0.5 pont/helyes lefutás/nyelv.
- 5 pont a doksi.
- A 15 pont a vizsga max. 100 pontjának része!
Létraverseny
- Ha a házi feladat mindegyik tesztesetre lefutott, indul a létraversenyen.
- 10 teszteset van, az időlimit általában 120-180 másodperc/teszteset.
- Pontszám = ∑ min(futási idő, időlimit).
- Ha valamelyik nyelven n. helyezést érsz el, max(8-n/2, 0) pluszpontot kapsz vizsgán.
Zárthelyi
- Kötelező!
- Semmilyen jegyzet, segédlet nem használható.
- A megtanulandó könyvtári függvények és eljárások listája előre meg van adva, a ZH anyaga az előző hét végéig leadott anyag.
- A sikeres ZH feltétele a maximális részpontszám 40%-ának megszerzése mindkét nyelven.
- GyakIV a vizsgaidőszak első hetében.
- Súlya az osztályzatban 15%
Vizsga
- Írásbeli feladatmegoldással kombinált szóbeli vizsga.
- Prolog, Erlang: több kisebb feladat, kétszer 35 pontért (programírás, -elemzés).
- Semmilyen jegyzet, segédlet nem használható.
- A megtanulandó könyvtári függvények és eljárások listája előre meg van adva.
- A sikeres vizsga feltétele a maximális részpontszám 40%-ának megszerzése mindkét nyelven.
Emacs howto Windows alá
Írtam egy rövid összegzést arról, hogy az emacsot mi módon lehet Windows alatt összekapcsolni az SML és Prolog fordítókkal: Emacs howto.
