Logik für Informatiker
Folien
Themen, Übersicht [themen.pdf]
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