Válogatott Fejezetek a Logikai Programozásból 2005 őszi félév, Információk

Ez a lap a Válogatott Fejezetek a Logikai Programozásból tárgy anyagára vonatkozó információkat tartalmaz.

Előadások (előzetes ütemterv)

09.12, 09.19, 09.26 - Szeredi Péter: a Prolog megvalósításairól
10.03 - Hunyadi Levente: Web programozás Prologban. Fóliák: pdf
10.10 - Buza Krisztián Antal: Prolog és Java párosa. Fóliák: ppt, programok
10.17 - Miklós Balázs: Táblázott logikai programozás
10.24 - Hajós Gergely: Prolog programok annotálása és preprocesszálása. Fóliák: pdf
11.07 - Szoboszlay Dániel: Elosztott deklaratív programozás. Fóliák: pdf, példaprogramok
11.14 - Gados Dániel: Prolog alapú tételbizonyítók. Fóliák: ppt, ps
11.21 - Sárádi András: Típusos Prolog rendszerek. Fóliák: pdf
11.28 - Kelemen Attila: Válaszhalmaz programozás. Fóliák: pdf, ppt, példaprogramok
12.05 - Farkas Gábor: Prolog programok párhuzamos végrehajtása. Fóliák: pdf, ppt
12.12 - Sisak Áron: Leíró logikai programozás. Fóliák: pdf
12.12 - Makai Tamás: Prolog nyomkövetés. Fóliák: pdf

A rokon tárgyakról, korábbi félévekről Szeredi Péter oktatási honlapján található információ.