Skript zur Vorlesung 'Logik in der Informatik'

Begleitend zur Vorlesung wird ein Vorlesungsskript erstellt, das nach und nach hier erhältlich sein wird.

Sollten Sie Fehler entdecken oder Anregungen haben wenden Sie sich gern per mail an Frederik Harwath.

0. Einleitung (Skript)
1. Syntax und Semantik der Logik erster Stufe (Skript, handschriftlich)
2. Normalformen (Skript, handschriftlich)
3. Die Auswertungskomplexität von FO in endlichen Strukturen (Skript, handschriftlich)
4. Ehrenfeucht-Fraïssé Spiele (handschriftlich)
5. Der Satz von Gaifman (handschriftlich)
6. Der Satz von McNaughton und Papert (Skript, handschriftlich)
7. Der Vollständigkeitssatz (Skript, handschriftlich)
8. Der Kompaktheitssatz und der Satz von Löwenheim und Skolem (Skript, handschriftlich)
9. Die Grenzen der Berechenbarkeit (handschriftlich)
10. Gödels Unvollständigkeitssätze (handschriftlich)
11. Literaturverzeichnis (Skript)