Lehre der Abteilung Theoretische Informatik

Wintersemester 2011/12

• Theoretische Grundlagen der Informatik I: Logik und Diskrete Strukturen (3V+1Ü)
  Prof. Ulrich Hertrampf (V), Tobias Walter (Ü)
  Vorlesung
  (Zielgruppe: Grundstudium Bachelor Informatik bzw. Softwaretechnik)

• Ergänzungen zu Logik und Diskrete Strukturen (2Ü)
  Jürn Laun
  Vorlesung
  (Zielgruppe: Grundstudium Bachelor Informatik bzw. Softwaretechnik)

• Berechenbarkeit und Komplexität (3V+1Ü)
  Prof. Volker Diekert (V), Alexander Lauser (Ü)
  Vorlesung
  (Zielgruppe: Fachstudium Bachelor Informatik)

• Algorithmen und Berechenbarkeit/Formale Methoden (3V)
  Prof. Ulrich Hertrampf
  Vorlesung (die Übung wird von der Abteilung ALG angeboten)
  (Zielgruppe: Fachstudium Bachelor Softwaretechnik, Grundstudium Hörer anderer Fakultäten)

• Ergänzungen zu Algorithmen, Berechenbarkeit und Komplexität (2Ü)
  Jürn Laun
  Vorlesung
  (Zielgruppe: Fachstudium Bachelor Informatik bzw. Softwaretechnik)

• Algorithmik (3V+1Ü)
  Prof. Volker Diekert (V), Armin Weiss/Nikola Milosavljevic (Ü)
  Vorlesung
  (Zielgruppe: Fachstudium Bachelor Informatik)

• Automaten über unendlichen Wörtern (2V)
  Dr. Manfred Kufleitner
  Vorlesung
  (Zielgruppe: Hauptstudium Diplom Informatik bzw. Softwaretechnik)

• Oberseminar der Theoretischen Informatik
  Prof. Diekert, Prof. Funke, Prof. Hertrampf
  Kolloquium
  (Zielgruppe: Diplomand(inn)en und Mitarbeiter(innen), auswärtige Gäste, Theorie-Interessierte)