After successful completion of the course, students are able to explain and to judiciously apply the following concepts: propositional and predicate calculus, the proof calculus discussed in the lecture (in particular the role of the subsitution axiom as well as metatheorems such as introduction of quantifiers), semantic and syntactic consistency, compactness of propositional and first order predicate logic, unification algorithm and resolution algorithm (and its compleness), ZFC axioms (in particular the role of AC), models and counterexamples to small fragments of ZFC, well orders and ordinal numbers.
Note that the course is given in English. The oral exam can be taken in English.s
Propositional logic, first order predicate logic, completeness theorem; ZFC-Axioms; axiom of choice, cardinality; introduction to computational logic.
Lecture at the blackboard, supplemented by lecture notes. Moreover: Answers to students' questions.
Die Vorlesung wird voraussichtlich (hoffentlich) in Präsenz stattfinden, und zwar voraussichtlich Di 11-13 und Do 12-13, die UE Do 11-12.
Bitte tragen Sie sich in den tuwel-Kurs zur VO ein - erstens, um Nachrichten über eventuelle (Termin-)Änderungen zu bekommen, zweitens, um mir eine Idee zu geben, wie viele Studierende ich erwarten kann.
Oral exam
Not necessary
Vertrautheit mit der mathematischen Methode: präzise Definitionen,hinreichend ausführliche Beweise.
