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

Á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-09-08):

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

Segédanyagok az előadásokhoz:

előadás: sum és benchee: Livebook Markdown LIVEMD – PDF
előadás: fibonacci és benchee, debugging (kino): 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.

Felvezető anyagok

Elixir

Livebook for Elixir

https://livebook.dev/

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

Feladatsorok

Elixir

Livebook for Elixir

gyakorlat feladatsora: 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-22, szerda	2025-11-02, vasárnap, 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

Friss hírek / News