Die Folien der Veranstaltung werden in zwei Versionen bereitgestellt. Die normalen ps und pdf Files enthalten eine Druckversion der Folien ohne eventuell benutzte "Animationen".

Videomitschnitte der Vorlesungen findet man online unter http://www.tele-task.de/en/details.php?series=135. Die Veranstaltungen können dort auch live verfolgt werden.

Einführung	Theoretische Informatik im Sommersemester 2006	ps pdf anim
Teil IV: Berechenbarkeitstheorie
Einheit 4.1:	Turingmaschinen und Typ-0 Sprachen	(siehe TI-1, Winter 2005/06)
Einheit 4.2:	Turing-Berechenbarkeit	ps pdf anim
Einheit 4.3:	Rekursive Funktionen	ps pdf anim
Einheit 4.4:	Funktionale und logische Programme	ps pdf anim
Einheit 4.5	Elementare Berechenbarkeitstheorie I: Grundkonzepte	ps pdf anim
Einheit 4.6	Elementare Berechenbarkeitstheorie II: Unlösbare Probleme	ps pdf anim
Teil V: Komplexitätstheorie
Einheit 5.1	Konkrete Komplexitätsanalyse	ps pdf anim
Einheit 5.2:	Das P - NP Problem	ps pdf anim
Einheit 5.3:	NP-vollständige Probleme	ps pdf anim
Einheit 5.4:	Hierarchie von Komplexitätsklassen	ps pdf anim
Einheit 5.5:	Grenzen überwinden	ps pdf anim
	Theoretische Informatik im Rückblick	ps pdf anim

Achtung: auf Folie 7 von Einheit 4.2 gab es eine wichtige Änderung. Die Rechenzeit nichtdeterministischer Maschinen wird über das Maximum (nicht das Minimum) definiert. Auf deterministische Maschinen hat diese Änderung keine Auswirkung.