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 Donnerstag 1.10.2015, 12:00. Achtung, die VO findet Di und Do statt. Am Donnerstag aber erst um 12 Uhr (nicht um 11 wie im letzten Semester).
Mündliche Prüfung
Nicht erforderlich