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

Deklaratív programozás / Declarative programming
2016. ő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 8-á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.
Október 15-én szombaton az előadás elmarad.
Az 1. prolog kis házi feladat határidejét meghosszabbítottuk okt. 10. hétfő 23:59-ig.
Letölthető az összes kis és a nagy 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ő 10:15-12:00 IB027
Kedd 10:15-12:00 IB026
Az órák a szorgalmi időszak 1–10. heteiben lesznek. Az utolsó előadás időpontja november 8.
A gyakorlatok ideje és helye: a Neptun szerint
A gyakorlatok pontos dátuma: 2-9. oktatási hetek
- Szeptember 15. (Cékla)
- Szeptember 22. (Erlang)
- Szeptember 29. (Prolog)
- (Október 6: oktatási szünet)
- Október 13. (Erlang)
- Október 20. (Prolog)
- Október 27. (Prolog)
- November 3. (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 példaprogramok
- Erlang alapok
- Haladó Erlang
- Párhuzamos Erlang (kiegészítő anyag)
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.)
Erlang-gyakorlat: TXT (utf-8) PDF (2 oldal/A4) – megoldás: ERL (utf-8)
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: Szám összekevertje.
Beadási határidő: 2016. szeptember 23., péntek, 23:59
1. kis házi feladat Prolog és Erlang nyelven Mátrix feldarabolása.
Beadási határidő: Erlang – 2016. szeptember 30. péntek, 23:59; Prolog – 2016. október 10. hétfő (QPA), 23:59
2. kis házi feladat Prolog és Erlang nyelven Megengedett mezőértékek meghatározása.
Beadási határidő: Erlang – 2016. október 14. péntek, 23:59; Prolog – 2016. október 21. péntek, 23:59
3. kis házi feladat Prolog és Erlang nyelven Sudoku-megoldás ellenőrzése.
Beadási határidő: Erlang – 2016. október 28. péntek, 23:59; Prolog – 2016. október 28. péntek, 23:59
Nagy házi feladat Prolog és Erlang nyelven Sudoku-variáció: páratlan összegek.
Beadási határidő: Erlang – 2016. november 6. vasárnap, 23:59; Prolog – 2016. november 6. vasárnap, 23:59; (közös) dokumentáció – 2016. november 8. kedd, 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: 2016. október 19. (szerda) 8:00–10:00, helye: Q-II. Jelentkezési határidő: 2016. október 17, 23:59.
A pótzárthelyi időpontja: 2016. november 2. (szerda) 08:00–10:00, helye: Q-II. Jelentkezési határidő: 2016. november 1., 23:59.
A pót-pót-zárthelyi időpontja: 2016. december 16., 10:00, helye a beszámoló helyszíne. Jelentkezni kell a Neptunban!

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. Kivétel a pótbeszámoló a pótlási héten, amire 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: 2016.11.10. 13:00--18:00
beszámoló ideje: 2016.11.15. 8:00--13:00
beszámoló ideje: 2016.11.18. 8:00--18:00
beszámoló ideje: 2016.11.24. 8:00--18:00
beszámoló ideje: 2016.11.28. 8:00--18:00
pótbeszámoló ideje: 2016.12.16. 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