Nächstes Semester

Wintersemester 17/18

• Konzepte und Methoden der Theoretischen Informatik (Bachelor, Wahl)
• Logik und Komplexität (Master, Vertiefung)
• Seminar zu aktuellen Themen der Theoretischen Informatik (Master, Seminar)

Aktuelles Semester

Sommersemester 17

• Komplexitätstheorie (Master, Basis)
• Proseminar Parametrisierte Algorithmen (Bachelor)

Alle Module

Bachelormodule:

• Logik (Pflicht)

• Grundbegriffe der Theoretischen Informatik (Pflicht)

• Konzepte und Methoden der Theoretischen Informatik (Wahl)

• Einführung in die Grundlagen des Model Checking (Wahl, derzeit nicht)

• Proseminar

Mastermodule:

• Komplexitätstheorie (Basis)

• Logik und Komplexität (Vertiefung)

• Datenbanktheorie (Vertiefung)

• Grundlagen des Model Checking (Vertiefung, derzeit nicht)

• Seminar

Die Links verweisen jeweils auf die Webseite der aktuellsten Version des Moduls.

Kommende Semester (ohne Gewähr!!!)

Wintersemester 17/18

Frühere Semester

WS 16/17

• Logik
• Konzepte und Methoden der Theoretischen Informatik
• Datenbanktheorie

SS 16

• Grundbegriffe der theoretischen Informatik
• Komplexitätstheorie

WS 15/16

• Konzepte und Methoden der Theoretischen Informatik
• Logik und Komplexität

SS 15

• Grundbegriffe der theoretischen Informatik
• Komplexitätstheorie

WS 14/15

• Forschungsfreisemester

SS 14

• Grundbegriffe der theoretischen Informatik
• Komplexitätstheorie

WS 13/14

• Logik
• Parametrisierte Algorithmen
• Datenbanktheorie

SS 13

• Grundbegriffe der Theoretischen Informatik
• Komplexitätstheorie

WS 12/13

• Logik für Informatiker
• Einführung in die Grundlagen des Model Checking
• Logik und Komplexität

SS 12

• Grundbegriffe der Theoretischen Informatik
• Datenbanktheorie

WS 11/12

• Logik für Informatiker
• Komplexitätstheorie

SS 11

• Grundbegriffe der Theoretischen Informatik
• Logik und Komplexität

WS 10/11

• Logik für Informatiker
• Komplexitätstheorie

SS 10

WS 09/10

• Logik für Informatiker
• Komplexitätstheorie

SS 09

• Grundbegriffe der Theoretischen Informatik
• Einführung in die Grundlagen des Model Checking
• Verteilte Algorithmen

WS 08/09

• Logik für Informatiker
• Logik und Komplexität

SS 08

• Parametrisierte Algorithmen
• Datenbanktheorie

WS 07/08

• Logik für Informatiker