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

Friss hírek / News

Pót-pót-zárthelyi ideje 2017.12.13., 15:00–17:00, helye QBF13. A pót-pót-zárthelyire jelentkezni kell a Neptunban!

Nagy zárthelyi megtekintés 2017.11.27. 15:00-kor az IB410-ben.

Nagy házi feladat megvédése 2017.11.27. 15:30-kor az IB410-ben.

Á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ő 10:15-12:00 IB027
Csütörtök: 14:15-16:00 IB027
Az órák a szorgalmi időszak 1–11. heteiben lesznek.
Azokon a heteken, amikor van gyakorlat (lásd lent), csütörtökön nincs előadás!
A gyakorlatok ideje és helye:
- Kedd 10:15-12:00; Neptun szerint (IB146, IB147)
- Csütörtök 14:15-16:00; IB027
A gyakorlatok pontos dátuma: 2-10. oktatási hetek
- 2. hét: szeptember 12., szeptember 14. (Cékla)
- 5. hét: október 3., október 5. (Erlang)
- 7. hét: október 17., október 19. (Prolog)
- 8. hét: október 24., október 26. (Prolog)
- 9. hét: október 31., november 2. (Erlang)
- 10. hét: november 7., november 9. (Prolog)

Előadások / Lecture classes

Fóliák:
- PDF (1 fólia/lap)
- PDF (4 fólia/lap)
Példaprogramok:
- Cékla példaprogramok
- Erlang alapok
- Prolog 1. rész példaprogramok
- Haladó Erlang
- Párhuzamos Erlang (kiegészítő anyag)
Cékla fordító

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) – egy hallgatói megoldás, oktatói megjegyzésekkel:
Prolog (utf-8, a könnyebb megjeleníthetőség érdekében egy .txt kiterjesztéssel ellátva)
oktatói 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) PDF
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

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 programok sikeres megvédése. Erre 2017. november 27-én hétfőn 15:30-kor kerül sor az IB410-ben.

0. kis házi feladat Cékla nyelven: Szám összekevertje.
Beadási határidő: 2017. szeptember 24., vasárnap, 23:59
1. kis házi feladat Prolog és Erlang nyelven Sudoku cella előállítása.
Beadási határidő: Erlang – 2017. október 10. kedd, 23:59; Prolog – 2017. október 26. csütörtök, 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 – 2017. október 17. kedd, 23:59; Prolog – 2017. október 29. 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 – 2017. november 3. péntek, 23:59; Prolog – 2017. november 10. péntek, 23:59
Nagy házi feladat Prolog és Erlang nyelven Sudoku n-távolságkorlátokkal.
Beadási határidő: Erlang – 2017. november 13. hétfő, 23:59; Prolog – 2017. november 13. hétfő, 23:59; (közös) dokumentáció – 2017. november 15. szerda, 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: 2017. november 22. (szerda) 8:00–10:00. Helye: K épület Aud Max (KF51).
Beosztás
- Mindenki az Aud Max-ban írja a ZH-t
- Kérjük, hogy csak a páratlan sorszámú sorokba üljenek
A pótzárthelyi időpontja: 2017. november 29. (szerda) 08:00–10:00, helye: E1B. Jelentkezési határidő: 2017. november 27., 23:59.
A pót-pót-zárthelyi időpontja: 2017. december 13. (szerda), 15:00. Helye: QBF13. Jelentkezni kell a Neptunban!

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

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