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

Friss hírek / News

• Félévközi követelmények változása a 2007. év tavaszi félévétől!
  Kérjük, olvassák el figyelmesen a módosított félévközi követelmények 2. változatát, és legkésőbb 2007. január 31-éig írják meg észrevételeiket. A regisztrációs héten beérkező észrevételeket már nem tudjuk figyelembe venni.
• "Hogyan írathatom be az ebben a félévben megszerzett aláírást, ha most nem vizsgázom?"
  1. A febr. 2-i vizsgára behozza, beküldi.
  2. Beteszi a tanszékvezetői szoba előtti fachomba (IIT, IB. III. emelet), másnap értejön.
  3. Beteszi Szeredi Péter fachjába a tanszéki irodában (SZIT, V2.104), másnap értemegy.

Jó tudni / Good to know

• Előadások / Classes
  • Kedden 12.15-14.00, szerdán 16.15-18.00 között az IB.027 teremben.
• Fakultatív laborgyakorlatok / Facultative laboratory practice
  • A tárgyhoz fakultatív konzultációt tartunk számítógépek mellett az IL.407-ben október 10-étől kezdve minden kedden 16 órától kb. 18 óráig. (A laborban 14 számítógép van.)
• Előadók / Lecturers: dr. Hanák Péter, dr. Szeredi Péter
• 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ó.

• 3. PL kisházi: feladatkiírás, a beadási határidő: 2007. jan. 3. szerda 24h, 2006. dec. 22-én vizsgázóknak dec. 21. csütörtök 24h, beadás hamarosan az ETS-ben.
• 2. PL kisházi: feladatkiírás, a beadási határidő: 2006. dec. 20. szerda 24h, beadás az ETS-ben.
• 1. PL kisházi: feladatkiírás, a beadási határidő: 2006. dec. 8. péntek 24h volt.
• 3. SML kisházi: feladatkiírás, a beadási határidő: 2006. nov. 30. csüt. 24h volt.
• 2. SML kisházi: feladatkiírás, a beadási határidő: 2006. nov. 16. csüt. 24h volt.
• 1. SML kisházi: feladatkiírás, a beadási határidő: 2006. okt. 24. kedd 24h volt.

Nagyházi / Big homework

• Nagy házi feladat, beadás a 2006. december 18-án, hétfőn 24h-ig meghosszabbított határidőig az ETS-ben (eredetileg 2006. december 4. volt a határidő).
• Keretprogram.
• A létraverseny eredménye.

Levelezési lista / Mailing list

A tárgy hallgatóit az ETS-ben megadott címükkel automatikusan felvesszük a levelezési listára is. Figyelem: kizárólag az ETS-ben megadott című postafiókjából küldhet levelet a listára a dp-l@iit.bme.hu címre. Mielőtt kérdezne, nézze meg a levelezési lista archívumát, hátha ott máris megtalálja a választ!

Követelmények / Requirements

• 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

Az ETS-be a NEPTUN-kóddal kell belépni. Az ETS az üzeneteit alapértelmezés szerint a tárgyat felvett minden hallgatónak a {neptunkod}@neptudkod.hszk.bme.hu címére küldi el, ez a cím azonban később bármikor módosítható.

Gyakorlórendszer / Exerciser

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

Zárthelyik / Midterm tests

A zéhák érvényességéről és az aláírásról
1. Az aláírás megszerzéséhez zéhát (nagy-, pót- vagy pótpótzéhát) kell írnia annak, akinek nincs korábbról aláírása, sem érvényes zéhája az adott félévben.
2. Akinek nincs aláírása vagy érvényes zéhája, annak a zéhán mindkét nyelvből el kell érnie a 40-40%-os ponthatárt ahhoz, hogy a zéhá érvényes legyen.
3. Akinek van aláírása, nem kell zéhát írnia ahhoz, hogy vizsgázhasson, ám a korábban kapott pontszámát nem vesszük figyelembe a vizsgán. Ahhoz, hogy a vizsgára pontot vigyen, pontszerzés céljából kell zéhát írnia.
4. Akinek tehát van aláírása, pontszerzés céljából írhat zéhát. Az ilyen pontszerző zéhá a 40-40%-os pontszámhatártól függetlenül mindig érvényes. Megszerzett aláírás nem veszíthető el.
5. Javító zéhát (pót-, illetve pótpótzéhát) írhat az, aki az adott félévi zéhá-eredményén szeretne javítani. A javító zéhá akkor érvényes, ha a kapott pontszám mindkét programozási nyelvből eléri a 40%-os ponthatárt. Egy korábbi zéhá érvényessége nem veszik el akkor sem, ha a javító zéhá érvénytelen.
6. Az érvényes zéhákra kapott pontszámok közül a legnagyobbat számítjuk be 15%-os súllyal a vizsgaeredménybe.

• Minta-feladatsorok és megoldásuk: SML-feladatsorminta és megoldása - Prolog-feladatsorminta és megoldása - Régi zéhák
• Feladatsorok és megoldásuk a 2006-os tavaszi félévből:
  Feladatsorok a nagyzéhán (A&B) - Prolog-megoldások (A&B) - SML-megoldások (A&B)
  SML-feladatsorok a pótzéhán(A&B) - SML-megoldások (A&B)

• Pótpótzárthelyi: 2007. január 5., péntek, 11:00-13:00 az IB.025 és IB.027 termekben.
• Pótzárthelyi: 2006. december 8-án, pénteken 18:00-20:00 között volt, az eredményeket az ETS-ben lehet megnézni. Statisztika a pótzéháról.
• 2006. nov. 29-én, szerdán 16.15-től próbazárthelyit tartottunk előadás helyett az IB.027-ben. A próbazárthelyin minden résztvevőnek az "igazi" zéhákéhoz hasonló feladatsort kellett megoldania, amit a jelen lévő demonstrátorok és oktatók menet közben ellenőriztek, és ha kellett, segítséget adtak a megoldáshoz.
• Nagyzárthelyi: 2006. november 16-án, csütörtökön 19:00-21:00 között volt, az eredményeket az ETS-ben lehet megnézni. Statisztika a nagyzéháról.
  Feladatsor PL-megoldások SML-megoldások

Vizsgák / Exams

• A vizsga menete: HTML PDF
• Pontozás, ponthatárok: HTML
• A vizsgák ideje (pénteki napok) és helye, létszámkorláttal / jelentkezők számával (feb. 2.)
  • 2006. 12. 22. 08:00-18:00, IB.026, max. 100 / 38 Statisztika
  • 2007. 01. 05. 11:00-20:00, IB.025, max. 60 / 9
  • 2007. 01. 12. 08:00-18:00, V2.716, max. 100 / 25
  • 2007. 01. 19. 08:00-18:00, V2.716, max. 100 / 25
  • 2007. 01. 26. 08:00-18:00, IE.220, max. 100 / 60
  • 2007. 02. 02. 08:00-18:00, IE.007, max. 86 / 100
• Minta-vizsgafeladatok: Prolog SML
• Tételsorok "Elméleti" tételek Prologból "Elméleti" tételek SML-ből

Nyomtatott jegyzetek / Printed lecture notes

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 last semester's 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

Folytatás-tárgyak / Continuation courses

• A funkcionális, illetve logikai programozás iránt érdeklődő hallgatók figyelmébe ajánljuk az alábbi "folytatás-tárgyakat":
  • Magasabbrendű funkcionális programozás, a 2006/07-es tanév őszi félévében hétfőnként 16.15-18.00 és péntekenként 14.15-től-16.00 között; A 2002-ben megfogalmazott tananyaghoz képest változás lesz, hogy a következő funkcionális nyelvek, illetve témák kapnak nagyobb hangsúlyt: Alice (lusta kiértékelés, párhuzamos és elosztott programozás, korlátalapú programozás), Haskell (lusta kiértékelés, típusosztályok, monádok), Erlang (gyakorlati alkalmazások, elosztott rendszerek programozása), Hume (beágyazott rendszerek programozása), esetleg Ocaml (objektum-orientáltság, gyakorlati alkalmazások, programkönyvtár).
  • Nagyhatékonyságú logikai programozás, a 2006/07-es tanév őszi félévében hétfőnként 12.15-14.00 között;
  • Válogatott fejezetek a logikai programozásból szeminárium, a 2006/07-es tanév őszi félévében csütörtökönként 12.15-14.00 között.

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.