Deklaratív programozás / Declarative programming 2013. tavaszi félév / ... semester ... 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

Á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 8:15-10:00 QBF12, minden héten
  Szerda 14:15-16:00 QBF12, páratlan heteken
• A gyakorlatok ideje és helye:
  
  1. kurzus: Szerda: 14:15-16:00 páros heteken, IB134
  2. kurzus: Szerda: 14:15-16:00 páros heteken, IB310 (Neptunban tévesen QBF10 szerepel)
  A gyakorlatok pontos dátuma:
  • Február 20. (Cékla)
  • Március 6. (Prolog)
  • Március 20. (Erlang)
  • Április 3. (Prolog)
  • Április 17. (Prolog)
  • Május 15. (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.
• 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.

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.