Aktuelles

[29.09.2014]

Die Klausureinsicht ist am Montag, 06. Oktober, 09.30-10.30 Uhr, im Raum o27/531.

[23.09.2014]

Die Berechenbarkeit- und Komplexitätsprüfung findet am 26. September, 11-12 Uhr, im H1 statt.

Berechenbarkeit und Komplexität

Inhalt

Die Vorlesung gibt eine Einführung in die Gebiete der Berechenbarkeits- und Komplexitätstheorie.

Literatur

  • U. Schöning: Theoretische Informatik - kurz gefasst. Spektrum Akademischer Verlag, 5. Auflage, 2008.
  • Skript

Übungen

Der Ablauf der Übungen wird in der ersten Vorlesung vorgestellt. Die Anmeldung zu den Tutorien wird anschließend über Rubikon möglich sein.

Übungsleiter

Simon Straub

Vorlesungszeiten

Mi 14:00 - 16:00, Raum H20

Weitere Informationen

LSF-Eintrag

LSF-Eintrag (Übung)