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

Friss hírek / News

• A létraverseny eredményei, pontszámokkal az utolsó oszlopban (2008-12-20): TXT - PDF
• Prolog-mintafeladatsor - Elméleti Prolog-tételek
• SML-mintafeladatsor (a struktúrája hasonló az új Erlang-tételekéhez) - Elméleti Erlang-tételek
• A házi feladatok éles tesztelése befejeződött, a kapott pontszámait mindenki megnézheti az ETS-ben.
• A november 27-éig tartott előadások és gyakorlatok anyaga letölthető a honlapról.
• Az összes kis és a nagy házi feladat kiírása, valamint az utóbbihoz a keretprogram letölthető a honlapról.
• A vizsgák időpontja itt látható. A vizsgákra a Neptunban kell jelentkezni.

Általános tudnivalók / General information

• Az előadások ideje és helye: minden héten hétfőn 14.15-16.00 és - szept. 11-től számítva - minden páratlan oktatási héten csütörtökön 10.15-12.00 az IB.027-ben. Az előadásokon használt diák és a bemutatott programok innen tölthetők le.
• A tantermi gyakorlatok ideje és helye: szept. 11-től számítva - minden páros oktatási héten csütörtökön 10.15-12.00 az IB.134-ben, IB.138-ban és IB.139-ben. A gyakorlatokra a hallgatók beosztása és a tananyag innen tölthető le.
• A SICStus Prolog licencet a tárgy regisztrált hallgatói letölthetik az ETS-ből.
• Az alapképzésben most először induló tárgyban a Prolog mellett az Erlang nyelvet fogjuk használni (a korábbi Standard ML helyett).
• 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 vizsgáztak le, vizsgakurzusként vehetik fel a tárgyat. Ők a korábbi vizsgakövetelmények szerint fognak vizsgázni.
• 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 vehetik fel a tárgyat. Ők az új vizsgakövetelmények szerint fognak vizsgázni.

• Bevezető előadás: PDF (2008-09-11)
• Szekvenciális Erlang, 1. rész: PDF (2008-09-30)
• Erlang programkód: dpr.erl (2008-09-30) - dprrec.hrl (2008-09-30) - stack.erl (2008-09-30) - tree.erl (2008-09-30)
• Prolog bevezetés, 1.-4. előadás: PDF, 1 fólia/lap PDF, 4 fólia/lap (2008-10-11)
• Prolog bevezetés, 5.-7. előadás: PDF, 1 fólia/lap PDF, 4 fólia/lap (2008-11-01)
• Prolog programpéldák, 1.-7. előadás: zip (2008-11-01)
• Prolog II. rész, 8.-12. előadás: PDF, 1 fólia/lap PDF, 4 fólia/lap (2008-12-14)
• Prolog programpéldák 8.-12. előadás: zip (2008-12-14)
• Szekvenciális Erlang, 2. rész: PDF (2008-11-13)
• Erlang programkód: futam.erl (2008-11-13) - halmaz.erl (2008-11-13) - rend.erl (2008-11-13) - misc.erl (2008-11-13)

• A számolótábla leírása (gy1): PDF (2008-09-18)
• A calc.erl programlista (gy1): PDF (2008-09-17)
• A számolótábla-program kódja (gy1): ZIP (2008-09-17)
• Gyakorló kisfeladatok (gy1) - gyakorlásként saját maguk gépeljék be! PDF (2008-09-19)
• Gyakorló kisfeladatok (gy2) - Prolog kód (2008-10-19)
• Gyakorló kisfeladatok (gy3) - Prolog kód (2008-11-01)
• A Prolog számolótábla-program kódja (gy2-3): ZIP (2008-10-28)
• Generikus keresőfák Erlangban (gy4) - Leírás (PDF) - Erlang kód (2008-11-30)
• Gyakorló kisfeladatok (gy5) - Prolog kód (2008-11-27)

• Nagy házi feladat: Sudoku-variáció. Beadási határidő: 2008. december 8. Keretprogram, tesztesetekkel. 400 Teszteset megoldásokkal. Beadható.
• 3. kis házi feladat: Sudoku-megoldás ellenőrzése. Beadási határidő: 2008. november 24. Lejárt.
• 2. kis házi feladat: Megengedett mezőértékek meghatározása. Beadási határidő: 2008. november 17. Lejárt. Pontszámok az ETS-ben.
• 1. kis házi feladat: Sudoku-mátrix előállítása. Beadási határidő: 2008. október 13. Lejárt. Pontszámok az ETS-ben.

• A nagyzárthelyi időpontja: 2008-11-05 (szerda) 17.00-19.00, helye: CH.Max. Jelentkezési határidő: nov. 4., 24:00 volt.
• A pótzárthelyi időpontja: 2008-11-17 (hétfő), 17.00-19.00, helye: IB.312. Jelentkezési határidő: nov. 15., 24:00 volt.
• Minta-feladatsorok és megoldásuk: Erlang-feladatsorminta és megoldása - Prolog-feladatsorminta és megoldása

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