Deklaratív programozás, 2014. őszi félév

Friss hírek / News

Szoboszlay Dániel (Erlang Solutions) demóval egybekötött előadást tart a BME-n december 8-án 12:15-kor az Erlang párhuzamosságról és az OTP-ről. A terem létszám függvénye, ezért kérjük a részvételi szándék jelzését minél hamarabb ezen az űrlapon.
Frissítés: helyszín az IL408 terem.
Letölthető a létraverseny eredménye.
Hoch Csaba (Erlang Solutions) demoval egybekötött előadást tart a BME-n december 11-én 10:15-kor az Erlang párhuzamosságról és az OTP-ről. A terem létszám függvénye, ezért kérjük a részvételi szándék jelzését minél hamarabb ezen az űrlapon.
Frissítés: helyszín az IB310 terem.
Erlang témájú előadások érdeklődőknek:
- Nov.9.: WebConf
- Nov.21.: HSPBP
- Nov.28.: Meetup
- Dec.11.: BME
- Dec.20.: Meetup
A 2. prolog kis házi feladat határidejét meghosszabbítottuk okt. 23. szerda 23:59-ig.
Letölthető a nagy házi feladat keretprogramja.
A nagy zárthelyire az ETS-ben lehet jelentkezni április 8. 23:59-ig.
A nagy zárthelyik megtekinthetők az október 21-i előadás előtti és alatti szünetben.
Letölthető az összes kis és a nagy házi feladat kiírása.
Letölthető az 1. kis házi feladat kiírása.
Üzemel az ETS, a dps.iit.bme.hu és a levelezőlista.
Letölthető a 0. kis házi feladat kiírása.

Általános tudnivalók / General information

A tárgy hallgatóival a kapcsolatot az előadások és tantermi gyakorlatok mellett az ETS-en és a dp-l levelezőlistán keresztül tartjuk.
Az előadások, ideje és helye:
Hétfő 8:15-10:00 IB026
Kedd 10:15-12:00 IB026
Az órák a szorgalmi időszak 1–10. heteiben lesznek. Az utolsó előadás időpontja november 10.
A gyakorlatok ideje és helye:
A gyakorlatok pontos dátuma: 2-9. oktatási hetek
- Szeptember 18. (Cékla)
- Szeptember 25. (Erlang)
- Október 2. (Prolog)
- (oktatási szünet)
- Október 16. (Prolog)
- (oktatási szünet)
- Október 30. (Prolog)
- November 6. (Erlang)

Gyakorlatok / Practice classes

Cékla-gyakorlat: TXT (utf-8) PDF (2 oldal/A4) – megoldás: CPP
Erlang-gyakorlat: TXT (utf-8) PDF (2 oldal/A4) – megoldás: ERL (utf-8)
Prolog-gyakorlat: TXT (latin-2) PDF (2 oldal/A4) – megoldás: Prolog (latin-2) PDF (2 oldal/A4 + ábra)
(A programozási feladatok beadhatók, tesztelhetők az ETS rendszer "Gyakorlás" menüpontjában, a "Prolog - programozás" témakör, és azon belül az "1. gyakorlat" ill. az "1. gyakorlat, szorgalmi feladatok" menüpontok kiválasztásával.)
Prolog-gyakorlat: TXT (latin-2) PDF (2 oldal/A4) – megoldás: Prolog (latin-2)
Prolog-gyakorlat: TXT (latin-2) PDF (2 oldal/A4) – megoldás: Prolog (latin-2)
Erlang-gyakorlat: TXT (utf-8) PDF (2 oldal/A4) – megoldás: ERL (utf-8)

Házi feladatok / Homeworks

A házi feladatokat az ETS-sel kell beadni (l. a HF beadás menüpontot az ETS-ben).

Frissítés: A létraverseny eredményei, pontszámokkal és megajánlott jegyekkel. A megajánlott jegy feltétele a program sikeres megvédése az egyik beszámoló elején!

0. kis házi feladat Cékla nyelven: Szám átrendezettje.
Beadási határidő: 2014. szeptember 28., vasárnap, 23:59
1. kis házi feladat Prolog és Erlang nyelven: Sudoku cella előállítása.
Beadási határidő: Erlang – 2014. október 5. vasárnap, 23:59; Prolog – 2014. október 12. vasárnap, 23:59
2. kis házi feladat Prolog és Erlang nyelven Érték-mátrix távolságinfók szerinti részleges helyessége.
Beadási határidő: Erlang – 2014. október 19. vasárnap, 23:59; Prolog – 2014. október 26. vasárnap, 23:59
3. kis házi feladat Prolog és Erlang nyelven Sudoku-feladvány távolságinfói által megengedett mezőértékek.
Beadási határidő: Erlang – 2014. november 2. vasárnap, 23:59; Prolog – 2014. november 9. vasárnap, 23:59
Nagy házi feladat Prolog és Erlang nyelven Sudoku n-távolságkorlátokkal.
Beadási határidő: Erlang – 2014. november 13. csütörtök, 23:59; Prolog – 2014. november 13. csütörtök, 23:59; (közös) dokumentáció – 2014. november 15. szombat 23:59

Zárthelyik / Mid-term tests

A zárthelyikre az ETS-ben, az Adataim menüpontban kell jelentkezni. Az eredmények az ETS-ben, az Eredményeim menüpontban nézhetők meg.

A nagy zárthelyi időpontja: 2014. október 21. (szerda) 8:00–10:00. Jelentkezési határidő: 2014. október 20, 11:59.
Beosztás a vezetéknév kezdőbetűje szerint:
- I.B.025: A – J
- I.B.026: K – Zs
A pótzárthelyi időpontja: 2014. november 5. (szerda) 08:00–10:00, helye: I.B.026. Jelentkezési határidő: 2014. november 4., 11:59.
A pót-pót-zárthelyi időpontja: 2014. december 19., 8:00. Jelentkezni kell a Neptunban!

Beszámolók (vizsgakurzus részére: Vizsgák) / Exams

Az írásbelivel kombinált szóbeli beszámolóra az ETS-ben kell jelentkezni. (Vizsgakurzus részére: vizsgára csak a Neptunban kell jelentkezni.) A jelentkezés határideje a beszámoló előtti nap délelőtt 11:59, a határidőig a jelentkezés lemondható. Az időbeosztást a beszámoló előtti napon tesszük közzé a honlapon. A hallgatóknak a beszámoló kezdetekor meg kell jelenniük a helyszínen, hacsak a beosztásban nem adunk meg más időpontot.
A vizsgakurzus hallgatói is jöhetnek beszámolóra vizsga helyett, számukra ezek elővizsgák.

1. beszámoló ideje: 2014.11.14. 11:00--18:00
2. beszámoló ideje: 2014.11.19. 10:00--16:00
3. beszámoló ideje: 2014.11.21. 10:00--18:00 (oktatási szünet)
4. beszámoló ideje: 2014.11.27. 8:00--15:00
A pótbeszámoló ideje: 2014.12.19. 10:00--14:00 Jelentkezni kell a Neptunban!

A beszámoló menete. A beszámoló pontozása.

Prolog-mintafeladatsor - Elméleti Prolog-tételek
SML-mintafeladatsor (jellege, struktúrája hasonló az Erlang-tételekéhez) - Elméleti Erlang-tételek

Friss hírek / News

Általános tudnivalók / General information

Előadások / Lecture classes

Gyakorlatok / Practice classes

Házi feladatok / Homeworks

Zárthelyik / Mid-term tests

Beszámolók (vizsgakurzus részére: Vizsgák) / Exams

Levelezőlista / Mailing list

Követelmények / Requirements

Gyakori kérdések - válaszokkal / Frequently asked questions - with answers

Elektronikus TanárSegéd / Electronic Tutoring System

Gyakorlórendszer / Exerciser