[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/