Nagyhatékonyságú Logikai Programozás, 2000 őszi félév
Információk
Ez a lap a Nagyhatékonyságú Logikai Programozás tárgy anyagára vonatkozó
információkat tartalmaz.
Vizsga: 2001. január 26. péntek, 8:30-10:30 irásbeli rész,
10:30-13:00 esetleges szóbeli rész.
Helyszín: Z épület fsz. 6.
Konzultáció: 2001. január 24. szerda, 9:00-12:00, Helyszín: IB 140.
Nagy házi feladat: kiírás,
kisebb és nagyobb (új!!!!)
példák. Beadási határidő: 2001. január
23. kedd, 24:00.
Kis házi feladat (lejárt): kiírás
Az nhlp-l levelezési lista: honlap
Az előadásfóliák:
Példaprogramok:
- Programok --- az
előadáson ismertetett CLPQ/R, CLPB és CLPFD
példaprogramok szövege, futási példákkal.
Esettanulmányok:
- Négyzetkirakás --- az
előadáson ismertetett négyzetkirakási esettanulmány.
- Torpedó
--- Az 1999-es házi-feladat (torpedó) mintamegoldása.
- Dominó ---
A 2000 tavaszi házifeladat (dominó) mintamegoldásai.
Gyakorló vizsga-feladatok:
A korábbi évek vizsga-feladat-sorai:
Az FDBG nyomkövető rendszer