Informationen zum Kurs "Automatische Strukturen" (Winter 2026/2027)

Mitteilungen

  • Um bei Interesse aktuelle Informationen (Raumänderungen, korrigiert Übungsaufgaben, ...) zu erhalten, tragen Sie sich bitte im Moodle-Kurs ein.

Materialien

  • Materialien zur Vorlesung oder zur Übung werden im Laufe des Semesters aktualisiert.

     

Allgemeine Informationen

Vorlesungstermine

  • Montag (U), 17:00 - 18:30 Uhr, Sr OEC 3007
    Donnerstag, 09:00 - 10:30 Uhr, Sr K 2003B

    Prof. Dietrich Kuske
     

Literatur

  • Achim Blumensath: "Automatic structures: fundamentals" und "Automatic structures: characterisations", Kap. X und XI in "Monadic Second-Order Model Theory", 2023.
  • Sasha Rubin: "Automatic Structures" in Handbook of Automata Theory II, Seiten 1031-1070, European Mathematical Society Publishing House, Zürich, 2021.
  • Erich Grädel: "Automatic structures: Twenty years later" in Annual ACM/IEEE Symbopium on Logic in Computer Science, Seiten 21-34, ACM, 2020.
  • Achim Blumensath, Erich Grädel: "Automatic Structures" in Annual ACM/IEEE Symposium on Logic in Computer Science, Seiten 51-62, ACM, 2000.