Aktuelles Semester

Sommersemester 17

Alle Module

Bachelormodule:

Mastermodule:

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