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

Friss információk

• NZH/SML megoldások
• NZH/SML javítási útmutató
• PZH/SML megoldások
• PZH/SML javítási útmutató

• elővizsga: dec. 18., csüt., 14h-20h, Ka.65.
• 2. vizsga: jan. 2., pént., 8h-18h, IB.026.
• 3. vizsga: jan. 22., csüt., 10h-19h, IB.027
• 4. vizsga: jan. 28., szerda., 10h-19h, KA.67

Pótzh: dec. 11-én, csütörtökön 18h-20h között a F.2E. teremben. A zéhára az ETS-ben dec. 10-éig jelentkezni kell!

Nagyzéhá: nov. 4-én, kedden 17h-19h között a Ch. Max. teremben. A zéhára az ETS-ben nov. 3-áig jelentkezni kell!

Előadások szeptember 15-től hétfőn 10.15-től 12.00-ig az IB.027-ben, kedden 14.15-től 16.00-ig az IB.025-ben.

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

NHF

• A programok és az elektronikus dokumentáció módosított beadási határideje 2003. december 18., csütörtök 24h, elővizsgán részt vevőknek dec. 17., szerda 24h.
• Feladatkiírás
• Keretprogram

KHF

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

Követelmények

Letölthető jegyzetek, előadásfóliák, példaprogramok

• A Prolog- és az SML-jegyzet 2001. évi kiadása (pdf.gz): Prolog (1 oldal/A4 lap, 1262K), SML (1 oldal/A4 lap, 684K)
• A 2003. tavaszi félév összes előadásának fóliái:
• Prolog .pdf (2 fólia/lap), .pdf (4 fólia/lap), .ps.gz (1 fólia/lap), .ps.gz (4 fólia/lap)
• SML .pdf (2 fólia/lap), .pdf (4 fólia/lap), .ps.gz (1 fólia/lap), .ps.gz (4 fólia/lap
• Prolog-példák és más Prolog-segédletek
  • Az 1.-7. előadások példái és a redukciós Prolog-nyomkövető
  • A 15.-20. előadások példái
• SML-példák és más SML-segédletek
  • A 8.-10. előadások példái és nyomkövetési példák PolyML-hez
  • A 11.-12. előadások példái
  • A 23.-26. előadások példái
  • Olvasnivaló a polimorfizmusról és a kifejezések expanziójáról: .pdf (1 fólia/lap), .pdf (2 fólia/lap), .ps.gz (1 fólia/lap)

Gyakorlórendszer

A tárgy levelezési listája