• Lehrstuhl
• Forschung / Projekte
• Lehre
  • Aktuell
  • Archiv
  • Allgemeine Informationen
  • Literatur
  • Skripte
  • Vorlesungsvideos
  • AG Logik und Automaten
• Team
• Diplomarbeiten
• Publikationen
• Kontakt
• Konferenzen / Workshops
• Links

Aktuelles Semester

Sommersemester 2008 (CAMPUS)

• Vorlesungen
  • Angewandte Automatentheorie
  • Formale Systeme, Automaten, Prozesse
  • Erkenntniswege in der Erfahrungswissenschaft
• Proseminare, Seminare, Praktika
  • Seminar über Automatentheorie
  • Informatikpraktikum für Mathematiker
  • Softwarepraktikum: Webprogrammierung und das Satzsystem LaTeX
• Sonstiges
  • Arbeitsgemeinschaft Logik und Automaten

Vorankündigung für das Wintersemester 2008/2009 (CAMPUS)

• Vorlesungen
  • Automaten auf unendlichen Wörtern
  • Unendliche Spiele
  • Rekursionstheorie
  • Ideengeschichte der Informatik
  • Planeten und Exoplaneten
• Proseminare, Seminare, Praktika
  • Seminar über Automatentheorie
  • Proseminar über Automatentheorie
  • Softwarepraktikum: Webprogrammierung und das Satzsystem LaTeX
• Sonstiges
  • Arbeitsgemeinschaft Logik und Automaten