Theoretische Informatik II

Universität Potsdam, Wintersemester 2003/2004


> > >

Die Folien der Veranstaltung werden in zwei Versionen bereitgestellt.
Das PS file enthät eine Druckversion der Folien ohne eventuell benutzte "Animationen".
Das PDF file enthät die vollständige Version mit Animationen.

Einführung: Theoretische Informatik im Wintersemester 2003
PS PDF
Teil VI: Berechenbarkeitsmodelle
Einheit 6.1: Turingmaschinen
PS PDF
Einheit 6.2: Registermaschinen
PS PDF
Einheit 6.3: Rekursive Funktionen
PS PDF
Einheit 6.4: Andere Berechenbarkeitsmodelle
PS PDF
Teil VII: Berechenbarkeitstheorie
Einheit 7.1: Aufzählbarkeit und Entscheidbarkeit
PS PDF
Einheit 7.2: Universelle Maschinen
PS PDF
Einheit 7.3: Beweistechniken für unlösbare Probleme
PS PDF
Teil VIII: Komplexitätstheorie
Einheit 8.1: Komplexitätsmaße
PS PDF
Einheit 8.2: Abschątzung der Komplexität von Algorithmen
PS PDF
Einheit 8.3: Komplexität von Problemen
PS PDF
Einheit 8.4: NP-Vollständigkeit
PS PDF
Einheit 8.5: Grenzen überwinden
PS PDF

Einheit 9: Rückblick
PS PDF


This page is still under construction.