Az alábbi információk tájékoztató jellegűek. A hatályos követelmények az egyetemi tanrendi keresőben találhatók.
Első megbeszélés helye és ideje: Irinyi 218-as terem, szeptember 13. (hétfő) 16-18-ig
Az n-dimenzios kocka kombinatorikus tulajdonsagai.
Alapveto Boole-fuggvenyek es fuggvenyosztalyok.
Iteletkalkulus, bizonyitasi rendszerek teljessege.
Kielegithetosegi algoritmusok.
A rezolucios modszer, valtozatai, bonyolultsaga.
Normalformak, polinomialis reprezentaciok, dontesi fak, dontesi diagramok.
Halozatok konstrukcioja, bonyolultsagi also becslesek.