Lecture Downloads

Kapitel Ausgabe Update Folien
Organisatorisches und Literatur 29.09.2017
Mathematische Grundlagen
(zur selbstständigen Wiederholung)
03.10.2017
0 Motivation und Präliminarien 03.10.2017
1 Registermaschinen 03.10.2017
2 Turingmaschinen 1 24.10.2017
3 Register- und Turingmaschinen 30.10.2017
4 Endliche Automaten 03.11.2017
5 Kontextfreie Sprachen 11.12.2017
6 Turingmaschinen 2 11.12.2017
7 Die These von Church 18.12.2017
8 Unberechenbarkeit 09.01.2018
9 Resümee, Ausblick und Fragestunde 24.01.2018