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 |
|
|