prof. RNDr. Petr Jančar, CSc. Výuka

Předměty

• KMI/ALS2 Algoritmy pro těžké problémy
• KMI/MALO Matematická logika
• KMI/MOVE Modelování a verifikace
• KMI/VYSLO Vyčíslitelnost a složitost