Logik für Informatiker
Folien
Acknowledgement und weitere Literaturhinweise:
Für die Vorbereitung der Vorlesungsmaterialien habe ich Material zu den Vorlesungen von:
Bernhard Beckert ("Logik für Informatiker", gehalten an der Universität Koblenz-Landau)
Harald Ganzinger, Uwe Waldmann, Viorica Sofronie-Stokkermans ("Automated Reasoning", gehalten an der Universität des Saarlandes)
Ulrich Furbach ("Logik für Informatiker", gehalten an der Universität Koblenz-Landau)
benutzt.
Aussagenlogik, Prädikatenlogik:
- Melvin Fitting:
First-Order Logic and Automated Theorem Proving.
Springer-Verlag, New York, 1996.
- Uwe Schöning
Logik für Informatiker.
Spektrum Akademischer Verlag, 2000
- Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh (Editors)
Handbook of Satisfiability
IOS Press, 2009