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

Friss információk

Programozási vizsgafeladat-minták Prologból.

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

Nagy házi feladat:

• Programok pótbeadása: Május 7. péntek 24 óráig Prolog és SML nagyházi pótbeadást elfogadunk, 20%-os pontszám-csökkentéssel. Kérjük, hogy aki valamelyik előadó személyes címére küldött megoldást, azt adja be az ETS-en keresztül is. Ha csak az egyik nyelvből él valaki a pótbeadás lehetőségével, akkor csak a késve beadott megoldás pontszámát csökkentjük. Csak az utolsó beadás számít! A fenti határidő után programot nem tudunk elfogadni.
• Dokumentáció beadási határidejének kiterjesztése: A nagyházi (közös) dokumentációjának beadási határidejét május 10. hetfő 24 óráig meghosszabbítottuk. A dokumentáció pontszám-csökkentés nélkül beadható (azok számára is, akik időben beadták a programokat).

Pótpótzéhá:

• Május 21-én, pénteken (az első vizsganapon) 12.30-tól tartottuk, az eredmények az ETS-ben megnézhetők.

Pótzéhá:

• Budapest
• Május 6-án, csütörtökön 15h-tól tartottuk, az eredmények az ETS-ben nézhetők meg, a kijavított dolgozatok pedig a május 15-i vizsganapon, szombaton 14h-ig, valamint a többi májusi vizsganapon ugyancsak 14h-ig.
• Révkomárom
• Április 23-án, pénteken 16h-tól tartottuk, az eredmények az ETS-ben nézhetők meg.

• Budapest
• Elővizsga: május 15., szombat, E.1.B, 9h-15h
• 1. vizsga: május 21., péntek, IE0.07, 10h-15h
• 2. vizsga: május 28., péntek, IE0.07, 8h-13h
• 3. vizsga: június 4., péntek , IE0.07, 8h-14h
• 4. vizsga: június 11., péntek, IE0.07, 8h-16h
• 5. vizsga: június 18., péntek, F2E (változás!), 8h-18h
• 6. vizsga: június 25., péntek, IE0.07, 8h-18h
• Révkomárom
• Vizsga: május 29., szombat, 10h-16h, Lehár 208.
• Ismétlővizsga: június 16., szerda, 13h-20h, Lehár 208.
• Tételsorok
  • Prolog "elmélet" tételsor
  • SML "elmélet" tételsor (a fóliahivatkozások rosszak)

• NZH Budapest / PL megoldások
• NZH Budapest / SML megoldások
• PZH Budapest / SML megoldások
• PPZH Budapest / SML megoldások
• NZH Révkomárom / SML megoldások
• PZH Révkomárom / SML megoldások

Előadások február 9-étől hétfőnként 15.10-től 16.30-ig (szünet nélkül), keddenként 15.10-től 17.00-ig (10 perc szünettel) az IB.028-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

• Feladatkiírás (Felhők, 1.5. változat)
• Keretprogram
• A programok pótbeadási határideje 2004. május 7., péntek 24h (20%-os pontszám-csökkentéssel).
• Az elektronikus dokumentáció kiterjesztett beadási határideje 2004. május 10., hétfő 24h(pontszám-csökkentés nélkül).

NZH

A NZH-t 2004. március 22-én, hétfőn 8.00-tól írattuk meg a következő terembeosztás szerint:

• Akik csütörtökön éjfélig jelentkeztek az ETS rendszerben, vezetéknevük kezdőbetűje szerint az alábbi termekben írják a ZH-t
  • A-E ---> Z.F.06
  • F-K ---> E.1.B
  • L-P ---> St.F.Nagy
  • R-Z ---> Ch.F.Max
• Akik nem jelentkeztek az ETS rendszerben, vezetéknevük kezdőbetűje szerint az alábbi termekbe jöjjenek, ahol a rendelkezésre álló szabad helyek beteléséig megírhatják a ZH-t: A-K ---> E.1.B, L-Z ---> Ch.F.Max

A 2002. évi zh-lapok megnézhetők itt.

KHF

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

Követelmények

• A tantárgy adatlapja és a tárgykövetelmények megtalálhatók a dékáni hivatal webszerverén (budapesti hallgatóknak) HTML-ben, valamint a tárgy honlapján HTML-ben és PDF-ben.
• A tantárgy adatlapja és a tárgykövetelmények (révkomáromi hallgatóknak) a tárgy honlapján HTML-ben és PDF-ben.

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

• A jelen (2004. tavaszi) félév előadásainak fóliái:
• Prolog 1.-2. előadás .pdf (2 fólia/lap), .pdf (4 fólia/lap), .ps.gz (1 fólia/lap), .ps.gz (4 fólia/lap)
• Prolog 3.-4. előadás .pdf (2 fólia/lap), .pdf (4 fólia/lap), .ps.gz (1 fólia/lap), .ps.gz (4 fólia/lap)
• Prolog 5. (és a 6. :-() előadás .pdf (2 fólia/lap), .pdf (4 fólia/lap), .ps.gz (1 fólia/lap), .ps.gz (4 fólia/lap)
• Prolog 7.-8. előadás .pdf (2 fólia/lap), .pdf (4 fólia/lap), .ps.gz (1 fólia/lap), .ps.gz (4 fólia/lap)
• SML 1. előadás .pdf (1 fólia/lap), .pdf (4 fólia/lap),
• SML 2. előadás .pdf (1 fólia/lap), .pdf (4 fólia/lap)
• SML 3. előadás .pdf (1 fólia/lap), .pdf (4 fólia/lap),
• SML 4. előadás .pdf (1 fólia/lap), .pdf (4 fólia/lap),
• SML 5. előadás .pdf (1 fólia/lap), .pdf (4 fólia/lap),
• SML 6. előadás .pdf (1 fólia/lap), .pdf (4 fólia/lap),
• SML 7. előadás (terv) .pdf (1 fólia/lap), .pdf (4 fólia/lap),
• SML 8-9. előadás (terv) .pdf (1 fólia/lap), .pdf (4 fólia/lap),
• SML 10. előadás (terv) .pdf (4 fólia/lap),
• Prolog II. rész (9.- előadások) .pdf (2 fólia/lap), .pdf (4 fólia/lap), .ps.gz (1 fólia/lap), .ps.gz (4 fólia/lap)
• Az első Prolog előadásblokk példái (Cékla, Prolog, c++ stb.): .tgz
• A Cékla deklaratív C résznyelv fordítóprogramja (1.1-es változat):
• Win32-es változat
• Linux változat (glibc2.2), .gz, kitömörítendő (fut glibc2.3-n is)
• 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 Prolog-jegyzet 2004. évi kiadása: pdf.gz (1 oldal/A4 lap), ps.gz (1 oldal/A4 lap)
• A Prolog-jegyzet 2004. évi kiadásának 1.-3. fejezete (csak ezek változtak a 2001. évi kiadáshoz képest): pdf.gz (1 oldal/A4 lap), ps.gz (1 oldal/A4 lap)
• 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