×

Výroková logika. Predikátová logika. Cílem předmětu je seznámit studenty se základy klasické logiky, a to jak moderní tak i tradiční.