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 früherer Vorlesungen findet man online unter http://www.tele-task.de/series/list/597/.
| Einführung | Theoretische Informatik im Sommersemester 2010 | 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 | Zeitkomplexitätt von Algorithmen und Problemen | 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: | Grenzen überwinden | ps pdf anim |
| Einheit 6.5: | Platzkomplexität und die Hierarchie von Komplexitätsklassen | ps pdf anim |
| Theoretische Informatik im Rückblick | ps pdf anim | |
