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

Cílem předmětu je seznámení posluchačů se základy matematické logiky. Znalosti využijí zejména při studiu matematiky a informatiky.