Deklaratív programozás

Ez az oldal a korábbi SCH wikiről lett áthozva.

Ha úgy érzed, hogy bármilyen formázási vagy tartalmi probléma van vele, akkor, kérlek, javíts rajta egy rövid szerkesztéssel!

Ha nem tudod, hogyan indulj el, olvasd el a migrálási útmutatót.

Mottó: Ami igaz, nem biztos, hogy gyors is.

A tárgyról

• Kedvcsináló, mikor válasszam ezt?
• Ajánlott rövidítés: deklapo, 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.
• A tárgy lapja az InfoSiteon

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!

Egy 2004-es feladat + megoldás + doksi: felhok.zip (létraversenyen 4 pontot ért el).
A doksi legyártásához írtam egy programot, ami a Prolog fejkommenteket html-lé alakítja: prolog2html.php.
Használat: =php.exe prolog2html.php input.pl output.html=

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.