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

Friss hírek / News

Elkészült a nzh1-hez a terembeosztás 2025-10-30-i verziója. További tudnivalók a Zárthelyik szakaszban.
Kiírtuk a negyedik kis házi feladatot, amelyet már Prolog nyelven kell elkészíteni. A 4. kis házi feladat hamarosan beadható lesz az ETS-sel.
Töltse le, próbálja ki az nzh1-en használandó virtuális gépet (6,9 GB), gyakorolja a használatát. Olvassa el a használati útmutatót. Továbbiak a Zárthelyik szakaszban.
Letölthetők az FP-gyakorlatok megoldásai, lásd a Gyakorlatok / Feladatsorok szakaszt.
Az FP-zh-t nem a teljesítményértékelési terv szerinti időpontban, hanem nov. 10-én, hétfőn 16:00-tól szeretnénk megíratni két turnusban. A turnusbeosztáshoz szavazást indítunk, kérjük, válaszoljanak a körkérdésekre az ETS-ben, az Adataim menüpontban. További tudnivalók a zh-ról itt olvasható.
Kiírtuk az első nagy házi feladatot. Letölthető hozzá a teszteseteket futtató szkript is. Beadható be az ETS-sel. (Frissítve: 2025-10-17)
Kiírtuk a harmadik kis házi feladatot. Letölthető hozzá a teszteseteket futtató szkript is. Beadható az ETS-sel. (Frissítve: 2025-10-08)
Kiírtuk a második kis házi feladatot. Letölthető hozzá a teszteseteket futtató szkript is. Beadható az ETS-sel. (Frissítve: 2025-09-30)
Kiírtuk az első kis házi feladatot. Letölthető hozzá a teszteseteket futtató szkript is. Beadható az ETS-sel. (Frissítve: 2025-09-23)
Az FP-gyakorlatokra lehetőleg hozzanak magukkal olyan számítógépet, ami akkumulátorral legalább 90 percen át működőképes.
Az őszi félév 2025. szeptember 8-án, hétfőn elkezdődött.

Általános tudnivalók / General information

Iránymutatás hallgatóknak és oktatóknak az MI alkalmazásáról (BME VIK)

A Deklaratív programozás oktatói támogatják a generatív MI (GMI) eszközök etikus alkalmazását e tantárgy keretében is, de elvárják a hallgatóktól, hogy a programjaikat önállóan készítsék el, ötleteken kívül más személyektől vagy GMI eszközöktől ne vegyenek igénybe segítséget, a programkódot minden esetben saját maguk írják meg, ismerjenek minden részletet a megoldásukban, és képesek legyenek elmagyarázni a megoldásuk minden részletét az oktatóiknak. Személyek vagy GMI eszközök segítsége esetén ezt a körülményt dokumentálni kell a programkódban – Elixir esetén a @moduldoc szekcióban. Példák:

A szűkítő algoritmus vázlatát Gipsz Jakab évfolyamtársammal beszéltem meg.

A programíráshoz ötleteket kértem a ChatGPT-4o-tól a következő promptokkal:
"Mutass Elixir-példát multihalmazok kezelésére.", "Mit javítsak a csatolt kódban, hogy még inkább funkcionális stílusú legyen?"

Figyelem: a zárthelyiken nem lesz mód GMI-eszközök használatára!
A gyakorlatokon kiadott, valamint a házi feladatok megoldását igény esetén távkonzultációval is segítjük. A távkonzultáció iránti igényt a Teams csoportban lehet jelezni.
Homokozók
Vendégelőadók előadásai (2022–2024)
Videók
Olvasnivalók
Ismert különbségek a SICStus és SWI(SH) Prolog rendszerek között.

Kapcsolattartás

A tantárgy hallgatóival a kapcsolatot az előadások és gyakorlatok mellett itt, azaz a DP-honlapon, az ETS-en, a Teams-en és a Neptunon 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, illetve a VISZAD01 tantárgyi adatlapokon találja meg.

IMSc-pontok

A tantárgyból háromféle módon szerezhető IMSc-pont:

a Prolog-nagyzárthelyi során pluszfeladatok megoldásával,
a nagy házi feladatot legalább egy nyelven teljesítők esetén az éles teszt 40%-os teljesítése felett minden további 10% teljesítéséért mindkét nyelv esetén 1–1 pont,
a nagy házi feladat létraversenyén 40%-os teljesítés felett minden további 10% teljesítéséért mindkét nyelv esetén 1–1 pont.

A hallgató a fenti három pontszám összegét, de legfeljebb a tárgy kreditértékenek ötszörösét kapja meg IMSc-pontként.

Előadások / Lecture classes

Az előadások helye: IB026, ideje hétfőnként 14:15-16:00.

Október 6.: Schönherz Qpa

A tananyag azonos a két (VISZAD00, VISZAD01) kurzuson. Ütemterv:

Bevezető + FP: szept. 8.
Funkcionális programozás (FP): szept. 15., 22., 29., okt. 13.
Logikai programozás (LP): okt. 20., 27., nov. 3., 10., 17.
Kitekintés (DP): nov. 24., dec. 1., 8.

Előadásdiák (Utolsó feltöltés: 2025-10-27):

Teljes prezentáció (PDF): 1 fólia/lap – 4 fólia/lap

Segédanyagok az előadásokhoz:

Az előadásokon szerepelt Elixir-példák: fpea.ex, test_decval.exs, dp_fun.exs. dp_lifo.ex, dp_tree.ex, dp_lazy.ex

előadás – sum és benchee: Livebook Markdown LIVEMD – PDF
előadás – dinamikus programozás (Fibonacci), benchee és debugging (kino): Livebook Markdown képpel ZIP – Livebook Markdown LIVEMD – PDF
előadás – csúszóablak, kihagy-bevesz rekurzió: Livebook Markdown LIVEMD – PDF

Gyakorlatok / Practice classes

A gyakorlatok helye: IB027 és IE007, ideje keddenként 10:15-12:00.

Szept. 16: BME Diáknapok – Egyetemi sportnap; október 7.: Schönherz Qpa

A tananyag azonos a két (VISZAD00, VISZAD01) kurzuson.

A VISZAD01 hallgatóknak minden héten van tantermi gyakorlatuk. Ütemterv:

FP: szept. 9., 23., 30., okt. 14., 21.
LP: okt. 28., nov. 4., 11., 18., 25.

A VISZAD00 hallgatóknak kéthetente van tantermi gyakorlatuk, a közbülső hetekben bejöhetnek, de nem kell bejárniuk. Ütemterv:

FP: szept. 9., 30., okt. 21..
LP: okt. 28., nov. 11., 25.

Dec. 2-a tartalék, dec. 9-én a gyakorlat idejében konzultációt tartunk.
Önállóan kell megoldani a feladatokat, ha nem maradt rájuk idő a gyakorlaton, vagy ha valaki bármilyen okból hiányzott a gyakorlatról.
Az önálló feladatmegoldáshoz távkonzultációra van lehetőség. A megoldásokat a következő gyakorlatokon is meg lehet beszélni.
Az FP-gyakorlatok anyagát Livebook for Elixir formátumban adjuk ki, ezzel az applikációval kell megoldani. Ezért kérjük, hogy az FP-gyakorlatokra lehetőleg hozzanak magukkal olyan számítógépet, ami akkumulátorral legalább 90 percen át működőképes.

Feladatsorok

Elixir

Livebook for Elixir

gyakorlat feladatsora: Livebook Markdown képekkel ZIP – Livebook Markdown LIVEMD – PDF, megoldása: EXS
gyakorlat feladatsora: Livebook Markdown LIVEMD – PDF, megoldása: EXS
gyakorlat feladatsora: Livebook Markdown LIVEMD – PDF, megoldása: EXS
gyakorlat feladatsora: Livebook Markdown LIVEMD – PDF, megoldása: EXS
gyakorlat feladatsora: Livebook Markdown LIVEMD – PDF, megoldása: EXS + mintazéhá: Livebook Markdown LIVEMD – PDF

Prolog

gyakorlat feladatsora (okt. 28.): TXT

Felvezető anyagok

Elixir

Livebook for Elixir

https://livebook.dev/

gyakorlat felvezető anyaga: Livebook Markdown képekkel ZIP – Livebook Markdown LIVEMD – PDF

Házi feladatok / Homeworks

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

Ütemterv

HF	Kiírás	Beküldés
Khf 1 (FP)	2025-09-17, szerda	2025-09-28, vasárnap, 23:59
Khf 2 (FP)	2025-09-24, szerda	2025-10-05, vasárnap, 23:59
Khf 3 (FP)	2025-10-01, szerda	2025-10-12, vasárnap, 23:59
Nhf 1 (FP)	2025-10-08, szerda	2025-10-26, vasárnap, 23:59
Khf 4 (LP)	2025-10-27, hétfő	2025-11-06, csütörtök, 23:59
Khf 5 (LP)	2025-10-29, szerda	2025-11-09, vasárnap, 23:59
Khf 6 (LP)	2025-11-05, szerda	2025-11-16, vasárnap, 23:59
Nhf 2 (LP)	2025-11-12, szerda	2025-11-30, vasárnap, 23:59
Nhf1, Nhf2 dokumentáció		2025-12-07, vasárnap, 23:59

A házi feladatok kiírása

1. kis házi feladat Elixir nyelven: Hányféle. 2025. szeptember 28-áig volt beadható az ETS-sel. Pótlási lehetőség nincs.
2. kis házi feladat Elixir nyelven: Számtekercs kiterítése. 2025. október 5-éig volt beadható az ETS-sel. Pótlási lehetőség nincs.
3. kis házi feladat Elixir nyelven: Ciklikus számlisták. 2025. október 8-ától beadható az ETS-sel. Pótlási lehetőség nincs.
1. nagy házi feladat Elixir nyelven: Számtekercs. 2025. október 17-étől beadható az ETS-sel. Pótlási lehetőség nincs.
4. kis házi feladat Prolog nyelven: A számtekercs feladvány megoldásának ellenőrzése. A házi feladat fogadására az ETS még nincs felkészítve.

Zárthelyik / Tests

NZH-FP (nhz1): nov. 5., szerda 18:00-20:00 (a teljesítményértékelési terv szerint), továbbá nov. 10., hétfő 16:00-18:00 és 18:00-20:00.

Az nzh1-et a kari vizsgaközpontban íratjuk, három időpontban. A munkaállomásokon Virtualbox virtuális gépen a Livebook for Elixir fut, a virtuális gépről böngészőből elérhetők még az ETS és az nzh1-en használható Elixir modulok dokumentációja.

Töltse le, próbálja ki az FP-zh-n használandó virtuális gépet (OVA fájl, 6,9 GB), gyakorolja a használatát. Olvassa el a használati útmutatót (2025-10-30-i verzió). Az OVA fájl mellett található mintazéhát (LIVEMD fájl) be is adhatja az ETS-sel. (Az OVA és a LIVEMD fájlok, valamint az útmutató utolsó frissítése: 2025-10-30.)

Október 22-éig lehetett választani (ETS, körkérdések) a nov. 5-i és a nov. 10-i időpontok közül. A vizsgaterem létszámkorlátos, ezért a körkérdésre adott válaszok és a további jelentkezések alapján készült el a beosztás három időpontra: nov. 5., szerda, 18:00-20:00, nov. 10., hétfő 16:00-18:00 és nov. 10., hétfő 18:00-20:00.

A beosztás itt nézhető meg (utolsó frissítés: 2025-10-30). Aki nem találná a Neptun-kódját a beosztásban, de megírná a zéhát, írjon üzenetet a Teamsben. Már csak. nov. 5-ére, szerdára lehet jelentkezni.

A nov. 10-ei időpont elfogadásával tudomásul vették, hogy az új időpontban megírt zárthelyi javítása vagy pótlása pontosan olyan feltételekkel lehetséges, mint a teljesítményértékelési tervben kiírt zárthelyi javítása vagy pótlása.

NZH-LP: dec. 10., szerda, 18:00-tól
PZH-FP-LP: dec. 17., szerda (pótlási hét)
PPZH-FP-LP: 2026. jan. 5., hétfő (vizsgaidőszak)

Mintazéhák

Elixir-mintazéhá: Livebook Markdown LIVEMD – PDF