Základy matematické logiky (583 - 2023/2024 - ZS)

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.