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

Általános tudnivalók / General information

Generatív mesterséges intelligencia (GMI) használata

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

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!

Konzultáció, távkonzultáció

A gyakorlatokon kiadott feladatok, valamint a házi feladatok megoldását igény esetén (táv)konzultációval is segítjük. A (táv)konzultáció iránti igényt a Teams csoportban lehet jelezni.

Homokozók

Nézni-, hallgatni- és olvasnivalók

Vendégelőadók előadásai (2022–2025)
Videók
Olvasnivalók

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ékének ö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 5.: Schönherz Qpa

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

Funkcionális programozás (FP): szept. 7-től okt. 19-ig okt. 6. kivételével (6 alkalom).
Logikai programozás (LP): okt. 26-tól nov. 30-ig (6 alkalom)
Tervezett vendégelőadás: dec. 7.

Előadásdiák:

Gyakorlatok / Practice classes

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

Szept. 15: BME Diáknapok – Egyetemi sportnap; október 6.: 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. 8-tól okt. 20-ig okt. 7. kivételével (6 alkalom)
LP: okt. 27-től dec. 1-ig (6 alkalom)
Később meghatározandó témájú: dec. 8.

A VISZAD00 hallgatóknak hat helyett csak három kötelező tantermi gyakorlatuk van, de az összes gyakorlatra bejöhetnek. Ütemterv:

FP: szept. 8., 29., okt. 13.
LP: okt. 27., nov. 10., 24.

Az első alkalom kivételével önállóan kell megoldani a feladatokat a gyakorlatra való felkészülés során, valamint elmaradás vagy hiányzás esetén. Az önálló feladatmegoldáshoz távkonzultációra is van lehetőség.
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

Prolog

Házi feladatok / Homeworks

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

Ütemterv (tervezet)

HF	Kiírás	Beküldés
Khf 1 (FP)	2026-09-23, szerda	2026-10-04, vasárnap, 23:59
Khf 2 (FP)	2026-09-30, szerda	2026-10-11, vasárnap, 23:59
Khf 3 (FP)	2026-10-14, szerda	2026-10-25, vasárnap, 23:59
Nhf 1 (FP)	2026-10-14, szerda	2026-11-01, vasárnap, 23:59
Khf 4 (LP)	2026-11-04, szerda	2026-11-15, vasárnap, 23:59
Khf 5 (LP)	2026-11-11, szerda	2026-11-22, vasárnap, 23:59
Khf 6 (LP)	2026-11-18, szerda	2026-11-29, vasárnap, 23:59
Nhf 2 (LP)	2026-11-18, szerda	2026-12-06, vasárnap, 23:59
Nhf1, Nhf2 dokumentáció		2026-12-06, vasárnap, 23:59

Friss hírek / News