- Učitel: Jan Jaroš
Garant: Miroslav Hovorka
Podmínky splnění: Pro absolvování kurzu je potřeba získat minimálně 80% bodů ze závěrečného testu.
- Učitel: Jan Jaroš
- Učitel: Petr Vejskrab
Cílem předmětu je seznámení posluchačů se základy matematické logiky. Studenti získají přehled o metodách matematické logiky. Znalosti využijí zejména při studiu matematiky a informatiky.
- Učitel: Jana Kalová
- Učitel: Jan Jaroš
- Učitel: Petr Vejskrab
Podmínky splnění: Pro absolvování kurzu je potřeba získat minimálně 80% ze závěrečného testu.
- Učitel: Miroslav Hovorka
- Učitel: Jan Jaroš
- Učitel: Jan Jaroš