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

Mitteilungen

  • Mündliche Prüfungen findem am 25. und 26.3. statt. Für eine Terminvereinbarung wenden Sie sich bitte an Frau Peuker (dana.peuker@tu-ilmenau.de), sie vergibt diese zwischen dem 29.1. und dem 6.2.
  • 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

Termine

  • Vorlesungen: (Prof. Dietrich Kuske)
  •    Montag (G), 09:00 - 10:30 Uhr, Sr OEC 3007
  •    Freitag, 09:00 - 10:30 Uhr, Sr H 1527

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.
  • Dietrich Kuske: "Automatic structures" Vorlesungen bei der GAMES Winter School, 2013 (1. Vorlesung, 2. Vorlesung).
  • Dietrich Kuske: "Automatic structures" Vorlesungen bei ESSLLI, 2010. (1. Vorlesung, 2. Vorlesung, 3. Vorlesung, 4. Vorlesung, 5. Vorlesung)
  • Achim Blumensath, Erich Grädel: "Automatic Structures" in Annual ACM/IEEE Symposium on Logic in Computer Science, Seiten 51-62, ACM, 2000.