Logik und Berechenbarkeit WS 2011
Vorlesung
Prof. Dr. Ludwig Staiger
Erste Termine:
- Freitag, 21. Oktober 2011, 10:15 - 11:45, Raum 1.30, Von-Seckendorff-Platz 1
Freitag, 21. Oktober 2011, 12:15 - 13:45, Raum 3.31, Von-Seckendorff-Platz 1 entfällt- Donnerstag, 27. Oktober 2011, 12:15 - 13:45, Raum 3.31, Von-Seckendorff-Platz 1
Folien:
- Aussagenlogik
- Syntax und Semantik der Prädikatenlogik
- Ein Kalkül K für die Prädikatenlogik erster Stufe
- Vollständigkeitssatz, Endlichkeitssatz, Axiomatisierbarkeit von Theorien
- Arithmetik, Prädikatenlogik zweiter Stufe, Temporale Logik LTL
Literaturempfehlungen:
- 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.
Übung
Marian Kogler
Erste Termine:
- Mittwoch, 26. Oktober 2011, 16:15 - 17:45, Raum 1.03, Von-Seckendorff-Platz 1
Übungsserien: