Deklaratív programozás

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

Miből érdemes tanulni?

• Fóliák
• Jegyzet: 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.

• Vizsgasorok
• Tippek ZH-ra és vizsgára
• Záróvizsga információk és tételkidolgozás

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.