Sylabus
- 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).
Anotace
Úkolem prosemináře je seznámit studenty se základy matematické logiky a statistiky a rozšířit znalosti z lineární algebry, potřebné v dalším studiu.