|
Deklaratív programozás / Declarative programming
2012. őszi félév / Autumn semester 2012
BMEVISZA402 (alapképzés) - BMETKVIB422 (English)
Korábban az ötéves képzésben: BMEVIFO2218
Legutóbbi frissítés / Last update: 2019-04-01
|
|
Friss hírek / News
- Letölthető a létraverseny eredménye.
- A december 9-i áramszünet miatt szolgáltatásainkban (ETS, dps, honlap) kimaradásokra lehet számítani.
- A pótzárthelyire az ETS-ben lehet jelentkezni november 19. 23:59-ig.
- Letölthető a nagy házi feladat keretprogramja.
- A nagyzárthelyik megtekinthetők az okt. 30-i előadás szünetében és végén.
- A 2. kurzus gyakorlata október 26-án kivételesen az IB410 teremben lesz az IB310 helyett.
- A nagy zárthelyire az ETS-ben lehet jelentkezni október 22. 17:59-ig.
- Letölthető
az összes kis és nagy házi feladat kiírása, a feladatokat megoldó programok
hamarosan beadhatók lesznek.
- Letölthető
a második (Prolog) gyakorlat feladatsora.
- Letölthető
az 1. kis házi feladat kiírása, a feladatot megoldó program 2012. október
10.-től beadható az ETS-en keresztül.
- 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:
Kedd 10:15-12:00 IE007, minden héten
Péntek 8:15-10:00 IE007, páratlan heteken
- A gyakorlatok ideje és helye:
- kurzus: Péntek: 08:15-10:00 páros heteken, E403
- kurzus: Péntek: 10:15-12:00 páros heteken,
IB310 (Neptunban tévesen T606 szerepel)
- kurzus: Péntek: 10:15-12:00 páros heteken, IL407/8 (Neptunban tévesen T605 szerepel)
- kurzus: Péntek: 08:15-10:00 páros heteken, IB145
- A gyakorlatok pontos dátuma:
- Szeptember 14. (Cékla)
- Szeptember 28. (Prolog)
- Október 12. (Erlang)
- Október 26. (Erlang)
- November 9. (Prolog)
- December 7. (Prolog)
- 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.
- Azok a hallgatók, akik a kifutó ötéves képzésben öt évnél nem régebben
szerezték meg az aláírást, de nem sikerült a vizsgájuk, a korábbi
vizsgakövetelmények szerint vizsgáznak. Ők a vizsgakurzust vették fel.
- Azok a hallgatók, akik már az alapképzésben szerezték meg az aláírást,
de nem sikerült a vizsgájuk, szintén a vizsgakurzust vették fel.
- Azok a hallgatók, akiknek a kifutó ötéves képzésben nem sikerült
aláírást szerezniük, helyettesítő tárgyként vehették fel ezt a
tantárgyat. Ők az új vizsgakövetelmények szerint vizsgáznak.
- Letölthetők az utóbbi néhány félév előadásdiái
és gyakorlati anyagai.
Előadások / Lecture classes
Gyakorlatok / Practice classes
- Cékla-gyakorlat:
TXT (utf-8)
PDF (2 oldal/A4)
– megoldás:
CPP
PDF (2 oldal/A4)
- 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" kiválasztásával.)
- Erlang-gyakorlat:
TXT (utf-8)
PDF (2 oldal/A4)
– megoldás:
ERL (utf-8)
PDF (2 oldal/A4)
- Erlang-gyakorlat:
TXT (utf-8)
PDF (2 oldal/A4)
– megoldás:
ERL (utf-8)
PDF (2 oldal/A4)
- Prolog-gyakorlat:
TXT (latin-2)
PDF (2 oldal/A4)
- Prolog-gyakorlat:
TXT (latin-2)
PDF (2 oldal/A4)
Házi feladatok / Homeworks
A házi feladatokat az
ETS-sel kell
beadni (l. a
HF beadás menüpontot az ETS-ben).
A pótlás határideje: 2012. december 14. 23:59.
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!
- 0. kis házi feladat Cékla nyelven:
Szám elkevertje.
Beadási határidő:
2012. október 8., hétfő, 23:59
- 1. kis házi feladat Prolog és Erlang nyelven
Sudoku cella előállítása.
Beadási határidő:
Prolog – 2012. október 22., hétfő, 23:59; Erlang – 2012. október 29., hétfő, 23:59
- 2. kis házi feladat Prolog és Erlang nyelven
Megengedett mezőértékek meghatározása.
Beadási határidő:
Prolog – 2012. november 5., hétfő, 23:59; Erlang – 2012. november 12., hétfő, 23:59
- 3. kis házi feladat Prolog és Erlang nyelven
Sudoku-megoldás ellenőrzése.
Beadási határidő:
Prolog – 2012. november 19., hétfő, 23:59; Erlang – 2012. november 26., hétfő, 23:59
- Nagy házi feladat Prolog és Erlang nyelven
Sudoku szomszédsági korlátokkal.
Beadási határidő:
Prolog – 2012. december 8., szombat, 23:59; Erlang – 2012. december 8., szombat,
23:59; (közös) dokumentáció – 2012. december 9., 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 nagyzárthelyi időpontja: 2012. október 24. (szerda) 08:00--10:00. Jelentkezési határidő: 2012. október 22, 17:59.
Beosztás a vezetéknév kezdőbetűje szerint:
- I.B.026: A – H
- I.B.027: I – Z
- A pótzárthelyi időpontja: 2012. november 21. (szerda) 08:00--10:00,
helye: I.E.007
Jelentkezési határidő: 2012. november 19., 23:59.
-
A pót-pót-zárthelyi időpontja: 2012. december 13. (csütörtök) 10:00--12:00, helye:
Q.BF.09. Jelentkezni kell a Neptunban!
Vizsgák / Exams
Az írásbelivel kombinált szóbeli vizsgára a Neptunban kell jelentkezni. A
vizsgabeosztást a vizsga előtti napon tesszük közzé a honlapon. A
vizsgázóknak a vizsga kezdetekor meg kell jelenniük a helyszínen, hacsak a
beosztásban nem adunk meg más időpontot.
- Elővizsga ideje:
2012.12.13. 10:00--18:00
- 1. vizsga ideje:
2012.12.21. 8:00--16:00
- 2. vizsga ideje:
2013.01.04. 8:00--16:00
- 3. vizsga ideje:
2013.01.17. 8:00--16:00
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.