Výuka
Konzultační hodiny
středa, 13:00-15:00, B/A220 (Božetěchova 1/2, Brno 61200)
čtvrtek, 13:00-15:00, B/A220 (Božetěchova 1/2, Brno 61200)
Vyučované předměty
| IAM |
Pokročilá matematika
Cvičení odborného základu, Přednáška, čeština, angličtina, letní, UITS |
| IVS |
Praktické aspekty vývoje software
Přednáška, Seminář, čeština, angličtina, letní, UPGM |
| IZLO |
Základy logiky pro informatiky
Cvičení, čeština, letní, UITS |
| MBA |
Analýza systémů založená na modelech
Cvičení na počítači, čeština, letní, UITS |
| SAV |
Statická analýza a verifikace
Přednáška, čeština, zimní, UITS |