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 - 2020 - ZS)
Opciones de matriculación
Los invitados no pueden entrar a este curso. Por favor acceda con sus datos.