Die Lehre unseres Instituts konzentriert sich naturgemäß auf die Theoretische Informatik und orientiert sich an unseren speziellen Kompetenzen, die sich auch in der Forschung widerspiegeln. Die unten stehende Tabelle führt die von uns regelmäßig angebotenen Lehrveranstaltungen auf, weitere Informationen zur Durchführung finden Sie über das konkrete Semester (linkes Menü). Außerdem sind alle Interessierten zum regelmäßigen Seminar des Instituts für Theoretische Informatik eingeladen.

Sommersemester

• Algorithmen und Datenstrukturen (Bachelor,  2.Semester)
• Ausgewählte Kapitel der Algorithmik (Master,  2.Semester)
• Effiziente Algorithmen (Bachelor, 4.Semester)
• Formale Sprachen und Komplexität (Ingenieurinformatik, Bachelor,  6.Semester)
• Logik in der Informatik (Master,  2.Semester)
• Logische Strukturen (Bachelor, 2.Semester)
• Public Key Kryptographie (Bachelor,  4./ 6. Semester bzw. Wirtschaftsinformatik, Master, 2.Semester)

Wintersemester

• Automaten und Formale Sprachen (Bachelor, 3.Semester)
• Automatentheorie (Bachelor, 4. Semester)
• Approximationsalgorithmen (Master, 1./3. Semester)
• Ausgewählte Kapitel der Komplexitätstheorie (Master, 1./3. Semester)
• Berechenbarkeit und Komplexität (Bachelor, 5.Semester)
• Effiziente Algorithmen II (Master, 1.Semester)
• Komplexitätstheorie (Master, 1./3.Semester)
• Randomisierte Algorithmen (Bachelor, 4./6. Semester)
• Theoretical Computer Science (RCSE, Master, 1.Semester)
• Verifikation unendlicher Systeme (Master, 1./3. Semester)