Deklaratív programozás / Declarative programming 2011. őszi félév / Autumn semester 2011 BMEVISZA402 (alapképzés) - BMETKVIB422 (English) Korábban az ötéves képzésben: BMEVIFO2218 Legutóbbi frissítés / Last update: 2019-04-01

Friss hírek / News

• (2011.12.11) A létraverseny eredményei letölthetőek, pontszámokkal és megajánlott jegyekkel.
• (2011.12.09) Jelentkezni lehet az ETS-ben a pót-pót-zárthelyire.
• (2011.11.16) Jelentkezni lehet az ETS-ben a pótzárthelyire.
• (2011.11.14) Letölthető a nagy házi feladat keretprogramja.
• (2011.10.18) Letölthető a 2. és 3. kis házi feladat valamint a nagy házi feladat kiírása.
• (2011.10.04) Letölthető az 1. kis házi feladat kiírása, a "Prolog alapok" rész összes előadásdiája.
• Letölthetők: az előadásdiák (09-06--09-20), a gyakorlat anyaga (09-16), a Cékla fordító (Linux: 2.334, Windows: 2.334), a 0. kis házi feladat kiírása, és egy kis segítség az Emacs-hez.

Á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:
  Kedd 08:15-10:00 IE007, minden héten
  Péntek 10:15-12:00 IB026, páratlan heteken
• A gyakorlatok, ideje és helye:
  
  1. kurzus: Péntek: 10:15-12:00 IB134 páros heteken
  2. kurzus: Péntek: 10:15-12:00 IB142 páros heteken
  3. kurzus: Péntek: 08:15-10:00 IB138 páros heteken
  4. kurzus: Péntek: 08:15-10:00 IB134 páros heteken
  5. kurzus: Péntek: 10:15-12:00 QBF10 páros heteken
• A gyakorlatok pontos dátuma:
  • Szeptember 16.
  • Szeptember 30.
  • Október 14.
  • Október 28.
  • November 11.
  • December 9.
• Konzultációt igény esetén tartunk, ideje és helye: előzetes egyeztetés alapján (személyesen vagy levélben).
• A SICStus Prolog licencet a tárgy regisztrált hallgatói letölthetik az ETS-ből.
• Azok a hallgatók, akik a kifutó ötéves képzésben öt évnél nem régebben szerezték meg az aláírást, de nem sikerült a vizsgájuk, a korábbi vizsgakövetelmények szerint vizsgáznak. Ők a vizsgakurzust vették fel.
• Azok a hallgatók, akik már az alapképzésben szerezték meg az aláírást, de nem sikerült a vizsgájuk, szintén a vizsgakurzust vették fel.
• Azok a hallgatók, akiknek a kifutó ötéves képzésben nem sikerült aláírást szerezniük, helyettesítő tárgyként vehették fel ezt a tantárgyat. Ők az új vizsgakövetelmények szerint vizsgáznak.
• Letölthetők az utóbbi néhány félév előadásdiái és gyakorlati anyagai.

Előadások / Lecture classes

• Bevezetés, követelmények: PDF (1 fólia/lap) PDF (4 fólia/lap)
• Cékla: PDF (1 fólia/lap) PDF (4 fólia/lap) Cékla példaprogramok
• Prolog alapok: PDF (1 fólia/lap) PDF (4 fólia/lap) Prolog példaprogramok
• Erlang alapok: PDF (1 fólia/lap) PDF (4 fólia/lap) Erlang példaprogramok
• Haladó Prolog: PDF (1 fólia/lap) PDF (4 fólia/lap)
• Haladó Erlang: PDF (1 fólia/lap) PDF (4 fólia/lap) Erlang példaprogramok
• Összes fólia: PDF (1 fólia/lap) PDF (4 fólia/lap)
• Cékla fordító

Gyakorlatok / Practice classes

1. Cékla-gyakorlat: TXT (utf-8) PDF (2 oldal/A4) megoldás: CPP PDF (2 oldal/A4)
2. Prolog-gyakorlat: TXT (latin-2) PDF (2 oldal/A4)
3. Erlang-gyakorlat: TXT (utf-8) PDF (2 oldal/A4) megoldás: ERL (utf-8) PDF (2 oldal/A4)
4. Erlang-gyakorlat: TXT (utf-8) megoldás: ERL (utf-8)
5. Prolog-gyakorlat: TXT (latin-2) PDF (2 oldal/A4)
6. Prolog-gyakorlat: TXT (latin-2) PDF (2 oldal/A4)

Házi feladatok / Homeworks

• 0. kis házi feladat Cékla nyelven: Szám kevertje.
  Beadási határidő: 2011. október 4., kedd, 23:59
• 1. kis házi feladat Prolog és Erlang nyelven Mátrix feldarabolása.
  Beadási határidő: Prolog – 2011 október 18., kedd, 23:59; Erlang – 2011 október 25., kedd, 23:59
• 2. kis házi feladat Prolog és Erlang nyelven Megengedett mezőértékek meghatározása.
  Beadási határidő: Prolog – 2011 november 2., szerda, 23:59; Erlang – 2011 november 8., kedd, 23:59
• 3. kis házi feladat Prolog és Erlang nyelven Sudoku-megoldás ellenőrzése.
  Beadási határidő: Prolog – 2011 november 17., csütörtök, 23:59; Erlang – 2011 november 22., kedd, 23:59
• Nagy házi feladat Prolog és Erlang nyelven Sudoku-variáció: páratlan összegek.
  Beadási határidő: Prolog – 2011 december 1., csütörtök, 23:59; Erlang – 2011 december 5., hétfő, 23:59; (közös) dokumentáció – 2011 december 7., szerda 23:59

Zárthelyik / Mid-term tests

• A nagyzárthelyi időpontja: 2011-10-26 (szerda) 08:00--10:00, helye: IB026,IB027,IB028. Jelentkezési határidő: 2011-10-25, 11:59.
  Beosztás a vezetéknév kezdőbetűje szerint:
  • I.B.026: A – F
  • I.B.027: G – M
  • I.B.028: N – Zs
• A pótzárthelyi időpontja: 2011-11-23 (szerda) 08:00--10:00, helye: I.B.026. Jelentkezési határidő: 2011-11-21, 23:59.
  
• Frissítés: A pót-pót-zárthelyi időpontja: 2011-12-16 (péntek) 10:00--12:00, helye: Q.BF12. Jelentkezési határidő: 2011-12-14, 23:59.
  

Vizsgák / Exams

• Elővizsga ideje: 2011.12.16. 10:00--15:00, helye: QBF12
• 1. vizsga ideje: 2011.12.20. 8:00--16:00, helye: IB142, IB134
• 2. vizsga ideje: 2011.12.23. 8:00--12:00, helye: IB134, IB139
• 3. vizsga ideje: 2012.01.06. 8:00--14:00, helye: IB134, IB139
• 4. vizsga ideje: 2012.01.20. 8:00--12:00, helye: IB134, IB139

• A vizsga menete. A vizsga 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

Levelezőlista / Mailing list

Követelmények / Requirements

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

• FP-GYIK HTML PDF (Hungarian only)
• LP-GYIK PDF (Hungarian only)

Elektronikus TanárSegéd / Electronic Tutoring System

Gyakorlórendszer / Exerciser