Aktuell

Noch nichts verfügbar

Übungen

1. Übungsblatt vom 31.10.2022
2. Übungsblatt vom 4.11.2022
3. Übungsblatt vom 12.11.2022
4. Übungsblatt vom 25.11.2022
5. Übungsblatt vom 5.12.2022
6. Übungsblatt vom 9.12.2022
7. Übungsblatt vom 17.12.2022

Praktikum

Noch nichts vorhanden

Verwendete Folien und Bilder

Die Folien finden sich im geschützten Bereich

Skript

Ein Skript zur Vorlesung wird in unregelmäßigen Abständen hier aktualisiert. Es wird Ihnen empfohlen eine eigene Mitschrift anzufertigen, da noch nicht klar ist, zu welchem Zeitpunkt das Skript vollständig zur Verfügung steht.

Es steht eine veraltete Version des Skripts zur Verfügung.

Literatur

Uwe Schöning, Theoretische Informatik - kurzgefasst, Spektrum Akademischer Verlag, 2001
Michael Sipser, Introduction to the Theory of Computation, Wadsworth Inc Fulfillment, 2. Auflage, 2005}
Juraj Hromkovic, Theoretische Informatik - Formale Sprachen, Berechenbarkeit, Komplexitätstheorie, Algorithmik, Kommunikation und Kryptographie, 3. Auflage, Teubner, 2007
Sanjeev Aurora, Boaz Barak, Computational Complexity - A Modern Approach, Cambridge, 2009
Unentscheidbarkeit

Theoretische Informatik