Theoretische Informatik II

Universität Potsdam, Wintersemester 2003/2004


Turingmaschinen
Registermaschinen
Rekursive Funktionen
Lambda Kalkül
Entscheidbarkeit und Aufzählbarkeit
Komplexitäxität von Algorithmen
NP-Vollständigkeit









Die Hausaufgaben zur Theorie werden als PS und PDF Version bereitgestellt.




Übung 1, Abgabetermin 28.10.03


PS PDF

Übung 2, Abgabetermin 11.11.03


PS PDF

Übung 3, Abgabetermin 28.11.03


PS PDF

Übung 4, Abgabetermin 12.12.03


PS PDF

Übung 5, Abgabetermin 09.01.04


PS PDF

Übung 6, Abgabetermin 23.01.04


PS PDF

Übung 7 (mit Musterlösung)


PS PDF

Zusatzaufgaben, Abgabetermin 02.02.04


PS PDF