×

Teorie množin a logika

Cílem přednášky je seznámit studenty se základy matematické logiky a teorie množin. V logické části přednáška pokrývá jak výrokový, tak predikátový počet a dochází až ke Gödelovým větám o neúplnosti predikátové logiky. Část věnovaná teorii množin seznamuje studenty se základy axiomatické teorie množin a s pojmy jako nekonečné množiny, mohutnost množin nebo ordinální čísla.