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

Impressum