Veranstaltungen vergangener Semester

Sommersemester 16

Wintersemester 15/16

Sommersemester 15

Vorlesungen

  •     Algorithmische Geometrie
  •     Berechenbarkeit
  •     Fachdidaktik I und II
  •     Formale Sprachen
  •     Model Checking

Wintersemester 13/14

Vorlesung

  • Formale Sprachen
  • Circuit Complexity

Nach oben

Sommersemester 13

Vorlesung

  • Spezielle Kapitel der Theoretischen Informatik
  • Komplexitätstheorie
  • Algorithmische Geometrie
  • Datenkompression
  • Berechenbarkeit
  • Diskrete Optimierung
  • Model Checking

Seminar

  • Theoretische Informatik

Proseminar

  • Spieltheorie 

Nach oben

Wintersemester 12/13

Vorlesung

  • Spezielle Kapitel der theoretischen Informatik
  • Codierung und Verschlüsselung
  • Informatik III

Seminar

  • Fachdidaktik I
  • Theoretische Informatik

Proseminar

  • Reguläre Sprachen

Nach oben

Sommersemester 12

Vorlesung

  • Formale Sprachen
  • Petrinetze
  • Circuit Complexity

Seminar

  • Komplexität und Berechenbarkeit

Proseminar

  • Spieltheorie

Nach oben

Wintersemester 11/12

Vorlesung

  • Kryptologie
  • Informatik III
  • Komplexitätstheorie

Seminar

  • Komplexität und Berechenbarkeit
  • Fachdidaktik I

Proseminar

  • Spieltheorie

Nach oben