[Buza Krisztián weblapja]

Alkalmazott Logikai és funcionális programozás

Logikai programozás rész

(Ideiglenes változat - a weblap fejlesztése folyamatban)

Alapadatok
Előadó: Buza Krisztián, Szeredi Péter
E-Mail: buza (kukac) cs (pont) bme (pont) hu
Hol? Mikor? I.B. 144 (kedd 14:30-17:00),
I.E.217.1 (csütörtök 10:15-11:45)


Ajánlott irodalom
Szeredi Péter, Benkő Tamás:
Deklaratív programozás. Bevezetés a logikai programozásba. Oktatási segédlet, 2004.
http://dp.iit.bme.hu/prolog/jegyzet/dp04s_jegyzet.pdf.gz

Előadásfóliák

F# fóliák
Prolog fóliák (1. köteg)
Prolog fóliák (2. köteg)
Prolog fóliák (3. köteg)

Ciklusok Sictus Prologban:
http://www.sics.se/sicstus/docs/4.1.2/html/sicstus/ref_002dsem_002dctr_002ddol.html
Gyakorlatok

F# gyakorló feladatok
F# kisfeladatok (2. gyakorlat)
"Elkevertje" feladat (2. gyakorlat)
1. Prolog feladatsor: [utf-8-as kódolás] [iso 8859-1-es kódolás]
2. Prolog feladatsor: ITT
Programozási feladatok órai megoldása:
[okt. 11.] [okt. 18.] [nov. 22.] [nov. 29. - SEND+MORE=MONEY CSP-vel]

KisHF

1. kisHF:
http://sgate.emt.bme.hu/hanak/aflp/hf/aflp12a-khf1.html
2. kisHF:
http://sgate.emt.bme.hu/hanak/aflp/hf/aflp12a-khf2.html
3. kisHF:
http://sgate.emt.bme.hu/hanak/aflp/hf/aflp12a-khf3.html

Segítség a kisházikhoz (KHF-fel kapcsolatos kérdések és válaszok)


Egyéb

SEND + MORE = MONEY

A tantárgy adatlapja

https://www.vik.bme.hu/kepzes/targyak/VISZM100/