„Deklaratív programozás” változatai közötti eltérés
A VIK Wikiből
Nincs szerkesztési összefoglaló |
Nincs szerkesztési összefoglaló |
||
| 14. sor: | 14. sor: | ||
==Miből érdemes tanulni?== | ==Miből érdemes tanulni?== | ||
* [http://dp.iit.bme.hu/dp-current/ Fóliák] | * [http://dp.iit.bme.hu/dp-current/ Fóliák]. A diasor nagyon jó, mindent meg lehet belőle tanulni. | ||
* Prolog: | * Prolog: | ||
** jegyzet: Szeredi Péter, Benkő Tamás: Deklaratív programozás. Bevezetés a logikai programozásba. Oktatási segédlet, 2004. [http://dp.iit.bme.hu/prolog/jegyzet/dp04s_jegyzet.pdf.gz Eredeti], [[Media:dp_2004_jegyzet.pdf | VIKWiki mirror – kereshető változat]]. | ** jegyzet: Szeredi Péter, Benkő Tamás: Deklaratív programozás. Bevezetés a logikai programozásba. Oktatási segédlet, 2004. [http://dp.iit.bme.hu/prolog/jegyzet/dp04s_jegyzet.pdf.gz Eredeti], [[Media:dp_2004_jegyzet.pdf | VIKWiki mirror – kereshető változat]]. | ||
| 27. sor: | 27. sor: | ||
==Számonkérés== | ==Számonkérés== | ||
A vizsgán 100 (+7) pontot lehet elérni. A félévközi munka súlya 30 (+7) pontot. | |||
===Kis házi feladatok=== | ===Kis házi feladatok=== | ||
| 33. sor: | 35. sor: | ||
* 3-3 feladat Prologból és Erlang-ból. | * 3-3 feladat Prologból és Erlang-ból. | ||
* Beadás ETS-en keresztül. | * Beadás ETS-en keresztül. | ||
* Minden feladat jó megoldásáért 1-1 | * Minden feladat jó megoldásáért 1-1 pluszpont a vizsgán. | ||
* Össz. max. +7 pont. | |||
===Nagy házi feladat=== | ===Nagy házi feladat=== | ||
| 39. sor: | 42. sor: | ||
* Nem kötelező beadni. | * Nem kötelező beadni. | ||
* 1 feladat, amit Prologban és Erlangban is meg lehet oldani. | * 1 feladat, amit Prologban és Erlangban is meg lehet oldani. | ||
* 10 teszteset, 0 | * 10 teszteset, 0,5 pont/helyes lefutás/nyelv. | ||
* 5 pont a doksi. | * 5 pont a doksi. | ||
* | * Össz. 15 pont. | ||
====Létraverseny==== | ====Létraverseny==== | ||
| 52. sor: | 55. sor: | ||
===Zárthelyi=== | ===Zárthelyi=== | ||
* Kötelező | * Kötelező. | ||
* Semmilyen jegyzet, segédlet nem használható. | * 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 | * 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 | * A sikeres zh feltétele a maximális részpontszám 40%-ának megszerzése mindkét nyelven. | ||
* | * Pótpót zh a vizsgaidőszak első hetében. | ||
* | * Össz. 15 pont. | ||
===Vizsga=== | ===Vizsga=== | ||
| 66. sor: | 69. sor: | ||
* A megtanulandó könyvtári függvények és eljárások listája előre meg van adva. | * 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. | * A sikeres vizsga feltétele a maximális részpontszám 40%-ának megszerzése mindkét nyelven. | ||
* Össz. 70 pont. | |||
* [[DeklaPoVizsga|Vizsgasorok]] | * [[DeklaPoVizsga|Vizsgasorok]] | ||
A lap 2013. február 3., 15:28-kori változata
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:
Miből érdemes tanulni?
- Fóliák. A diasor nagyon jó, mindent meg lehet belőle tanulni.
- Prolog:
- 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.
- Erlang
- magyar könyv nincs, a diasorból érdemes tanulni
- ajánlott könyv: Joe Armstrong: Programming Erlang: Software for a Concurrent World
- ELTE anyagok: http://nyelvek.inf.elte.hu/leirasok/Erlang/
- ingyenes tutorial: http://learnyousomeerlang.com/
Gyakorlatok
A tárgyból kéthetente gyakorlatok vannak, az előadáson szereplő programozási nyelvnek megfelelően.
Számonkérés
A vizsgán 100 (+7) pontot lehet elérni. A félévközi munka súlya 30 (+7) pontot.
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 pluszpont a vizsgán.
- Össz. max. +7 pont.
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.
- Össz. 15 pont.
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.
- Pótpót zh a vizsgaidőszak első hetében.
- Össz. 15 pont.
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.
- Össz. 70 pont.
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.
