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

Einführung	Theoretische Informatik im Sommersemester 2007	ps pdf anim
Teil IV: Berechenbarkeitstheorie
Einheit 5.1:	Turing-Berechenbarkeit	ps pdf anim
Einheit 5.2:	Rekursive Funktionen	ps pdf anim
Einheit 5.3:	Funktionale und logische Programme	ps pdf anim
Einheit 5.4	Elementare Berechenbarkeitstheorie I: Grundkonzepte	ps pdf anim
Einheit 5.5	Elementare Berechenbarkeitstheorie II: Unlösbare Probleme	ps pdf anim
Teil V: Komplexitätstheorie
Einheit 6.1	Konkrete Komplexitätsanalyse	ps pdf anim
Einheit 6.2:	Das P - NP Problem	ps pdf anim
Einheit 6.3:	NP-vollständige Probleme	ps pdf anim
Einheit 6.4:	Hierarchie von Komplexitätsklassen	ps pdf anim
Einheit 6.5:	Grenzen überwinden	ps pdf anim
	Theoretische Informatik im Rückblick	ps pdf anim