Deklaratív programozás / Declarative programming 2005. tavaszi félév / Spring 2005 BMEVIFO2218 (magyar, Bpest) - BMETKVIB422 (English) Legutóbbi frissítés / Last update: 2019-04-01

Friss hírek / News

• Ha sikerült felkeltenünk az éreklődését a logikai, illetve a funkcionális programozás iránt, akkor ajánljuk figyelmébe az alábbi "folytatás-tárgyakat":
• Információk a Nagyhatékonyságú logikai programozás tárgyról
• A Magasabbrendű funkcionális programozás tárgy honlapja
• Információk a Válogatott fejezetek a logikai programozásból c. szemináriumról
• NHF létraverseny eredmények. Gratulálunk!
• A pótpótzárthelyi pontszámai az ETS-ben, a megoldások a ZH szakaszban olvashatók. A kijavított dolgozatokat a vizsganapokon a vizsgateremben lehet megnézni.
• A vizsgákra a NEPTUN-ban kell jelentkezni - lásd a Vizsga szakaszt.

Gyakori kérdések - válaszokkal / Frequently asked questions - with answers (only in Hungarian)

• FP-GYIK HTML PDF

ZH

• Pótpótzárthelyi Budapesten: 2005. május 27., péntek, 8h15-10h00, Kmf.21. A pontszámokat az ETS-ben lehet megnézni.
  Feladatsorok és megoldások / Task sheet: SML-feladatsor (A), SML-megoldások (A),
• Pótzárthelyi Budapesten: 2005. május 3., kedd, 17h00-19h00. A pontszámokat az ETS-ben lehet megnézni.
  Feladatsorok és megoldások / Task sheet: Prolog-megoldások (A&B), SML-feladatsorok (A&B), SML-megoldások (A&B),
• Nagyzárthelyi Révkomáromban: 2005. ápr 20., szerda, előadásidőben.
• Nagyzárthelyi Budapesten: 2005. ápr 22., péntek, 15h00-17h00. A pontszámokat az ETS-ben lehet megnézni.
  Feladatsorok és megoldások / Task sheet: Prolog-megoldások (A&B), SML-feladatsorok (A&B), SML-megoldások (A&B),

Vizsga

• A vizsga menete: HTML PDF.
• Minta-vizsgafeladatok: Prolog SML
• Vizsgaidőpontok:
  • Budapest
  • Elővizsga: 2005. május 20., péntek, IB.026, 12h-tól.
  • 1. vizsga: 2005. május 27., péntek, Kmf.21, 8h-tól.
  • 2. vizsga: 2005. június 3., péntek, IE.007, 8h-tól.
  • 3. vizsga: 2005. június 10., péntek, IE.007, 8h-tól.
  • 4. vizsga: 2005. június 17., péntek, Kmf.21, 8h-tól.
  • 5. vizsga: 2005. június 24., péntek, IE.007, 8h-tól.
  • 6. vizsga: 2005. július 1., péntek, IE.007, 8h-tól.
• Tételsorok
  • Prolog "elmélet" tételsor
  • SML "elmélet" tételsor
• Ha sikerült felkeltenünk az éreklődését a logikai, illetve a funkcionális programozás iránt, akkor ajánljuk figyelmébe az alábbi "folytatás-tárgyakat":
• Információk a Nagyhatékonyságú logikai programozás tárgyról
• A Magasabbrendű funkcionális programozás tárgy honlapja
• Információk a Válogatott fejezetek a logikai programozásból c. szemináriumról

KHF

• 1. Prolog kisházi: feladatkiírás, beadási határidő: 2005. márc. 1. 24h, beadás az ETS-ben (lejárt)
• 2. Prolog kisházi: feladatkiírás, beadási határidő: 2005. ápr. 6. szerda 24h, beadás az ETS-ben (lejárt)
• 3. Prolog kisházi: feladatkiírás, beadási határidő: 2005. máj. 4. szerda 24h, beadás az ETS-ben
• 1. SML kisházi: feladatkiírás, beadási határidő: 2005. ápr. 11. hétfő 24h, beadás az ETS-ben (lejárt)
• 2. SML kisházi: feladatkiírás, beadási határidő: 2005. ápr. 18. hétfő 24h, beadás az ETS-ben (lejárt)
• 3. SML kisházi: feladatkiírás, beadási határidő: 2005. ápr. 25. hétfő 24h, beadás az ETS-ben (lejárt)
• 4. SML kisházi: feladatkiírás, beadási határidő: 2005. ápr. 28. csütörtök 24h, beadás az ETS-ben

NHF

• Határidőváltozás! A programok új beadási határideje: 2005. május 13., péntek 24h, a dokumentációé pedig 2005. május 16., hétfő 24h. Beadás változatlanul az ETS-ben. A programokat bizonyos 20% pontlevonás mellett szintén be lehet adni 2005. május 16-án, hétfőn 24h-ig, de ezek a programok a létraversenyben már nem vesznek részt.
• Nagy házi feladat.
• Keretprogram a nagy házi feladathoz

Jó tudni / Good to know

• Előadások / Classes
  • Budapesten magyarul: hétfő 15.15-17.00, E.1.B; kedd 10.15-12.00, E.1.B. A tárgyhoz fakultatív számítógéptermi konzultációt tartunk, minden héten hétfőn és csütörtökön 17.15-től kb. 19.00-ig az IL.407-ben. Előzetesen jelentkezni kell az ETS-ben.
  • Révkomáromban magyarul: szerda 09.45 - 11.15, E12; 11.30-13.00, Info2. Tanteremben és számítógépteremben.
  • In English in Budapest: Tuesday 12.15-14.00, room IB.144; Friday 08.15-10.00, room IE.219. Laboratory practice is held on Fridays in room IL.407.
• Előadók / Lecturers: Békés András György, dr. Hanák Péter, Lukácsy Gergely, dr. Szeredi Péter
• Javasoljuk a tárgy hallgatóinak, hogy iratkozzanak fel a tárgy levelezési listájára (továbbiak a lap végén).
• Fontos tervezett időpontok a félévben: nagyházi kiadása a 6., nagyzéhá a 10., nagyházi beadása és pótzéhá a 12. oktatási héten, pótpótzéhá az első rendes (azaz nem elő-) vizsgán. Kisházik kiadása hat alkalommal várható. A budapesti vizsgák a vizsgaidőszakban minden héten pénteken lesznek május 27-étől. Elővizsgát május 20-án, pénteken tartunk 12h-tól.

Követelmények / Requirements

• A budapesti magyar nyelvű kurzus hallgatói számára a tanulmányi hivatal honlapján: HTML, és a tanszéki honlapon: HTML, PDF.
• A révkomáromi magyar nyelvű kurzus hallgatói számára a tanszéki honlapon: HTML, PDF.
• For students of the course in English on the home page of the DP-course: HTML, PDF.

Nyomtatott jegyzetek / Printed lecture notes

• Házi kiadású jegyzeteket febr. 15-étől 22-éig lehetett rendelni az ETS-ben. Ezt kell tudni az átvételükről.
  Mind a logikai programozásról (LP), mind a funkcionális programozásról (FP) szóló kötet elkészült. Az LP-kötet ára 1000 Ft, az FP-kötet ára 850 Ft. Korábbi elektronikus változatuk letölthető a honlapról. Az LP-kötet nem változott az előző kiadáshoz képest, az FP-kötetben azonban jelentős szerkezeti és részben tartalmi változások vannak.

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

• A 2005. tavaszi félév előadásainak fóliá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
• 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 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)
• 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)
• Slides of the lectures of the current 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):
• 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 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
• A jegyzetek korábbi 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, 2001.
  • PS (1 oldal/A4 lap, 342K), PDF (1 oldal/A4 lap, 700K), PS (2 oldal/A4 lap, 345K), PDF (2 oldal/A4 lap, 815K)
    Új kiadás készült (2005. márc.)
• Fogalomtár / Glossary
• Prolog fogalomtár

Gyakorlórendszer / Exerciser

Az ETS gyakorlórendszer hálófüggetlen, otthon használható változata letölthető innen: Windows változat, Linux változat.

Levelezési lista / Mailing list