Logik für Informatiker

Material aus anderen Vorlesungen:

• Ulrich Furbach: Logic for Computer Scientists. Vorlesungsskriptum und Wikibook
• Harald Ganzinger, Viorica Sofronie-Stokkermans, Uwe Waldmann:
  Folien "Automated Reasoning" SS 2004.
  Online: http://www.mpi-inf.mpg.de/~uwe/lehre/autreas/readings.html.
• Gert Smolka:
  Einführung in die Computationale Logik; SS 2003.
  Online at http://www.ps.uni-sb.de/courses/cl-ss03/skript/.

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