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

Friss hírek / News

• Aláírás: azok, akik ebben a félévben szerezték meg az aláírást a tárgyból, de nem vizsgáznak, a leckekönyvüket jún. 23-án és 30-án (mindkettő péntek) 10 óráig rakhatják be az IIT-n a fachomba, ahonnan aznap 13 órától kezdve aláírva elvihetik.
• Az NHF-létraverseny eredményei. Gratulálunk!
• Ha sikerült felkeltenünk az érdeklő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":
  • 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). A tárgy csak akkor indulhat, ha legalább 15-en választják.
  • 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.
• Következő vizsga: 2006. június 30., péntek, IE.007 (+ IE.213), 8h-tól.
• Ebben a félévben 300-nál valamivel többen szereztek aláírást, és az első két vizsgán 38-an mentek át. Az előző félévekből is sokaknak (talán 100-nál is többnek) van aláírása. A május 28-ától számított öt vizsganapon összesen 4*120+1*200=680 férőhely van. Vagyis csaknem mindenki kétszer jöhet vizsgázni, ha a szükség úgy hozza. Használják ki a lehetőségeket, ne halogassák a vizsgájukat.
  Mindenkinek felhívjuk a figyelmét az alábbikra:
  1. A létszámhatárokat NEM fogjuk felemelni egyetlen alkalommal sem.
  2. Vizsgára jelentkezni, vizsgát lemondani KIZÁRÓLAG a NEPTUN-ban lehet.
  3. Aki nem törli a vizsgajelentkezését a NEPTUN-ból, de nem vizsgázik, az AUTOMATIKUSAN ELÉGTELEN osztályzatot kap.
  Kérjük, vegyék komolyan a leírtakat.
• Kijavítottuk a budapesti nagyzéhák és a budapesti pótzéhákat után a budapesti pótpótzéhákat is. Saját pontszámait mindenki megnézheti az ETS-ben.

Jó tudni / Good to know

• Előadások / Classes
  • Budapesten magyarul: hétfőn 14.15-16.00 között az IB.028, kedden 15.15-17.00 között az St.F.Nagy teremben.
  • Révkomáromban magyarul: kedden 13.00-17.00 között, tanteremben és számítógépteremben.
  • In English in Budapest: Monday 14.15-16.00, room V2.033; Wednesday 10.15-12.00, room V2.317.
• 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 hétfőn 16.15-től kb. 18.00-ig és kedden 17.15-től kb. 19.00-ig. A konzultációra jelentkezni nem kell. (A laborban 14 számítógép van.)
  • Facultative consultation is held on Mondays between 16.15 and 18.00 in the IL.407 computer laboratory.
• Előadók / Lecturers: Békés András György, dr. Hanák Péter, Hanák Dávid, Lukácsy Gergely, 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ó.

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.

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 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.

Gyakori kérdések - válaszokkal / Frequently asked questions - with answers

• FP-GYIK HTML PDF (Hungarian only)
• LP-GYIK PDF (Hungarian only)

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, 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.
4. 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.
5. 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.

• Pótpótzárthelyi Budapesten: 2006. május 26-án, pénteken 10:00-tól volt. Az ETS-ben kellett rá jelentkezni május 24-én 24:00-ig, a NEPTUN-ban nem volt szabad rá jelentkezni; különeljárási díjat fizetni nem kell; ugyanannyit kell tudni rá, mint a nagy- és a pótzéhára kellett volna.
  A kijavított dolgozatokat a vizsganapokon a vizsgák alatt a vizsgatermekben nézhetik meg.
  Jó, ha tudják, hogy minden olyan dolgozatot, amelyik két-három ponttal a 12 pontos "álomhatár" alatt volt, többször is tüzetesen átnéztünk, és ahol csak lehetett, javítottuk a javítást. Nagyon kicsi az esélye, hogy ezeknél a dolgozatoknál valamit elnéztünk volna. Az aprólékos pontozási rendszerünket ismerik (aki nem ismerné, nézze meg a nagyzéhá megoldási útmutatóit), ettől nem térünk el.
  Annak érdemes reklamálnia, aki a részpontszámai ismeretében úgy gondolja, hogy valamelyik feladatát nem pontoztuk, vagy valamit, amit ő megoldott, félreértettünk. Nem érdemes viszont reklamálniuk a ponthatárt el nem érőknek az előző bekezdésben leírtak miatt.
  Azok, akik nem szerezték meg az aláírást, de biztosak benne, hogy mi néztünk el valamit a javításkor, a kijavított dolgozatukat 2006. május 30-án, kedden du. 16.45 és 17.45 között nézhetik meg a V2.141-ben, feltéve hogy előzetesen e-levélben megírják Hanák Péternek, hogy szerintük melyik feladatra kaptak indokolatlanul kevés pontot, és hogy kedden du. eljönnek a V2-be.
• Pótzárthelyi Budapesten: 2006. május 11-én, csütörtökön, 19:00-21:00 között volt az E.1.B, K.A.26, ST.F.NAGY termekben.
  A kijavított dolgozatokat a május 16-i előadáson az St.Nagy teremben 15:15-től vagy a május 19-i elővizsgán 12:30-tól a Ka.60 teremben lehetett megnézni.
  SML-feladatsorok és megoldások: SML-feladatsorok (A&B) - SML-megoldások (A&B)
• Nagyzárthelyi Budapesten: 2006. ápr 21-én, pénteken 14h00-16h00 között volt az IB0.25, IB.0.27, IB.0.28, E.1.B, ST.F.NAGY és CH.F.MAX termekben.
  A kijavított dolgozatokat a konzultációs időpontokban lehetett megnézni az IL.407 laborban, első alkalommal május 4-én, kedden, 17h15-től.
  Feladatsorok és megoldások: Feladatsorok (A&B) - Prolog-megoldások (A&B) - SML-megoldások (A&B)
• Nagyzárthelyi Révkomáromban: 2006. ápr 25-én, kedden 14h00-16h00 között volt.
• Minta-feladatsorok és megoldásuk: SML-feladatsorminta és megoldása - Prolog-feladatsorminta és megoldása - Régi zéhák

Vizsgák / Exams

• A vizsga menete: HTML PDF
• Minta-vizsgafeladatok: Prolog SML
• Tételsorok "Elméleti" tételek Prologból "Elméleti" tételek SML-ből
• Vizsgaidőpontok:
  • Budapest
  • Elővizsga: 2006. május 19., péntek, Ka.60, 12h-tól.
  • 1. vizsga: 2006. május 26., péntek, IE.007, 10h-tól.
  • 2. vizsga: 2006. június 2., péntek, IE.007, 8h-tól.
  • 3. vizsga: 2006. június 9., péntek, IE.007, 8h-tól.
  • 4. vizsga: 2006. június 16., péntek, IE.007 (+ IE.213), 8h-tól.
  • 5. vizsga: 2006. június 23., péntek, IE.007 (+ IE.217), 8h-tól.
  • 6. vizsga: 2006. június 30., péntek, IE.007 (+ IE.213), 8h-tól.

Kisházik / Small homework

• 1. Prolog kisházi: feladatkiírás, beadási határidő: 2006. márc. 1., szerda, 24h, beadás az ETS-ben (lejárt).
• 1. Prolog assignment: see problem description on the lecture slides. Submission via e-mail to dhanak at cs dot bme dot hu by no later than March 2, 2006, 12:00am (over).
• 2. Prolog kisházi: feladatkiírás, beadási határidő: 2006. márc. 31., péntek, 24h, beadás az ETS-ben (lejárt).
• 3. Prolog kisházi: feladatkiírás, beadási határidő: 2006. máj. 26. péntek, 24h, beadás az ETS-ben
• 1. SML kisházi: feladatkiírás, beadási határidő: 2006. márc. 31. péntek, 24h, beadás az ETS-ben (lejárt).
• 2. SML kisházi: feladatkiírás, beadási határidő: 2006. máj. 26. péntek 24h, beadás az ETS-ben
• 3. SML kisházi: feladatkiírás, beadási határidő: 2006. máj. 26. péntek 24h, beadás az ETS-ben

Nagyházi / Big homework

• Nagy házi feladat, programok beadása 2006. május 15-én, hétfőn 24h-ig, dokumentáció beadása 2006. május 17-én, szerdán 24h-ig az ETS-ben
• Keretprogram a nagy házi feladathoz
• Big homework assignment submission deadline: TBD
• Framework program for the homework

Nyomtatott jegyzetek / Printed lecture notes

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

• A jelen, 2006. 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 .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 tavalyi, 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 current 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

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.