Vorlesung

Logik und Berechenbarkeit

Prof. Dr. Ludwig Staiger, Prof. Dr. Sibylle Schwarz

Inhalt der Vorlesung

1. Aussagenlogik
   Folien (.ps) Folien 4 auf 1(.ps) Folien (.pdf)
2. Prädikatenlogik
   1. Syntax der Prädikatenlogik der ersten Stufe
   2. Semantik der Prädikatenlogik
      Folien (.ps) Folien 4 auf 1(.ps) Folien (.pdf)
      
   3. Ein Kalkül K für die Prädikatenlogik erster Stufe 
      Folien (.ps) Folien 4 auf 1(.ps) Folien (.pdf)
3. Der Vollständigkeitssatz und der Endlichkeitssatz
4. Axiomatisierbarkeit von Theorien
   Folien (.ps) Folien 4 auf 1(.ps) Folien (.pdf)
5. Arithmetik
   1. Die Gödelschen Unvollständigkeitssätze
6. Die Prädikatenlogik der zweiten Stufe
   1. Die Arithmetik zweiter Stufe
   2. Die Entscheidbarkeit der eingeschränkten monadischen Arithmetik der zweiten Stufe
   3. X ^ω als metrischer Raum
7. Temporale Logik LTL
   Folien (.ps) Folien 4 auf 1(.ps) Folien (.pdf)

Literatur

• Heinz-Dieter Ebbinghaus, Jörg Flum und Wolfgang Thomas,
  Einführung in die mathematische Logik, Spektrum, Akad. Verl., Heidelberg 1996.
• Bernhard Heinemann und Klaus Weihrauch,
  Logik für Informatiker: eine Einführung, Teubner, Stuttgart 1992.
• Uwe Schöning,
  Logik für Informatiker, Spektrum, Akad. Verl., Heidelberg 1995.
• Dirk Siefkes,
  Formalisieren und Beweisen: Logik für Informatiker, Vieweg, Braunschweig 1992.
• Jürgen Dassow,
  Logik für Informatiker, Teubner, Stuttgart 2005
• Henning Thielemann,
  Quantorenmechanik, i-mail, WS 2000
  als .ps als .pdf

Ludwig Staiger, 16. Juli 2008