Die Folien der Veranstaltung werden in zwei Versionen bereitgestellt. Die normalen ps und pdf Files enthalten eine Druckversion der Folien ohne eventuell benutzte "Animationen". Das anim file enthält die vollständige PDF Version mit Animationen.
| Einführung: | Theoretische Informatik im Sommersemester 2005 | |
| Teil IV: Berechenbarkeitstheorie | ||
| Einheit 4.1: | Turingmaschinen | |
| Einheit 4.2: | Rekursive Funktionen | |
| Einheit 4.3: | Andere Berechenbarkeitsmodelle | |
| Einheit 4.4: | Berechenbarkeit, Aufzählbarkeit und Entscheidbarkeit | |
| Einheit 4.5: | Unlösbare Probleme | |
| Teil V: Komplexitätstheorie | ||
| Einheit 5.1: | Konkrete Komplexitätsanalyse | |
| Einheit 5.2: | Das P - NP Problem | |
| Einheit 5.3: | NP-vollständige Probleme | |
| Einheit 5.4: | Grenzen überwinden | |
| Theoretische Informatik im Rückblick | ||