Hier finden Sie die Vorlesungfolien.

 

Teil Kapitel Zum Anschauen Zum Ausdrucken
(bunt)
Zum Ausdrucken
(weniger bunt)
Version von Bemerkungen
  0. Einleitung laden laden laden 27.10.15  
A: Grundlagen 1. Wiederholung laden laden laden 27.10.15  
  2. Allgemeine vs.
Endliche Modelltheorie
laden laden laden 27.10.15  
  3. Auswertung von Formeln der ersten Stufe laden laden laden 3.11.15  
 B: Ausdrucksstärke der Prädikatenlogik 4. Lokalität laden laden laden 5.11.15  
  5. Ehrenfeucht-Spiele laden laden laden 10.11.15  
  6. Andere Methoden laden laden laden 1.12.15  Ergänzt um Abschnitt 6.4
 C: Logik und Komplexitätstheorie 7. Logik zweiter Stufe laden laden laden 24.11.15  
  8. Fixpunktlogiken laden laden laden 26.11.15  
  9. Fixpunktlogiken und Komplexitätsklassen laden laden laden 1.12.15  
  10. Logiken mit transitivem Abschlussoperator laden laden laden 10.12.15  Tippfehler korrigiert
  11. Trennungen von TC-Logiken laden laden laden 10.12.15  
  12. Trennungen: LFP vs. PFP laden laden laden 15.12.15  
  13. Prädikatenlogik und Komplexität laden laden laden 5.1.16  
  14. Weitere Themen laden laden laden 12.1.16  
 D: Logik und Automaten 15. Satz von Büchi/Elgot und Trakhtenbrot laden laden laden 19.1.16  
  16. Logik erster Stufe auf Strings laden laden laden 26.1.16 Literaturangabe korrigiert
  17. Satz von Courcelle laden laden laden 28.1.16  
  18. Verifikation laden laden laden 2.2.16