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 4.10.2016. Achtung, die VO findet Di und Do statt.
Am Do 6.10. und ab Do 20.10. im Hauptgebäude: HS 15 (Stiege 3, dritter Stock); am Do 13.10. jedoch im FH HS 4. Am Dienstag von 11:00 bis 12:20 im Sem DA05 grün (Freihaus, 5.Stock).
Mündliche Prüfung
Nicht erforderlich