Deklaratív programozás

2002. őszi félév

Legutóbbi frissítés: 2002. dec. 19.

Az elméleti tételsorok letölthetők mindkét nyelvből.
Jan 31 8:00, IE.220	Negyedik vizsga beosztása
Dec 20 8:00, IE.220	GyakIV az első vizsgán, jelentkezni a gyakorlórendszerbe belépve kell.
Dec 20 8:00, IE.220	Első vizsga. A vizsgaalkalmak beosztását (ki mikorra jöjjön) a Neptun jelentkezés lezárása után néhány órával erre a Web-lapra feltesszük.
Dec. 15-éig:	Nagy házi feladat beadás!!!
PPZH eredmények:	megnézhetők itt
PZH eredmények:	megnézhetők itt
NZH eredmények:	megnézhetők itt
Korábbi zh-lapok	megnézhetők itt.

Az első vizsga (2002.12.20.) beosztása

Vizsganapok és -helyek
- 2002. dec. 20., péntek, 8h-18h, IE.220
- 2003. jan. 9., csütörtök, 8h-18h, Z.F06
- 2003. jan. 24., péntek, 8h-18h, IE.220
- 2003. jan. 31., péntek, 8h-18h, IE.220
Tételsorok
- Prolog "elmélet" tételsor
- SML "elmélet" tételsor

A programok és az elektronikus dokumentáció végső beadási határideje 2002. december 15-e, vasárnap 24h.
Feladatkiírás
Keretprogram
Beadószkript (dpnhfbe.02a)

Az előző félévben használt jegyzetek, előadásfóliák stb. listáját lásd itt.

Az előadáson bemutatott redukciós Prolog-nyomkövető letölthető innen.

A fóliákon szereplő Prolog-példaprogramok gyűjteménye letölthető innen.

A Prolog-előadások fóliái letölthetők az alábbi címekről. A fóliákon csak apró javítások vannak a tavaszi félévhez képest.

A zéhára megtanulandó SML-tananyag letölthető innen.

A fóliákon szereplő SML-példaprogramok letölthetők innen.

Az első SML-előadások fóliái letölthetők az alábbi címekről.

A típuslevezetési segédlet letölthető az alábbi címekről.

Használja a Web-alapú gyakorlórendszer kísérleti változatát! Belépés a NEPTUN-kóddal itt.

Iratkozzon fel a tárgy levelezési listájára itt.