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)
Options d’inscription
Les visiteurs anonymes ne peuvent pas accéder à ce cours. Veuillez vous connecter.