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

Friss hírek / News

Az nhf-védés beosztása

Bővítettük az IMSc-pontok szerzésének szabályait, lásd itt.
Saša Jurić Concurrent Elixir című, 2024. december 2-ai előadásának prezentációja itt megnézhető. A demóprojekt itt található. Az előadás egy korábbi verziójának videófelvétele itt nézhető meg.
Megnézhetők a létraverseny végeredményei és a megajánlott jegyek.
A 2024. dec. 6-i nagyzéháról:
- A ZH 14:00-16:00 között lesz. A Q-I terembe jöjjön, ha vezetéknevének első betűje az A-M tartományba esik, egyébként a Q-II terembe.
Azok a DP-hallgatók, akik meghallgatják Saša Jurić (az Elixir in Action szerzője, a The Erlangelist bloggere) Concurrent Elixir című előadását 2024. dec. 2-án, hétfőn 10:15–12:00 között, plusz 3 pontot kapnak, ezzel javíthatják a félévi osztályzatukat. Kérjük a DP minden hallgatóját, hogy az ETS Adataim menüpontjában válaszoljon a kérdésre, részt vesz-e az előadáson.
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ábbá 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.

This talk aims to support these claims, starting from the ground up. We'll cover the basics of concurrency in Elixir, and explore key properties that make it particularly useful in software systems. Finally, we'll top it off by discussing a few real-world use-cases 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. november 14-ei 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.

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 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-30, szombat, 23:59
Nhf 2 (LP)	2024-10-15	2024-11-30, szombat, 23:59
Nhf dokumentáció		2024-12-08, vasárnap, 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 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 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 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 beadható az ETS-sel. Pótlási lehetőség nincs.
nagy házi feladat Prolog nyelven: Számtekercs. 2024. november 22-étől beadható az ETS-sel. Pótlási lehetőség nincs.
Tippek 2. változata a nagy házi feladat megvalósításához.

Nagy házi feladatok futási idői, a létraverseny eredménye, megajánlott jegyek

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.

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

A megajánlott jegyek.
Jó (4) megajánlott jegyet azok kaphatnak, akiknek mindkét nhf-je bejutott a létraversenybe, de a jeles osztályzat feltételeit nem teljesítették.
Jeles (5) megajánlott jegyet azok kaphatnak, akiknek mindkét nhf-je legalább 4-4 tesztesetet sikeresen megoldott a létraversenyben, továbbá azok, akiknek az egyik nhf-je az első húsz helyen végzett, a másik pedig legalább egy tesztesetet sikeresen megoldott.

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., péntek, 10:00-12:00, IB025 (pótlási hét)
PPZH-FP-LP: dec. 16–20. között (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