..
Suche
Hinweise zum Einsatz der Google Suche
Personensuchezur unisono Personensuche
Veranstaltungssuchezur unisono Veranstaltungssuche
Katalog plus

Advanced Logic (Summer 2025)

Organisation

  • Lecturer: Prof. Dr. Markus Lohrey
  • Lecture:
    • Monday, 14:00-16:00, in H-C 7327
  • Tutorials:
    • Friday, 8:00-10:00, in H-C 7326 (Rahul Jain)
    • The first tutorial will be on Friday, April 11.

 

Some topics

  • Undecidability in predicate logic
  • The theorems of Church and Trakhtenbrot
  • Undecidability of arithmetics and Gödel's theorem
  • Automatic Structures
  • Monadic second order logic and regular languages (Büchi's theorem)
  • Existential second-order logic (Fagin's theorem)

 

Slides

 

Exercise sheets

 

Literature

Impressum