Všechny kurzy

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.