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

Friss hírek / News

Megnézhetők a létraverseny eredményei, a megajánlott jegyek, és a NHF védésről szóló információk.
PZH-FP&LP (Elixir & Prolog): 2022-12-02, péntek, 08:00-10:00, K155
Az e félévi utolsó DP-előadást Francesco Cesarini, az Erlang Solutions (https://www.erlang-solutions.com/about/) alapítója és műszaki igazgatója tartja holnap, november 15-én, kedden 10:15-től Concurrency for Scalability and Reliability címmel. Reméljük, hogy mindenki ott lesz! A résztvevők plusz 3 pontot kapnak, ezzel javíthatják a félévi osztályzatukat.
A november 14-i előadáson ismertetett könnyű kihívás feladat: Írjunk egy olyan Prolog programot, amely egy olyan aritmetikai kifejezést generál a másodperc töredéke alatt, amelyet az `is´ beépített eljárás évezredek alatt sem tud kiértékelni. Letölthető innen (Prolog forráskód, utf-8).
A november 14-i előadáson ismertetett nehéz Prolog "kihívás"-feladat leírása, bevezető példákkal együtt elérhető itt (Prolog forráskód, utf-8). A megoldásokat ill. az esetleges kérdéseket a szeredi@cs.bme.hu email címre kérjük elküldeni, 2022. november 28-ig.
Megnézhetők az Elixir létraverseny eredményei.
Beadható az nhf2 (Prolog) és a dokumentációja az ETS-sel.
Fölraktuk a 6. Prolog gyakorlat feladatsorát.
Beadható a Prolog nhf az ETS-sel.
Beadható a 6. Prolog khf az ETS-sel (az opcionális részt is beleértve).
Kiírtuk a 6. Prolog khf-et.
Beadható az 5. Prolog khf az ETS-sel.
Fölraktuk az 5. Prolog gyakorlat feladatsorát és mintamegoldását.
Fölraktuk a 2. Prolog nhf előzetes kiírását.
Kiírtuk a 4. Prolog khf-et.
Fölraktuk a 4. Prolog gyakorlat feladatsorát és mintamegoldását.
Beadható az nhf1 (Elixir) és a dokumentációja az ETS-sel.
Tudnivalók az 1. nagyzéháról (Elixir).
Fölraktuk az 1. Elixir nhf teljes kiírását.
Beadható a 3. Elixir khf az ETS-sel.
Fölraktuk a 3. Elixir gyakorlat feladatsorát.
Fölraktuk az 2. Elixir gyakorlat mintamegoldását.
SICStus Prolog letöltési és licencinformációk elérhetők az ETS SICStus licenc menüpontjában.
Beadható az 2. Elixir khf az ETS-sel.
Fölraktuk az 1. Elixir nhf előzetes kiírását.
Kiírtuk a 3. Elixir khf-et.
Kiírtuk a 2. Elixir khf-et.
Beadható az 1. Elixir khf az ETS-sel.
Fölraktuk a 2. Elixir gyakorlat feladatsorát.
Fölraktuk az 1. Elixir gyakorlat mintamegoldását.
Kiírtuk az 1. Elixir khf-et.
Az őszi félév 2022. szeptember 5-én, hétfőn elkezdődött.

Általános tudnivalók / General information

Az előadások ideje, helye:
Hétfő: 10:15-12:00 (szept. 5., 12., 19., okt. 3., 10., 17., 24., nov. 7., 14.), IB025
Kedd: 10:15-12:00 (szept. 6., 27., okt. 18., nov. 15.), IB025
A gyakorlatok ideje, helye:
Kedd: 10:15-12:00 (szept. 13., 20., okt. 4., 11., 25., nov 8.), IB025
Csüt.: 14:15-16:00 (szept. 15., 22., okt. 6., 13., 27., nov 10.), IB138, IB139
Távjelenlétes konzultáció: a gyakorló, ill. a kis házi feladatok megoldását távkonzultációval is segíteni szeretnénk, ezért minden héten csütörtökön 17 és 19 óra között távjelenlétes konzultációt tartunk a Teamsben. A távkonzultációra a Teamsben kell jelentkezni (részletek később).
Az SWI Prolog homokozó elérhető itt.
A Tau-Prolog homokozó elérhető itt.

Kapcsolattartás

A tantárgy hallgatóival a kapcsolatot az előadások és gyakorlatok mellett a DP-honlapon és az ETS-en keresztül tartjuk.

Követelmények, osztályzás

A tantárgyi követelményeket és az osztályzat meghatározásának módját a VISZAD00 tantárgyi adatlapon találja meg.

Gyakorlatok / Practice classes

gyakorlat (Elixir): PDF feladatsor (2 A4-es oldal) - PDF feladatsor megoldása (4 A4-es oldal) - Elixir feladatsor megoldásának forráskódja (utf-8) -
PDF gyakorló feladatok (2 A4-es oldal) - PDF gyakorló feladatok megoldása (4 A4-es oldal) - Elixir gyakorló feladatok megoldásának forráskódja (utf-8)
gyakorlat (Elixir): PDF feladatsor (2 A4-es oldal) - PDF megoldás (4 A4-es oldal) - Elixir forráskód (utf-8)
gyakorlat (Elixir): PDF feladatsor (4 A4-es oldal)
gyakorlat (Prolog): Feladatsor (7 A4-es oldal) PDF TXT
A gyakorlaton az alább felsorolt programozási feladatokat javasoljuk megoldani.
Ha elakadnak, az alábi linkekre kattintva tippeket tölthetnek le a továbblépéshez:
P1 tipp, P2 tipp, P3 tipp, P5 tipp, P8 tipp, P9 tipp, P10 tipp -
PDF megoldás (4 A4-es oldal) - Prolog forráskód (utf-8)
gyakorlat (Prolog): Feladatsor: TXT (utf-8), megoldás: Prolog forráskód (utf-8)
gyakorlat (Prolog): Feladatsor: PDF, TXT (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).

Ütemterv

HF	Kiírás	Beküldés
Khf 1 (FP)	2022-09-18	2022-09-26, hétfő, 23:59
Khf 2 (FP)	2022-09-22	2022-10-02, vasárnap, 23:59
Khf 3 (FP)	2022-09-28	2022-10-09, vasárnap, 23:59
Nhf 1 (FP)	2022-09-28	2022-10-19, szerda, 23:59
Khf 4 (LP)	2022-10-12	2022-10-24, hétfő, 23:59
Khf 5 (LP)	2022-10-19	2022-11-02, szerda, 23:59
Khf 6 (LP)	2022-10-26	2022-11-06, vasárnap, 23:59
Khf 6 (LP) opcionális rész	2022-10-26	2022-11-08, kedd, 23:59
Nhf 2 (LP)	2022-10-19	2022-11-13, vasárnap, 23:59, Dokumentáció: 2022-11-15, kedd, 23:59

A házi feladatok kiírása

kis házi feladat Elixir nyelven: Kemping. 2022. szeptember 22-étől beadható az ETS-sel.
kis házi feladat Elixir nyelven: Kemping térképe. 2022. szeptember 29-étől beadható az ETS-sel.
kis házi feladat Elixir nyelven: Kemping helyessége. 2022. október 5-étől beadható az ETS-sel.

Nagy házi feladat Elixir nyelven: Sátrak. 2022. október 12-étől beadható az ETS-sel.

kis házi feladat Prolog nyelven: Sátrak mátrixa. 2022. október 18-átől beadható az ETS-sel.
kis házi feladat Prolog nyelven: Iránylisták. 2022. október 29-étől beadható az ETS-sel.

kis házi feladat Prolog nyelven: Összegfeltételek. A házi feladat és az opcionális rész egyaránt beadható az ETS-sel 2022. november 3-átől.

Nagy házi feladat Prolog nyelven: Sátrak. 2022. november 7-étől beadható az ETS-sel.
A nagy házi feladathoz tartozó kiegészítő állományok (keretprogram, tesztesetek, futási idők, README) ZIP-pel tömörített formában letölthetők innen.
Tippek a nagy házi feladat megvalósításához.

Az Elixir-létraverseny eredménye: TXT.
Jó megajánlott jegyet az kaphat, aki mindkét nyelven beadta a nagy házi feladatot, és mindkét programja bejutott a létraversenybe. A jeles megajánlott jegyhez az szükséges, hogy mindkét programja legalább 4 feladatot (tesztesetet) megoldjon a létraversenyben (lásd Megoldott feladatok oszlop). Akinek a neve a fenti listában szerepel, az a megajánlott jegy Elixir-feltételét teljesítette.

Megajánlott jegyek és létraverseny-eredmények

Kérjük azokat a hallgatókat, akik mindkét tárgyrészből bejutottak a létraversenybe, hogy az ETS Adataim menűpontjában a Körkérdések részben

Zárthelyik / Tests

NZH-FP (Elixir): 2022-10-14, péntek, 08:00-10:00, QAF15, K155, K150

Mintazéhá
Terembeosztás (Neptun-kódokkal).

NZH-LP (Prolog): 2022-11-18, péntek, 08:00-10:00, mintapéldákat lásd a 6. gyakorlatnál

PZH-FP&LP (Elixir & Prolog): 2022-12-02, péntek, 08:00-10:00, K155.
A PZH-n az NZH1 (FP) és az NZH2 (LP) egyaránt pótolható.
Arra is van lehetőség, hogy valaki mindkét NZH-t pótolja, de erre max 120 perce van (egy ZH időkerete 90 perc).

Elektronikus TanárSegéd / Electronic Tutoring System

Az Elektronikus TanárSegéd (ETS)

beszedi a házi feladatokat,
fogadja a jelentkezéseket a zárthelyikre és más alkalmakra,
gyűjti a válaszokat a körkérdésekre,
közli a házi feladatok és a zárthelyik eredményét,
segíteni tud a Prolog-tananyag gyakorlásában
stb.

Az ETS felületre - a biztonság érdekében - csak azonosítóval és jelszóval lehet belépni, ezeket az előadásokon közöljük a hallgatósággal.
Ezt követően mindenki a Neptun-kódjával léphet be, az első alkalommal jelszó nélkül, a továbbiakban saját jelszóra van szükség, amit az első belépés után be kell állítani.