Úvod do logiky a logického programování
IB101
MU
Úvod do funkcionálního programování
IB015
MU
Formální jazyky a automaty I
IB005
MU
Návrh algoritmů I
IB002
MU
Úvod do programování
IB001
MU
Matematické základy informatiky
IB000
MU
Logická analýza přirozeného jazyka II
IA157
MU
Algoritmika pro těžké problémy
IA101
MU