Deklaratív programozás, 2003. tavaszi félév

Friss információk

NHF Prolog mintamegoldás.

NHF létraverseny eredmények. Gratulálunk!

Használható a gyakorlórendszer!

Javasoljuk a tárgy hallgatóinak, hogy iratkozzanak fel a tárgy levelezési listájára (feliratkozás a lap végén).

Vizsgák

• Vizsganapok és -helyek

  1. vizsga	2003.május 16, péntek	ST.F.NAGY	12:00-20:00
  2. vizsga	2003.május 26, hétfő	IB.0.25	10:00-18:00
  3. vizsga	2003.június 02, hétfő	IB.0.26	08:00-18:00
  4. vizsga	2003.június 13, péntek	IE.0.07	08:00-18:00
  5. vizsga	2003.június 20, péntek	IE.0.07	08:00-18:00
  6. vizsga	2003.június 23, hétfő	IE.0.07	08:00-18:00 VÁLTOZOTT a kezdés!
  7. vizsga	2003.június 27, péntek	IE.0.07	08:00-18:00

• Tételsorok
  • Prolog "elmélet" tételsor
  • SML "elmélet" tételsor

KHF

• 1. Prolog kisházi feladatkiírás
• 1. SML kisházi feladatkiírás
• 2. Prolog kisházi feladatkiírás
• 2. SML kisházi feladatkiírás

NHF

• A programok és az elektronikus dokumentáció végső beadási határideje 2003. május 5., hétfő 24h.
• Feladatkiírás
• Keretprogram

NZH

Az NZH-t 2003. március 24-én, hétfőn 16.00-tól írattuk meg. Az eredményeket az ETS gyakorlórendszer Eredményeim menüpontjában tekinthetik meg. A kijavított zh-k a vizsganapokon a vizsgák helyszínén nézhetők meg.

• Segítség a zéhához
• A zéhá anyaga az előadásokon a márc. 18-ai 12. előadásig elhangzott, a fóliákon olvasható tananyag. A jegyzetekből (SML, PL) nagyjából ezek a részek: TXT.
• Rövid összefoglaló magasabbrendű (SML) függvények típusának levezetéséről PDF
• Néhány példafeladat és megoldása (SML) TXT
• Korábbi zh-lapok megnézhetők itt.
A feladattípusok ebben a félévben ehhez, ill. a gyakorlórendszerben megismertekhez hasonlók lesznek.

PZH

A Prolog megoldások innen, az SML-megoldások pedig innen tölthetők le.

PPZH

Követelmények

Jegyzetek, előadásfóliák, példaprogramok

Az összes Prolog előadás fóliái letölthetők:

• .pdf, 2 fólia/lap
• .pdf, 4 fólia/lap
• .ps.gz, 1 fólia/lap
• .ps.gz, 4 fólia/lap

Az 1.-3. előadás fóliái letölthetők (a 3. előadás a 49. fólián kezdődik):

• .pdf, 2 fólia/lap
• .pdf, 4 fólia/lap
• .ps.gz, 1 fólia/lap
• .ps.gz, 4 fólia/lap

Az 4.-5. előadás fóliái letölthetők

• .pdf, 2 fólia/lap
• .pdf, 4 fólia/lap
• .ps.gz, 1 fólia/lap
• .ps.gz, 4 fólia/lap

A 6.-7. előadás fóliái letölthetők

• .pdf, 2 fólia/lap
• .pdf, 4 fólia/lap
• .ps.gz, 1 fólia/lap
• .ps.gz, 4 fólia/lap

Az 1.-7. előadások példái és a redukciós Prolog-nyomkövető letölthető innen

A 8.-10. előadás fóliái letölthetők

• .pdf, 1 fólia/lap
• .pdf, 2 fólia/lap
• .pdf, 4 fólia/lap
• .ps.gz, 1 fólia/lap

Az 8.-10. előadások példái és a PolyML-hez nyomkövetési példák letölthetők innen

A 11.-12. előadás fóliái letölthetők

• .pdf, 1 fólia/lap
• .pdf, 2 fólia/lap
• .pdf, 4 fólia/lap
• .ps.gz, 1 fólia/lap

A 11.-12. előadások példái letölthetők innen.

A 13.-14. előadás fóliái letölthetők

• .pdf, 1 fólia/lap
• .pdf, 2 fólia/lap
• .pdf, 4 fólia/lap
• .ps.gz, 1 fólia/lap

• .pdf, 1 fólia/lap
• .pdf, 2 fólia/lap
• .ps.gz, 1 fólia/lap

A 15.-16. előadás fóliái letölthetők

• .pdf, 2 fólia/lap
• .pdf, 4 fólia/lap
• .ps.gz, 1 fólia/lap
• .ps.gz, 4 fólia/lap

A 17.-18. előadás fóliái letölthetők

• .pdf, 2 fólia/lap
• .pdf, 4 fólia/lap
• .ps.gz, 1 fólia/lap
• .ps.gz, 4 fólia/lap

A 19.-20. előadás fóliái letölthetők

• .pdf, 2 fólia/lap
• .pdf, 4 fólia/lap
• .ps.gz, 1 fólia/lap
• .ps.gz, 4 fólia/lap

A 15.-20. (Prolog) előadások példái letölthetők innen

A 21.-22. előadás fóliái letölthetők

• .pdf, 1 fólia/lap
• .pdf, 2 fólia/lap
• .pdf, 4 fólia/lap
• .ps.gz, 1 fólia/lap

• .pdf, 1 fólia/lap
• .pdf, 2 fólia/lap
• .pdf, 4 fólia/lap
• .ps.gz, 1 fólia/lap

• .pdf, 1 fólia/lap
• .pdf, 2 fólia/lap
• .pdf, 4 fólia/lap
• .ps.gz, 1 fólia/lap

Levelezési lista