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 2.10.2018, 10:15, Freihaus Seminarraum 5.Stock, dann Donnerstag 4.10. 11:30-13:00 Hauptgebäude HS XV.
Ab der zweiten Woche (9.10.) beginnt die VO am Dienstag um 11 Uhr, die UE findet davor statt.
Mündliche Prüfung
Nicht erforderlich