|
Deklaratív programozás / Declarative programming
2023. őszi félév / ... semester ...
BMEVISZAD00 (alapképzés) - BMETKVIB422 (English)
|
|
Friss hírek / News
-
Pótpótzéhá időpontja: 2023. dec. 13. 14:00-16:00, V1. ép. "C" szárny ("másfeledik emelet"), 213-as Neumann-terem.
-
Megnézhetők az NHF védésről szóló információk.
-
Elixir meetup: 2023. december 13., szerda, 17:00-tól: Presenting Edux, an Elixir web shell. Szeretettel várunk minden érdeklődőt 2023. december 13-án, szerdán 17:00-tól az Erlang Solutions budapesti irodájában (nem messze a BME-től, közel a Boráros térhez: Budapest, IX. Közraktár utca 32.,) egy Elixir/Erlang meetupra. Aki tervezi hogy jön, kérem jelezze a meetup eseményben, hogy nagyjából lássuk a várható létszámot: Elixir meetup.
-
A 2023. nov. 17. 8:00 kezdésű Prolog NZH terembeosztása.
-
Megnézhetők a létraverseny eredményei és megajánlott jegyek listája.
-
Saša Jurić Thinking in Elixir című prezentációja
letölthető
innen.
- A november 6-i
előadáshoz kapcsolódó könnyű kihívás feladat: Írjunk egy
olyan Prolog programot, amely egy olyan aritmetikai kifejezést
generál a másodperc töredéke alatt, amelyet az `is´ beépített
eljárás évezredek alatt sem tud kiértékelni. A megoldás
letölthető innen (Prolog
forráskód, utf-8).
- A november 6-i
előadáshoz kapcsolódó nehéz Prolog
"kihívás"-feladat leírása, bevezető példákkal együtt
elérhető itt (Prolog
forráskód, utf-8). A megoldásokat ill. az esetleges kérdéseket
a szeredi@cs.bme.hu email címre
kérjük elküldeni, 2023. november 27-ig.
-
2023. nov. 14-én, kedden 10:15-12:00 között Saša Jurić,
az Elixir in Action szerzője,
a The
Erlangelist bloggere tartja az utolsó DP-előadást Thinking in Elixir címmel,
angolul. További részletek magyarul,
angolul. Reméljük, hogy a DP minden hallgatója
ott lesz, sőt még vendégeket is hoz! A résztvevők
plusz 3 pontot kapnak, ezzel javíthatják a félévi osztályzatukat. A
prezentáció innen
letölthető.
-
Kiírtuk az 5. és 6. (Prolog) kis házi
feladatokat, mindkettő beadható az ETS-ben.
-
A negyedik (Prolog) gyakorlat feladatsora letölthető innen a DP-honlapról
-
Változott a gyakorlatok és előadások kiosztása:
- okt. 24-én és 26-án nem lesznek gyakorlatok, viszont okt. 24-én előadás lesz
- nov. 7-én nem lesz előadás, viszont nov. 7-én és 9-én gyakorlatok lesznek
Az új időpontokat alább piros színnel jeleztük.
-
Kiírtuk a negyedik kis házi feladatot (Prologból ez
az első). A beadási határidőt kiterjesztettük 2023 okt. 24-ig.
-
Tudnivalók a 2023. okt. 13-i (Elixir) zéháról.
-
A három (Elixir) kis házi feladatra kapott pontszámát mindenki megnézheti az ETS-ben, az Eredményeim
menüpontban. Ha egy khf mind a 10 éles tesztesetet jól megoldotta, akkor az adott khf 1 pontot kapott. Ha valaki
mind a hármat sikeresen megoldotta, akkor az összpontszám (3) dupláját (6) kapta: a kapott összpontszám látható
az Elixir kisházi összes korrigálva sorban.
-
A harmadik gyakorlat feladatsora és megoldása letölthető innen a DP-honlapról, és a
DP Teams-csoport Files/Fájlok mappájából.
-
2023. nov. 14-én, kedden 10:15-12:00 között Saša Jurić,
az Elixir in Action szerzője,
a The
Erlangelist bloggere tartja a DP-előadást. Részletek később.
-
Kiírtuk a harmadik kis házi feladatot (Elixir), valamint a nagy házi feladatot mindkét nyelven.
-
A második gyakorlat feladatsora és megoldása letölthető innen a DP-honlapról, és a
DP Teams-csoport Files/Fájlok mappájából.
-
Kiírtuk a második kis házi feladatot (Elixir).
-
Az első gyakorlat feladatsora és megoldása letölthető innen a DP-honlapról, és a
DP Teams-csoport Files/Fájlok mappájából.
-
Kiírtuk az első kis házi feladatot (Elixir).
- A múlt félév utolsó
előadását Francesco Cesarini, az
Erlang Solutions alapítója és műszaki igazgatója tartotta
Concurrency for Scalability & Reliability - Using Erlang and Elixir's Concurrency címmel.
Az előadás a Youtube-on megnézhető.
- Az őszi félév 2023. szeptember 4-én, hétfőn
elkezdődött.
Általános tudnivalók / General information
- Az előadások ideje, helye:
Hétfő: 10:15-12:00 (szept. 4., 11., 18., 25., okt. 9., 16., 30., nov. 6., 13.), IB025
Kedd: 10:15-12:00 (szept. 5., okt. 10., 24., nov. 7., 14.), IB025
- A gyakorlatok ideje, helye:
Kedd: 10:15-12:00 (szept. 19., 26., okt. 3., 17., 24., 31., nov. 7.), IB025
Csüt.: 14:15-16:00 (szept. 21., 28., okt. 5., 19., 26., nov. 2., 9.), IB138, IB145
Figyelem: a Neptunban az előadások és gyakorlatok kiosztása eltérhet a fentiektől.
Az itt látható kiosztás az igazi.
- Távjelenlétes konzultáció:
a gyakorlatokon kiadott, valamint a házi feladatok megoldását távkonzultációval is
segíteni szeretnénk, ezért igény esetén rendszeresen
távkonzultációt tartunk, amire majd a Teams csoportban lehet jelentkezni (részletek később itt a honlapon).
- Homokozók
- Videók
- Olvasnivalók
Kapcsolattartás
A tantárgy hallgatóival a kapcsolatot az előadások és gyakorlatok mellett 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
tantárgyi adatlapon találja meg.
Előadások / Lecture classes
Előadásdiák (Utolsó feltöltés: 2023-11-15):
Példaprogramok (Utolsó feltöltés: 2023-11-15):
Gyakorlatok / Practice classes
Az Elixir feladatsort tartalmazó Markdown fájlt töltse le saját számítógépére, majd
oldja meg az Elixir Livebook alkalmazásban. Az alkalmazás letöltéséről, használatáról
itt olvashat:
https://livebook.dev/
- gyakorlat feladatsora (Elixir):
Livebook Markdown -
PDF formátumban, valamint megoldásai:
Livebook Markdown -
PDF
- gyakorlat feladatsora (Elixir):
Livebook Markdown -
PDF formátumban, valamint megoldásai:
Livebook Markdown -
PDF
- gyakorlat feladatsora (Elixir):
Livebook Markdown -
PDF formátumban, valamint megoldásai:
Livebook Markdown -
PDF
- gyakorlat (Prolog):
Feladatsor (7 A4-es oldal) PDF TXT.
A gyakorlaton a következő programozási feladatokat javasoljuk megoldani: P1, P2, P3, P5, P8, P9, P10;
megoldás: Prolog forráskód (utf-8)
- gyakorlat (Prolog):
Feladatsor: TXT (utf-8);
megoldás: Prolog forráskód (utf-8)
- gyakorlat (Prolog):
Feladatsor (NZH-mintapéldákkal!)
TXT;
megoldás: Prolog forráskód (utf-8)
Házi feladatok / Homeworks
A házi feladatokat az ETS-sel kell
beadni (l. a HF beadás menüpontot az ETS-ben).
Ütemterv
| HF |
Kiírás |
Beküldés |
| Khf 1 (FP) |
2023-09-18 |
2023-09-24, vasárnap, 23:59 |
| Khf 2 (FP) |
2023-09-22 |
2023-10-01, vasárnap, 23:59 |
| Khf 3 (FP) |
2023-09-29 |
2023-10-08, vasárnap, 23:59 |
| Nhf 1 (FP) |
2023-09-29 |
2023-10-15, vasárnap, 23:59 |
| Khf 4 (LP) |
2023-10-16 |
2023-10-24, kedd, 23:59 |
| Khf 5 (LP) |
2023-10-20 |
2023-10-30, hétfő, 23:59 |
| Khf 6 (LP) |
2023-10-25 |
2023-11-05, vasárnap, 23:59 |
| Khf 6
(LP) opcionális rész |
2023-10-25 |
2023-11-07, kedd, 23:59 |
| Nhf 2 (LP) |
2023-10-27 |
2023-11-12, vasárnap, 23:59 |
| Nhf dokumentáció |
|
2023-11-14, kedd, 23:59 |
A házi feladatok kiírása
Nagy házi feladatként a sátrak feladvány megoldására kell programot írni,
ehhez kapcsolódnak a kis házi feladatok is. A sátrak feladványról az alábbi
webhelyeken olvashat, a megoldási stratégia kitalálására párat meg is oldhat belőlük.
- kis házi feladat Elixir nyelven:
Kemping.
2023. szeptember 19-étől 24-én éjfélig beadható az ETS-sel. Pótlási lehetőség nincs.
- kis házi feladat Elixir nyelven:
Kemping térképe.
2023. szeptember 24-étől október 1-jén éjfélig beadható az ETS-sel. Pótlási lehetőség nincs.
- kis házi feladat Elixir nyelven:
Kemping helyessége.
2022. október 2-ától beadható az ETS-sel.
- Nagy házi feladat Elixir nyelven:
Sátrak.
2023. október 2-ától beadható az ETS-sel.
- kis házi feladat Prolog nyelven:
Sátrak mátrixa.
2023. október 17-étől beadható az ETS-sel.
- kis házi feladat Prolog nyelven:
Iránylisták.
2023. október 25-étól beadható az ETS-sel.
- kis házi feladat Prolog nyelven:
Összegfeltételek.
A házi feladat és az opcionális rész egyaránt
beadható az ETS-sel 2023. október 25-étől.
- Nagy házi feladat Prolog nyelven:
Sátrak.
2023. október 3-ától beadható az ETS-sel.
A nagy házi feladathoz tartozó kiegészítő állományok (keretprogram, tesztesetek, futási
idők, README) ZIP-pel tömörített formában letölthetők
innen.
Tippek a nagy házi feladat megvalósításához.
Pontszámok,
megajánlott jegyek és a védés
Pontszámok és megajánlott jegyek: TXT
A megajánlott jegy feltétele a programok sikeres
megvédése. amire online formában, a Teams alkalmazáson keresztül
kerül sor.
Alaphelyzetben 2023. december 11-én hétfőn és december 12-én kedden
10:00-12:00 között lesz a védés.
Sikeres védés esetén megajánlott jegyet szerez az a hallgató, aki
mindkét tárgyrészből bejutott a létraversenybe (beleértve azokat is
akik a Prolog nagyházit a kiterjesztett határidőre adták be, és az éles
teszten legalább 80%-ot teljesítettek). Ezen hallgatók esetén az ETS
Eredményeim menüpontjában megjelenik a 4-es vagy 5-ös megajánlott jegy.
Kérjük azokat a hallgatókat, akik a fenti értelemben megajánlott
jegyre jogosultak, hogy az ETS Adataim menűpontjában
a Körkérdések részben
- vagy az első két kérdés (hétfő ill. kedd alkalmas-e)
valamelyikét pipálják ki (ha mindkét időpont jó, kérjük mindkettőt
jelöljék be);
- vagy pedig a harmadik kérdést (egyik időpont sem alkalmas)
pipálják ki.
A körkérdések lezárása után közzéteszünk egy beosztást mindkét napra azon
hallgatók számára, akiknek a legalább az egyik nap alkalmas volt. A
megadott időpont közelében (max 15 perc eltéréssel) egy tanár fogja Önöket
hívni a Teams alkalmazáson keresztül.
A többi hallgató esetén
felvesszük majd a kapcsolatot a hallgatóval, és egyedi időpontot
beszélünk meg.
Kérjük, hogy a fenti körkérdésre 2023 december 8., péntek éjfélig
válaszoljanak.
Néhány hallgatói kérdés és oktatói válasz a védéssel kapcsolatban:
- Pontosan mire kell számítani, hogy fogunk számot adni a házi feladatokról?
Ez egy kötetlen beszélgetés, melynek célja az, hogy meggyőződjünk
arról, hogy a házi feladat megoldását a hallgató
írta. Kérdezhetjük egyes részfeladatokról, az azok megoldásához
használt eszközökről, módszerekről, a dokumentáció egyes
részeiről stb.
- Önök mint tanárok mind a ketten jelen lesznek, vagy esetleg csak egyikük?
Csak egy tanár lesz jelen.
- Csoportos hívás lesz, mindenki előtt védünk, vagy egyénenként leszünk megkeresve az adott idősávban?
Egyenként beszélgetünk a hallgatókkal.
- Nagyjából milyen hosszú lesz a védés?
Kb. 15 perc.
Zárthelyik / Tests
- NZH-FP (Elixir): 2023-10-13, péntek, 08:00-10:00; termek: K275, KF76
- NZH-LP (Prolog): 2023-11-17, péntek, 08:00-10:00; termek: K275, K150
- PZH-FP&LP (Elixir & Prolog): 2023-12-01, péntek, 08:00-10:00; terem: QBF09
- PPZH-FP&LP (Elixir & Prolog): 2023-12-13, szerda, 14:00-16:00; terem: V1.213 (V1. ép. "C" szárny ["másfeledik emelet"], 213-as Neumann-terem)
Elektronikus TanárSegéd / Electronic Tutoring System
Az
Elektronikus TanárSegéd (ETS)
- beszedi a házi feladatokat,
- fogadja a jelentkezéseket a zárthelyikre és más alkalmakra,
- gyűjti a válaszokat a körkérdésekre,
- közli a házi feladatok és a zárthelyik eredményét,
- segíteni tud a Prolog-tananyag gyakorlásában
- stb.
Az ETS felületre - a biztonság érdekében - csak azonosítóval és
jelszóval lehet belépni, ezeket az előadásokon közöljük a
hallgatósággal.
Ezt követően mindenki a Neptun-kódjával léphet be, az
első alkalommal jelszó nélkül, a továbbiakban saját jelszóra van
szükség, amit az első belépés után be kell állítani.