Matematická logika
MA007
MU
Strojové učení a dobývání znalostí
PV056
MU
Řízení implementace IS
PV098
MU
Programování s omezujícími podmínkami
PA163
MU
Architektury výpočetních systémů
PB150
MU
Lineární modely
MB101
MU
Umělá inteligence I
PB016
MU
Úvod do korpusové lingvistiky a počítačové lexikografie
IB047
MU