Kód | Název |
---|---|
460-4016/01 | Modelování a verifikace |
460-4016/02 | Modelování a verifikace |
460-2052/01 | Úvod do programování |
460-2005/03 | Úvod do teoretické informatiky |
460-2007/03 | Bakalářský projekt I |
460-2008/03 | Bakalářský projekt II |
460-4065/03 | Teoretická informatika |
460-2052/05 | Úvod do programování |
460-2001/07 | Algoritmy I |