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 (CV583 - 2022 - ZS)
Opzioni di iscrizione
Gli ospiti non possono entrare in questo corso, per favore autenticati.