Syllabus
Výrok. Výrokový počet.
Logické operace.
Vlastnosti logických operací.
Souvislost s teorií množin.
Booleova algebra.
Matematické důkazy.
Predikátový počet.
Nerozhodnutelná tvrzení - Gödelovy věty.
Annotation
Předmět se zabývá základy klasického výrokového počtu, jeho axiomatikou, sémantikou a metodami odvozování a dokazování. Do kurzu je zařazen i stručné seznámení s nerozhodnutelnými tvrzeními - Gödelovy věty.