Understanding the basic notions of mathematical logic and the realization that (formal) proofs can be the object of mathematical study.
Propositional logic, first order predicate logic, completeness theorem; ZFC-Axioms; axiom of choice, cardinality; introduction to computational logic.
Beginn 1.10. 2013, 11:15, voraussichtlich im Sem 325/1 (Freihaus 4.Stock, gelber Bereich).
Oral exam
Not necessary