„Deklaratív programozás” változatai közötti eltérés
Ugrás a navigációhoz
Ugrás a kereséshez
| 5. sor: | 5. sor: | ||
==A tárgyról== | ==A tárgyról== | ||
| − | * [[ | + | * [[Deklaratív programozás kedvcsináló | Kedvcsináló, mikor válasszam ezt?]] |
| − | * [[TargynevAjanlas|Ajánlott rövidítés]]: | + | * [[TargynevAjanlas|Ajánlott rövidítés]]: dp |
* [http://dp.iit.bme.hu/ A tárgy honlapja] | * [http://dp.iit.bme.hu/ A tárgy honlapja] | ||
* [http://www.vdk.bme.hu/targykov/standard/vifo2218.htm Tantárgy adatlap] | * [http://www.vdk.bme.hu/targykov/standard/vifo2218.htm Tantárgy adatlap] | ||
| 80. sor: | 80. sor: | ||
Í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: [[DeklaPoEmacsHowTo|Emacs howto]]. | Í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: [[DeklaPoEmacsHowTo|Emacs howto]]. | ||
| − | |||
| − | |||
| − | |||
[[Category:Infoalap]] | [[Category:Infoalap]] | ||
A lap 2013. február 3., 13:07-kori változata
Mottó: Ami igaz, nem biztos, hogy gyors is.
Tartalomjegyzék
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.
- 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.
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.
