Lehrveranstaltungen der Abteilung im WS 2/3

Überblick als pdf

Veranstaltungen im Grundstudium

• Formale Methoden der Informatik (für WiWi)
  R. Schuler mit B. Hollas
• Theoretische Informatik I
  U. Schöning mit B. Hollas
• Proseminar Kombinatorische Methoden in der Informatik
  J. Torán
• Theoretische Informatik II a+b (Intensivstudiengang im Sommer 2+Frühjahr 3)
  J. Torán

Veranstaltungen im Hauptstudium

• Algorithmen der Bioinformatik
  R. Schuler mit J. Messner
• Algorithmen II
  U. Schöning
• Vorlesung Komplexitätstheorie
  W. Lindner
• Hauptseminar Aussagenlogische Beweise
  J. Messner
• Hauptseminar Kryptographie
  R. Schuler
• Praktikum DNA Word Design
  R. Schuler

Diplomandenseminar Theoretische Informatik

---

Jochen Messner