Advanced Logic (SS 2022)
Organisation
- Lecturer: Prof. Dr. Markus Lohrey
- Lecture:
- Monday, 14:00-16:00, in H-B 6414
- Tutorials:
- Wednesday, 14:00-16:00, in H-C 6336/37 (Louisa Seelbach)
- The first tutorial will be on Wednesday, April 13
Some topics
- Undecidability in predicate logic
- The theorems of Church and Trakhtenbrot
- Undecidability of arithmetics and Gödel's theorem
- Automatic Structures
- Quantifier elimination and the decidability of real arithmetics (Tarski's theorem)
- Monadic second order logic and regular languages (Büchi's theorem)
Slides (Version from 21.6.2022)
Videos
Exercise sheets
- Exercise 1 - Recapitulation of Logic I
- Exercise 2
- Exercise 3
- Exercise 4
- Exercise 5
- Exercise 6
- Exercise 7
- Exercise 8
- Exercise 9
- Exercise 10
- Exercise 11
- Exercise 12
Literature
- Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas, Einführung in die mathematische Logik, Springer
- Uwe Schöning: Logik für Informatiker, Spektrum Akademischer Verlag