| 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 | ||||
| Teil VI: Berechenbarkeitsmodelle | |||||
|
Einheit 6.1:
Turingmaschinen
|
PS | ||||
|
Einheit 6.2:
Registermaschinen
|
PS | ||||
|
Einheit 6.3:
Rekursive Funktionen
|
PS | ||||
|
Einheit 6.4:
Andere Berechenbarkeitsmodelle
|
PS | ||||
| Teil VII: Berechenbarkeitstheorie | |||||
|
Einheit 7.1:
Aufzählbarkeit und Entscheidbarkeit
|
PS | ||||
|
Einheit 7.2:
Universelle Maschinen
|
PS | ||||
|
Einheit 7.3:
Beweistechniken für unlösbare Probleme
|
PS | ||||
| Teil VIII: Komplexitätstheorie | |||||
|
Einheit 8.1:
Komplexitätsmaße
|
PS | ||||
|
Einheit 8.2:
Abschątzung der Komplexität von Algorithmen
|
PS | ||||
|
Einheit 8.3:
Komplexität von Problemen
|
PS | ||||
|
Einheit 8.4:
NP-Vollständigkeit
|
PS | ||||
|
Einheit 8.5:
Grenzen überwinden
|
PS | ||||
|
Einheit 9:
Rückblick
|
PS | ||||
This page is still under construction.