vhodné zejména pro učitele inf./VT
Garant: Doc. RNDr. Mojmír Křetínský, CSc.
Charakteristika a cíl vzdělávací akce:
kurz ilustruje základní principy výstavby formální (matematické) teorie vedoucí k prakticky užitečným výsledkům, účastníci
se seznámí s: