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.
Cílem předmětu je seznámení posluchačů se základy matematické logiky.

Cílem předmětu je seznámení posluchačů se základy matematické logiky.