Die Studierenden sollen die Grundbegriffe der mathematischen Logik verstehen und insbesondere erkennen, dass (formale) Beweise Objekte mathematischer Untersuchungen sein können.
Beginn 1.10. 2013, 11:15, voraussichtlich im Sem 325/1 (Freihaus 4.Stock, gelber Bereich).
Mündliche Prüfung
Nicht erforderlich