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á
Základy matematické logiky (583 - 2021 - ZS)
Volby zápisu
Anonymní hosté nemohou do tohoto kurzu vstupovat. Přihlaste se prosím.