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

Deklaratív programozás / Declarative programming
2015. őszi félév / ... semester ...
BMEVISZA403 (alapképzés) - BMETKVIB422 (English)

Legutóbbi frissítés / Last update: 2019-04-01

Friss hírek / News

Hoch Csaba (Erlang Solutions) demoval egybekötött előadást tart az órán november 10-én 10:15-kor az Erlang párhuzamosságról és az OTP-ről.
Frissítés: elérhetők az előadás fóliái és példái.
Letölthető a nagy házi feladat keretprogramja.
A pótzárthelyire az ETS-ben kell jelentkezni november 2. 23:59-ig.
A nagy zárthelyire az ETS-ben kell jelentkezni október 19. 23:59-ig.
Október 5-én az előadást megtartjuk, de a gyakorlat elmarad. Október 8. tanítási szünet.
Letölthető az összes kis és a nagy házi feladat kiírása.
Letölthető a 0. kis házi feladat kiírása.

Általános tudnivalók / General information

A tárgy hallgatóival a kapcsolatot az előadások és tantermi gyakorlatok mellett az ETS-en és a dp-l levelezőlistán keresztül tartjuk.
Az előadások, ideje és helye:
Hétfő 8:15-10:00 IE007
Kedd 10:15-12:00 IE007
Az órák a szorgalmi időszak 1–10. heteiben lesznek. Az utolsó előadás időpontja november 10.
A gyakorlatok ideje és helye: a Neptun szerint
A gyakorlatok pontos dátuma: 2-9. oktatási hetek
- Szeptember 14, 17. (Cékla)
- Szeptember 21, 24. (Erlang)
- Szeptember 28, október 1. (Prolog)
- (Október 5: elmarad, október 8: oktatási szünet)
- Október 12, 15. (Prolog)
- Október 19, 22. (Prolog)
- Október 26, 29. (Prolog)
- November 2, 5. (Erlang)

Konzultációt igény esetén tartunk, ideje és helye: előzetes egyeztetés alapján (személyesen vagy levélben).

A SICStus Prolog licencet a tárgy regisztrált hallgatói letölthetik az ETS-ből.

Letölthetők az utóbbi néhány félév előadásdiái és gyakorlati anyagai.

Előadások / Lecture classes

Fóliák:
- PDF (1 fólia/lap)
- PDF (4 fólia/lap)
Példaprogramok:
Cékla fordító

Gyakorlatok / Practice classes

Cékla-gyakorlat: TXT (utf-8) PDF (2 oldal/A4) – megoldás: CPP
Erlang-gyakorlat: TXT (utf-8) PDF (2 oldal/A4) – megoldás: ERL (utf-8)
Prolog-gyakorlat: TXT (latin-2) PDF (2 oldal/A4)
(A programozási feladatok beadhatók, tesztelhetők az ETS rendszer "Gyakorlás" menüpontjában, a "Prolog - programozás" témakör, és azon belül az "1. gyakorlat" ill. az "1. gyakorlat, szorgalmi feladatok" menüpontok kiválasztásával.)
Prolog-gyakorlat: TXT (latin-2) PDF (2 oldal/A4) – megoldás: Prolog (latin-2) PDF
Prolog-gyakorlat: TXT (latin-2) PDF (2 oldal/A4) – megoldás: Prolog (latin-2) PDF
Prolog-gyakorlat: TXT (latin-2) PDF (2 oldal/A4)
Erlang-gyakorlat: TXT (utf-8) PDF (2 oldal/A4) – megoldás: ERL (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).

Frissítés: A létraverseny eredményei, pontszámokkal és megajánlott jegyekkel. A megajánlott jegy feltétele a program sikeres megvédése az egyik beszámolón!

0. kis házi feladat Cékla nyelven: Különbözőségi lista.
Beadási határidő: 2015. szeptember 25., péntek, 23:59
1. kis házi feladat Prolog és Erlang nyelven: Lista zsák-alakra hozása.
Beadási határidő: Erlang – 2015. október 5. hétfő, 23:59; Prolog – 2015. október 9. péntek, 23:59
2. kis házi feladat Prolog és Erlang nyelven Egyszerűsített Mastermind játék.
Beadási határidő: Erlang – 2015. október 16. péntek, 23:59; Prolog – 2015. október 23. péntek, 23:59
3. kis házi feladat Prolog és Erlang nyelven Felesleges értékek elhagyása.
Beadási határidő: Erlang – 2015. november 4. szerda, 23:59; Prolog – 2015. november 4. szerda, 23:59
Nagy házi feladat Prolog és Erlang nyelven Mastermind.
Beadási határidő: Erlang – 2015. november 7. szombat, 23:59; Prolog – 2015. november 7. szombat, 23:59; (közös) dokumentáció – 2015. november 8. vasárnap 23:59

Zárthelyik / Mid-term tests

A zárthelyikre az ETS-ben, az Adataim menüpontban kell jelentkezni. Az eredmények az ETS-ben, az Eredményeim menüpontban nézhetők meg.

A nagy zárthelyi időpontja: 2015. október 21. (szerda) 8:00–10:00. Jelentkezési határidő: 2015. október 19, 23:59.
Beosztás a vezetéknév kezdőbetűje szerint:
- I.B.025: A – K
- I.B.026: L – Zs
A pótzárthelyi időpontja: 2015. november 4. (szerda) 08:00–10:00, helye: I.B.026. Jelentkezési határidő: 2015. november 2., 23:59.

Beszámolók (vizsgakurzus részére: Vizsgák) / Exams

Az írásbelivel kombinált szóbeli beszámolóra az ETS-ben kell jelentkezni. (Vizsgakurzus részére: vizsgára csak a Neptunban kell jelentkezni.) A jelentkezés határideje a beszámoló előtti nap délelőtt 11:59, a határidőig a jelentkezés lemondható. A létszámkorlát túllépése esetén a jelentkezés sorrendje számít. Az időbeosztást a beszámoló előtti napon tesszük közzé a honlapon. A hallgatóknak a beszámoló kezdetekor meg kell jelenniük a helyszínen, hacsak a beosztásban nem adunk meg más időpontot.
A sikeres beszámoló feltétele 40% elérése mindkét programozási nyelvből. A sikertelen beszámoló pótolható egy másik beszámoló alkalmával, de legfeljebb 3 beszámolóra szabad eljönni a szorgalmi időszakban.
A vizsgakurzus hallgatói is jöhetnek beszámolóra vizsga helyett, számukra ezek elővizsgák.

beszámoló ideje: 2015.11.09. 11:00--18:00
beszámoló ideje: 2015.11.16. 8:00--18:00
beszámoló ideje: 2015.11.18. 8:00--18:00
beszámoló ideje: 2015.11.23. 8:00--18:00
beszámoló ideje: 2015.11.27. 8:00--18:00 (oktatási szünet)
beszámoló ideje: 2015.11.30. 8:00--15:00
pótbeszámoló ideje: 2015.12.18. 10:00--15:00 Jelentkezni kell a Neptunban!

A beszámoló menete. A beszámoló pontozása.

Prolog-mintafeladatsor - Elméleti Prolog-tételek
SML-mintafeladatsor (jellege, struktúrája hasonló az Erlang-tételekéhez) - Elméleti Erlang-tételek

Levelezőlista / Mailing list

A levelezőlista egyrészt a tárggyal kapcsolatos fontos események és tudnivalók közzétételére, másrészt konzultációra szolgál.
A tárgy hallgatóit az ETS-ben megadott címükkel automatikusan felvesszük a levelezőlistára. Az ETS-beli címekkel óránként frissítjük a levelezőlistára felvett címeket, ezért a címet csak az ETS-ben lehet módosítani.

Figyelem: kizárólag az ETS-ben megadott című postafiókjából küldhet levelet a listára, a dp-l@iit.bme.hu címre. Alapértelmezésben minden (új) hallgató címe a {neptunkod}@nc.hszk.bme.hu cím; ha ezt nem vagy ritkán olvassa, kérjük, módosítsa.

Mielőtt kérdezne, nézze meg a levelezőlista archívumát, hátha ott máris megtalálja a választ!

Követelmények / Requirements

A Dékáni Hivatal honlapján: alapképzés: HTML, ötéves kifutó képzés: HTML.

Gyakori kérdések - válaszokkal / Frequently asked questions - with answers

FP-GYIK HTML PDF (Hungarian only)
LP-GYIK PDF (Hungarian only)

Elektronikus TanárSegéd / Electronic Tutoring System

Az Elektronikus TanárSegéd (ETS) segít a tananyag gyakorlásában, beszedi a házi feladatokat, fogadja a jelentkezéseket a zárthelyikre és más alkalmakra, közli a zárthelyik eredményét stb.
Az ETS-be a NEPTUN-kóddal kell belépni. Az ETS az üzeneteit alapértelmezés szerint a tárgyat felvett minden hallgatónak a {neptunkod}@nc.hszk.bme.hu címére küldi el, ez a cím azonban később bármikor módosítható.

Gyakorlórendszer / Exerciser

A Prolog programozás gyakorlására használja a Web-alapú gyakorlórendszert! Elérhető az ETS-ből NEPTUN-kóddal.
A gyakorlórendszer otthon használható változata letölthető innen: Windows változat, Linux változat.

DP Admin: dvacakrobotjaitoknakp@iit.bme.hu

Vissza az elejére / Back to the top