Výuka
Konzultační hodiny
Po předchozí domluvě v předem neomezených termínech (případně mě zkuste kdykoliv zastihnout v kanceláři, pokud to půjde, budu se Vám věnovat).
Garantované předměty
| FAD |
Formální analýza programů
čeština, angličtina, zimní, UITS |
Vyučované předměty
| FAD |
Formální analýza programů
Přednáška, čeština, angličtina, zimní, UITS |
| IAM |
Pokročilá matematika
Cvičení na počítači, Cvičení odborného základu, Přednáška, čeština, angličtina, letní, UITS |
| IOS |
Operační systémy
Projekt, Přednáška, čeština, angličtina, letní, UITS |
| IZLO |
Základy logiky pro informatiky
Přednáška, čeština, letní, UITS |
| MAD |
Vybrané kapitoly z matematiky
Přednáška, čeština, angličtina, letní, UITS |
| SAV |
Statická analýza a verifikace
Přednáška, čeština, zimní, UITS |
| SLOa |
Složitost (v angličtině)
Přednáška, angličtina, letní, UITS |
| TIN |
Teoretická informatika
Cvičení odborného základu, Projekt, Přednáška, Seminář, čeština, zimní, UITS |