Deklaratív programozás / Declarative programming 2007. őszi félév / Autumn semester 2007 BMEVIFO2218 Legutóbbi frissítés / Last update: 2008-01-11

Friss hírek / News

• Ebben a félévben csak vizsgakurzust tartunk. Eredetileg két vizsgaalkalmat terveztünk, többek kérésére lesz még egy harmadik is. Szinte kivétel nélkül minden válaszoló február 1-jét választotta (a másik lehetőség jan.23-a lett volna). Vizsgára a Neptunban kell jelentkezni. A vizsgák időpontja, helye:
  • 3. vizsga: 2008. február 1., péntek, 9h-tól az IB.025-ben
  Mindenkit a kezdési időben várunk.
  • 2. vizsga: 2008. január 3., csütörtök, 11h-tól, IB.025 (eredetileg 10h-ra írtuk ki, de vannak, akik aznap reggel más tárgyból vizsgáznak, ezért változtattunk a kezdésen)
  • 1. vizsga: 2007. december 20., csütörtök, 9h-tól, IB.025
• A SICStus Prolog licencet frissítettük, a tárgy hallgatói letölthetik az ETS-ből.

Levelezési lista / Mailing list

• A Dékáni Hivatal honlapján: HTML, a tanszéki honlapon: HTML, PDF.

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

Gyakorlórendszer / Exerciser

Letölthető jegyzetek, előadásdiák, példaprogramok / Lecture notes, slides, programming examples for downloading

• A 2006. őszi félév előadásainak diái:
• Bevezető előadás: .pdf (1 dia/lap), .pdf (4 dia/lap), .ps.gz (1 dia/lap), .ps.gz (4 dia/lap)
• Az első SML-blokk előadásai, programokkal - 1. rész: .pdf (1 dia/lap), .pdf (4 dia/lap), .ps.gz (1 dia/lap), .ps.gz (4 dia/lap) .sml
• Az első SML-blokk előadásai, programokkal - 2. rész: .pdf (1 dia/lap), .pdf (4 dia/lap), .ps.gz (1 dia/lap), .ps.gz (4 dia/lap) .sml
• A második SML-blokk előadásai, programokkal: .pdf (1 dia/lap), .pdf (4 dia/lap), .ps.gz (1 dia/lap), .ps.gz (4 dia/lap) .sml
• Az első Prolog blokk előadásai: .pdf (1 dia/lap), .pdf (4 dia/lap), .ps.gz (1 dia/lap), .ps.gz (4 dia/lap)
• Az első Prolog előadásblokk példái (Cékla, Prolog, c++ stb.): .tgz .zip
• A második Prolog blokk előadásai: .pdf (1 dia/lap), .pdf (4 dia/lap), .ps.gz (1 dia/lap), .ps.gz (4 dia/lap)
• A második Prolog előadásblokk példái (Prolog): .tgz .zip

• A 2006. tavaszi félév előadásainak diái és példái:
• Prolog 1.-2. előadás .pdf (1 dia/lap), .pdf (4 dia/lap), .ps.gz (1 dia/lap), .ps.gz (4 dia/lap)
• Az első Prolog előadásblokk példái (Cékla, Prolog, c++ stb.): .tgz .zip
• Prolog 3.-7. előadás .pdf (1 dia/lap), .pdf (4 dia/lap), .ps.gz (1 dia/lap), .ps.gz (4 dia/lap)
• Prolog 8.-14. előadás (második blokk, ugyanaz, mint a 2005. évi fóliák) .pdf (1 dia/lap), .pdf (4 dia/lap), .ps.gz (1 dia/lap), .ps.gz (4 dia/lap)
• A második Prolog előadásblokk példái (Prolog): .tgz .zip
• SML 1.-4. előadás .pdf (1 dia/lap), .pdf (2 dia/lap), .pdf (4 dia/lap), .ps.gz (1 dia/lap), .ps.gz (2 dia/lap), .ps.gz (4 dia/lap) .sml (SML-program)
• SML 5.-6. előadás .pdf (1 dia/lap), .pdf (2 dia/lap), .pdf (4 dia/lap), .ps.gz (1 dia/lap), .ps.gz (2 dia/lap), .ps.gz (4 dia/lap) .sml (SML-program)
  Melléklet az SML 5. előadáshoz: Hibakeresés, nyomkövetés az SML-ben
  .pdf (1 dia/lap), .pdf (2 dia/lap), .pdf (4 dia/lap), .ps.gz (1 dia/lap), .ps.gz (2 dia/lap), .ps.gz (4 dia/lap) .sml (SML-program)
• SML 7.-8. előadás .pdf (1 dia/lap), .pdf (2 dia/lap), .pdf (4 dia/lap), .ps.gz (1 dia/lap), .ps.gz (2 dia/lap), .ps.gz (4 dia/lap) .sml (SML-program)
• SML 9.-10. előadás .pdf (1 dia/lap), .pdf (2 dia/lap), .pdf (4 dia/lap), .ps.gz (1 dia/lap), .ps.gz (2 dia/lap), .ps.gz (4 dia/lap) .sml (SML-program)
• SML 11. előadás .pdf (1 dia/lap), .pdf (2 dia/lap), .pdf (4 dia/lap), .ps.gz (1 dia/lap), .ps.gz (2 dia/lap), .ps.gz (4 dia/lap) .sml (SML-program)

• A 2005. tavaszi félév előadásainak fóliái és példái:
• Prolog 3.-6. előadás .pdf (1 dia/lap), .pdf (4 dia/lap), .ps.gz (1 dia/lap), .ps.gz (4 dia/lap)
• Prolog 7.-8. előadás .pdf (1 dia/lap), .pdf (4 dia/lap), .ps.gz (1 dia/lap), .ps.gz (4 dia/lap)
• Prolog 9.-14. előadás .pdf (1 dia/lap), .pdf (4 dia/lap), .ps.gz (1 dia/lap), .ps.gz (4 dia/lap)
SML 5.-6. előadás .pdf (1 dia/lap), .pdf (2 dia/lap), .pdf (4 dia/lap), .ps.gz (1 dia/lap), .ps.gz (2 dia/lap), .ps.gz (4 dia/lap) .sml (SML-program)
• SML 7.-8. előadás .pdf (1 dia/lap), .pdf (2 dia/lap), .pdf (4 dia/lap), .ps.gz (1 dia/lap), .ps.gz (2 dia/lap), .ps.gz (4 dia/lap) .sml (SML-program)
• SML 9. előadás .pdf (1 dia/lap), .pdf (2 dia/lap), .pdf (4 dia/lap), .ps.gz (1 dia/lap), .ps.gz (2 dia/lap), .ps.gz (4 dia/lap) .sml (SML-program)
• SML 10.-11. előadás .pdf (1 dia/lap), .pdf (2 dia/lap), .pdf (4 dia/lap), .ps.gz (1 dia/lap), .ps.gz (2 dia/lap), .ps.gz (4 dia/lap) .sml (SML-program)

• A 2004. őszi félévében tartott SML-előadások: PDF 1/A4 2/A4 4/A4 PS/GZ 1/A4 2/A4 4/A4 és példaprogramok: SML

• Slides of the lectures of the course Spring 2006:
• Prolog lectures 1-7. .pdf (1 slide/page), .pdf (4 slides/page), .ps.gz (1 slide/page), .ps.gz (4 slides/page)
• Prolog lectures 8-11. .pdf (1 slide/page), .pdf (4 slides/page), .ps.gz (1 slide/page), .ps.gz (4 slides/page)

• Slides of the lectures of the course Spring 2005:
• Prolog lectures 1.-2. .pdf (1 slide/page), .pdf (4 slides/page), .ps.gz (1 slide/page), .ps.gz (4 slides/page)
• Prolog lectures 3.-6. .pdf (1 slide/page), .pdf (4 slides/page), .ps.gz (1 slide/page), .ps.gz (4 slides/page)
• SML lectures .pdf (1 slide/page)

• Cékla: a deklaratív C résznyelv fordítóprogramja (1.1-es változat) / Cekla: compiler for a declarative subset of C (version 1.1):
• Win32
• Linux (glibc2.2 & 2.3), .gz (kitömörítendő / to be unzipped)

• Az RDBG redukciós nyomkövető (0.3-as változat) / The RDBG reduction debugger(version 0.3):
• Win32
• Linux (glibc2.2 & 2.3)
(Letöltés és kicsomagolás után az xrdbg első futtatásánál a "Preferences" menűpontban át kell állítani a "Path to SICStus" mezőt a SICStus Prolog elérési útjára, a "Path to debugger" mezőt pedig a kicsomagolt rdbg alkalmazás elérési útjára. After download, unpack and run xrdbg, follow the "Preferences" menu, modify the "Path to SICStus" field to contain the full access path of SICStus Prolog, and set the "Path to debugger" field to the full access path of the unpacked rdbg application.)

• Válogatott SML-témák:
  • A magasabbrendű polimorf függvények típusának levezetéséről HTML 1A4 .pdf
  • Kiírás és hibakeresés SML-ben: 1/A4 .pdf 2/A4 .pdf 4/A4 .pdf 1/A4 .ps.gz 2/A4 .ps.gz 4/A4 .ps.gz SML-példák .sml
  • Polimorfizmus, érték-polimorfizmus, nem-expanzív és expanzív kifejezések: 1/A4 .pdf 2/A4 .pdf 1/A4 ps.gz

• A jegyzetek elektronikus kiadása:
  • Prolog-jegyzet: Szeredi Péter, Benkő Tamás: Deklaratív programozás. Bevezetés a logikai programozásba. Oktatási segédlet, 2004.
  • PS (1 oldal/A4 lap), PDF (1 oldal/A4 lap)
  • SML-jegyzet: Hanák D. Péter: Deklaratív programozás. Bevezetés a funkcionális programozásba. Oktatási segédlet, 2005. márc.
  • PS (1 oldal/A4 lap, 320K), PDF (1 oldal/A4 lap, 833K), PS (2 oldal/A4 lap, 316K), PDF (2 oldal/A4 lap, 617K)

• Fogalomtár / Glossary
• Prolog fogalomtár

Egyéb hasznos hivatkozások / Other useful links

Teljes szövegű elektronikus folyóiratok, bibliográfiai adatbázisok, szótárak, lexikonok, nyelvi tesztek. Ingyenesen érhetők el felsőfokú tanintézetek, kutatóintézetek, szakkönyvtárak és más közintézmények IP-tartományából.