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

Friss hírek / News

A félév utolsó előadását 2024. dec. 2-án, hétfőn 10:15–12:00 között az IB026-ban ismét Saša Jurić tartja Concurrent Elixir címmel. Minden jelenlegi, volt és leendő DP-hallgatót, továbá barátaikat, rokonaikat, tanáraikat és üzletfeleiket szeretettel várjuk!

Az angol nyelvű előadás kivonata:

In the family of BEAM languages, such as Erlang, Elixir, and Gleam, concurrency is perhaps the most defining feature. It is the secret sauce that sets these languages apart from most other languages, even the ones which offer superficially similar functionality.

BEAM concurrency assists in building fault-tolerant, scalable, highly-available systems, all while reducing the overall technical complexity of your solution. Elixir projects can often be launched in a simpler, more streamlined way, with fewer dependencies and less overhead compared to other technologies. At the same time, the solid foundation of BEAM ensures your system can scale over time, making major rewrites or migrations less likely, even as requirements evolve.ases that demonstrate concurrent thinking in Elixir.

You'll walk away with a better idea of what makes Elixir special, what are its strengths, and when you should consider using it.

Target audience are programmers with some familiarity in building server-side systems, such as web servers. No prior knowledge of Elixir is required.
A 2024. okt. 30-i nagyzéháról:
- A Q-I terembe jöjjön, ha vezetéknevének első betűje az A-N tartományba esik, egyébként a Q-II terembe.
Az őszi félév 2024. szeptember 2-án, hétfőn elkezdődött.
Saša Jurić Thinking in Elixir című, 2023. novemberi előadásának prezentációja itt megnézhető.
Francesco Cesarini – az Erlang Solutions alapítója és műszaki igazgatója – Concurrency for Scalability & Reliability - Using Erlang and Elixir's Concurrency című, 2022. novemberi előadásáról készült videó a Youtube-on megnézhető.

Általános tudnivalók / General information

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
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.

Előadások / Lecture classes

Az 5. héten (szept. 30.) a Schönherz-kupa miatt nem lesz előadás. Az előadások helye: IB026, ideje hétfőnként 10:15-12:00.

Bevezető + FP: szept. 2.
Funkcionális programozás (FP): szept. 9., 16., 23., okt. 7.
Logikai programozás (LP): okt. 14., 21., 28., nov. 4., 11.
Kitekintés (DP): nov. 18., 25., dec. 02.

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

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

FPE-1: interaktív Markdown – interaktív Markdown képekkel, zipelve – olvasható-nyomtatható PDF
FPE-2: interaktív Markdown – olvasható-nyomtatható PDF
FPE-3, FPE-4: nincs Livebook-prezentáció

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.

Gyakorlatok / Practice classes

A 3. héten (szept. 17.) sportnap miatt elmaradnak a gyakorlatok. A 14. (dec. 3.) héten a gyakorlat idejében konzultációt tartunk.
Ez az érvényes gyakorlatbeosztás, nem az, ami a Neptunban van.
A VISZAD00 hallgatóknak kéthetente van gyakorlatuk a QBF10-ben. A QBF10 telítődése esetén a be nem férő hallgatók menjenek át a QBF13-ba.

Páratlan sorszámú csoportok (11, 13) : szept. 3., 24., okt. 8., 22., nov. 5., 19.
Páros sorszámú csoportok (12, 14): szept.10., okt. 1., 15., 29., nov. 12., 26.
Nemcsak az előadások, hanem a gyakorlatok anyaga is ugyanaz a két kurzuson, így azok a VISZAD00 hallgatóknak, akiknek azon a héten nincs gyakorlata, önállóan kell megoldaniuk a feladatsorokat. A következő gyakorlaton, igény esetén távkonzultáció keretében meg lehet beszélni a feladatokat, a megoldásokat a gyakorlatvezetőkkel.

A VISZAD01 hallgatóknak minden héten van gyakorlatuk, mindkét csoportnak a QBF13-ban: szept. 3., 10., 24., ..., nov. 26.

Egyebek

Azok, akik akarnak, jöhetnek minden héten – feltéve, hogy beférnek a termekbe. Összesen kb. 150 ülőhely van a két teremben.
Javasoljuk, hogy azokat a feladatokat, amelyekre nem marad idő a gyakorlaton, gyakorló feladatként önállóan oldják meg.
Azoknak, akik valamilyen okból nem tudnak részt venni egy gyakorlaton, a feladatsorokat önállóan kell megoldaniuk.
Az önálló feladatmegoldáshoz igény esetén távkonzultációra lehetőség van. A megoldásokat a következő gyakorlatokon is meg lehet beszélni.

Feladatsorok

Az Elixir feladatsort tartalmazó Markdown fájlt töltse le saját számítógépére (ahhoz, hogy a képek is megjelenjenek, a zipelt verziót töltse le), majd oldja meg az Elixir Livebook alkalmazásban. Az alkalmazás letöltéséről, használatáról az előadásdiákon, még részletesebben itt olvashat: https://livebook.dev/

gyakorlat (Elixir) feladatsora: Livebook Markdown képekkel - Livebook Markdown - PDF, megoldása: EXS
gyakorlat (Elixir) feladatsora: Livebook Markdown - PDF, megoldása: EXS
gyakorlat (Elixir) feladatsora: Livebook Markdown - PDF, megoldása: EXS
gyakorlat (Elixir) feladatsora: Livebook Markdown ábrával - Livebook Markdown - PDF, megoldása: EXS
gyakorlat (Prolog) feladatsora (okt. 15.): TXT megoldás
gyakorlat (Prolog) feladatsora (okt. 22.): TXT megoldás
gyakorlat (Prolog) feladatsora (okt. 29.): TXT megoldás
gyakorlat (Prolog) feladatsora (nov. 5.): TXT megoldás
gyakorlat (Prolog) feladatsora (nov. 12.): TXT megoldás

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)	2024-09-10	2024-09-22, vasárnap, 23:59
Khf 2 (FP)	2024-09-17	2024-09-29, vasárnap, 23:59
Khf 3 (FP)	2024-09-24	2024-10-06, vasárnap, 23:59
Nhf 1 (FP)	2024-09-24	2024-10-13, vasárnap, 23:59
Khf 4 (LP)	2024-10-15	2024-10-28, hétfő, 23:59
Khf 5 (LP)	2024-10-22	2024-11-06, szerda, 23:59
Khf 6 (LP)	2024-10-29	2024-11-13, szerda, 23:59
Khf 7 (LP)	2024-11-09	2024-11-17, vasárnap, 23:59
Nhf 2 (LP)	2024-10-15	2024-11-24, vasárnap, 23:59
Nhf dokumentáció		2024-11-26, kedd, 23:59

A házi feladatok kiírása

Nagy házi feladatként a számtekercs feladvány megoldására kell programot írni, ehhez kapcsolódnak a kis házi feladatok is.

kis házi feladat Elixir nyelven: Feladványleíró konvertálása és ellenőrzése. 2024. szeptember 12-étől 22-én éjfélig beadható az ETS-sel. Pótlási lehetőség nincs.
kis házi feladat Elixir nyelven: Számtekercs kiterítése. 2024. szeptember 20-ától 29-én éjfélig beadható az ETS-sel. Pótlási lehetőség nincs.
kis házi feladat Elixir nyelven: Ciklikus számlisták. 2024. október 1-jétől 6-án éjfélig beadható az ETS-sel. Pótlási lehetőség nincs.
kis házi feladat Prolog nyelven: A számtekercs feladvány megoldásának ellenőrzése. 2024. október 20-ától beadható az ETS-sel.
kis házi feladat Prolog nyelven: Ismert értékeken alapuló sor-oszlop szűkítés. 2024. október 28-ától beadható az ETS-sel.
kis házi feladat Prolog nyelven: Értékek kizárásán alapuló sor-oszlop szűkítés. 2024. november 9-étől beadható az ETS-sel.
opcionális kis házi feladat Prolog nyelven: A számtekercs szűkítése. 2024. november 12-étől beadható az ETS-sel.

nagy házi feladat Elixir nyelven: Számtekercs. 2024. október 3-ától 13-án éjfélig beadható az ETS-sel. Pótlási lehetőség nincs.
nagy házi feladat Prolog nyelven: Számtekercs. A házi feladat fogadására az ETS még nincs felkészítve.

Nagy házi feladatok futási idői, az Elixir-létraverseny eredménye

Az nhf1 éles tesztelésének futási idői.
Az nhf1 létraverseny-tesztelésének futási idői.
Az nhf1 létraverseny eredménye.

Zárthelyik / Tests

NZH-FP: okt. 30., szerda, 18:00-20:00, Q-I, Q-II
NZH-LP: dec. 6., péntek, 14:00-16:00, Q-I, Q-II
PZH-FP-LP: dec. 13-tól (pótlási hét)
PPZH-FP-LP: dec. 20-tól (vizsgaidőszak első hete)

Az FP-zéhákat Livebookban vagy más Elixir környezetben kell megírni, és az ETS-be kell feltölteni .exs fájlként. Azok, akik nem tudnak számítógépet hozni, kivételesen papíron is megírhatják a zéhát. Ezeket a dolgozatokat szkenneljük, majd pdf-fájlként elküldjük a szerzőnek, akitől a megoldások utólagos begépelését és a .exs fájl megküldését fogjuk kérni.

Mivel nem tudjuk, hogy ki bízik a megajánlott jegy megszerzésében, ezért kérjük, hogy az ETS Adataim menüpontjában, a Körkérdések részben jelentkezzenek a zéhára 2024. október 28-áig. Itt adják meg azt is, ha nem tudnak számítógépet hozni, és ezért papíron akarják megírni a zéhát.

FP-mintazéhá: mintazh.exs