Lehre

Aktuelle Lehrveranstaltungen (SS 2014)

Frühere Veranstaltungen

Regelmäßige Veranstaltungen

Vertiefungsgebiet Logik und Komplexität

  • Mathematische Logik II
  • Logik und Spiele
  • Algorithmische Modelltheorie
  • Komplexitätstheorie
  • Quanten-Computer
  • ggfs. weitere Vorlesungen aus dem Angebot des Lehrstuhls für Informatik 7