Last update: doc. RNDr. Pavel Töpfer, CSc. (07.12.2021)
- Propositional and predicate logic, theories and their models, fundaments of set theory.
- Introduction to hypothesis testing.
- Selected topics of linear algebra (eigenvalues and eigenvectors).
Last update: doc. RNDr. Pavel Töpfer, CSc. (07.12.2021)
- Výroková a predikátová logika (syntaxe a sémantika, splnitelnost a dokazatelnost), teorie a modely teorií, základy teorie množin (zápisy množin, množinové operace).
- Základy statistického testování hypotéz (hypotézy, typy dat, typy experimentálních designů, základní parametrické a neparametrické testy).
- Vybrané partie z lineární algebry (zejména se zaměřením na vlastní čísla a vlastní vektory).
|