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