Veranstaltungen im SS 2012:

• Theoretische Informatik: Berechenbarkeit und Formale Sprachen
• Komplexitätstheorie
• Seminar: Theoretische Informatik

Veranstaltungen im WS 2011/2012:

• Entwurf und Analyse von Algorithmen
• Reduktionssysteme I
• Seminar: Theoretische Informatik
• Klausur für Theoretische Informatik: Berechenbarkeit und Formale Sprachen

Veranstaltungen im SS 2011:

• Theoretische Informatik: Berechenbarkeit und Formale Sprachen
• Formale Sprachen und Automaten II
• Seminar: Theoretische Informatik

Veranstaltungen im WS 2010/2011:

• Formale Sprachen und Automaten I
• Entwurf und Analyse von Algorithmen
• Seminar: Theoretische Informatik
• Stringologie
• Klausur für Theoretische Informatik: Berechenbarkeit und Formale Sprachen

Veranstaltungen im SS 2010:

• Theoretische Informatik: Berechenbarkeit und Formale Sprachen
• Komplexitätstheorie
• Seminar: Theoretische Informatik
• Klausur für Theoretische Informatik: Logik

Veranstaltungen im WS 2009/2010:

• Theoretische Informatik: Logik
• Reduktionssysteme I
• Seminar: Theoretische Informatik
• Biochemisch Inspirierte Berechnungen
• Klausur für Theoretische Informatik: Berechenbarkeit und Formale Sprachen

Veranstaltungen im SS 2009:

• Theoretische Informatik: Berechenbarkeit und Formale Sprachen
• Formale Sprachen und Automaten II
• Seminar: Theoretische Informatik
• Klausur für Theoretische Informatik: Logik

Veranstaltungen im WS 2008/2009

• Theoretische Informatik: Logik
• Formale Sprachen und Automaten I
• Seminar: Theoretische Informatik

Veranstaltungen im SS 2008:

• LaTeX (nicht nur) für Informatiker
• Klausur für Theoretische Informatik: Logik

Veranstaltungen im WS 2007/2008:

• Theoretische Informatik: Logik
• Reduktionssysteme I
• Seminar: Theoretische Informatik

Frühere Veranstaltungen:

1. Vorlesungen für das Grundstudium:

   • Algorithmen und Datenstrukturen
   • Grundzüge der Informatik I
   • Grundzüge der Informatik II
   • Programmierpraktikum PASCAL
   • Theoretische Informatik I (Grundzüge der Informatik I)
   • Theoretische Informatik II

2. Vorlesungen für das Hauptstudium:

   • Computer-Algebra
   • C++ Programmierkurs für Pascal-Programmierer
   • Einführung in die theoretische Informatik
   • Entwurf und Analyse von Algorithmen
   • Formale Sprachen und Automaten
   • Formale Sprachen: Ausgewählte Kapitel
   • Grundlagen der logischen Programmierung
   • Interaktive Beweissysteme
   • Komplexitätstheorie
   • Konzepte höherer Programmiersprachen
   • Kryptographie
   • LaTeX (nicht nur) für Mathematiker
   • Parallele Algorithmen

3. Spezialvorlesungen:

   • Berechnungen in endlich dargestellten Gruppen
   • Groebnerbasen
   • Homological and homotopical aspects of rewriting systems
   • Lindenmayer-Systeme
   • Reduktionssysteme
   • Worte und ihre kombinatorischen Eigenschaften
   • Wortersetzungssysteme

4. Seminare:

   • Automatic monoids and groups
   • Gleichungen in freien Monoiden
   • Kombinatorische Gruppentheorie
   • L-Systeme
   • Parallele Komplexitätstheorie
   • Primzahlentests, Generatoren von Pseudozahlen und Public-Key Kryptosysteme
   • Probabilistische Algorithmen
   • Theoretische Informatik