FAKULTÄTEN UND EINRICHTUNGEN
Theorie und Logik Systeme diskreter
⚠STUDIUM
FORSCHUNG
DER LEHRSTUHL GANG
Folien Merge
Damit ihr es nicht machen müsst
Zuletzt Bearbeitet: 09.05.2025
Panikzettel
Schon Panik?
Aufgaben
Übung 00.pdf
Übung 01.pdf
Übung 02.pdf
Übung 03.pdf
Übung 04.pdf
Übung 05.pdf
Übung 06.pdf
Übung 07.pdf
Übung 08.pdf
Übung 09.pdf
Übung 10.pdf
Übung 11.pdf
Übung Bonusblatt.pdf
2017
Folien
buk-v01-Einführung.pdf
buk-v02-Turingmaschinen.pdf
buk-v03-Mehrband-Turingmaschinen.pdf
buk-v04-Registermaschinen.pdf
buk-v05-Unentscheidbarkeit.pdf
buk-v06-Halteproblem.pdf
buk-v07-Satz-von-Rice.pdf
buk-v08-Rekursive-Aufzählbarkeit.pdf
buk-v09-Allgemeine-Halteproblem.pdf
buk-v10-Postsche-Korrespondenzproblem.pdf
buk-v11-WHILE.pdf
buk-v12-LOOP.pdf
buk-v13-Komplexität.pdf
buk-v14-NP.pdf
buk-v15-NP-Vollständigkeit.pdf
buk-v16-NP-Vollständigkeit-Zahlenprobleme.pdf
buk-v17-NP-Vollständigkeit-Graphprobleme.pdf
buk-v18-Approximation.pdf
buk-v19-Zusammenfassung.pdf
Globs
Globalübung 01.pdf
Globalübung 02.pdf
Globalübung 03 Tutorium.pdf
Globalübung 03.pdf
Globalübung 04.pdf
Globalübung 05 Mitschriften.pdf
Globalübung 05.pdf
Globalübung 06.pdf
Globalübung 07.pdf
Globalübung 08.pdf
Globalübung 09.pdf
Globalübung 10.pdf
Globalübung 11.pdf
Globalübung Weihnachtsblatt.pdf
Schnellzugriff
Studium
Klausuren
Zusammenfassungen
Aufgaben
Fragen (bald)
Forschung
Lehrstuhl