Die Studierenden sollen die Grundbegriffe der mathematischen Logik verstehen und insbesondere erkennen, dass (formale) Beweise Objekte mathematischer Untersuchungen sein können.
Aussagenlogik, Prädikatenlogik 1.Stufe, Vollständigkeitssatz; ZFC-Axiome; Auswahlaxiom, Kardinalität; Einführung in die computationale Logik
Beginn Dienstag 3..10.2017, 10:00 Achtung, die VO findet Di und Do statt.
(Genaue Termine werden noch bekannt gegeben)
Mündliche Prüfung
Nicht erforderlich