Literatur

• Uwe Schöning: Logik für Informatiker, BI Wissenschaftsverlag.
• Melvin Fitting: First-Order Logic and Automated Theorem Proving, Springer.
• Literaturhinweise und Spezialartikel zu den einzelnen Kapiteln

Folien

• Vorlesung 26.10.2004 [PDF] [PS]
• Vorlesung 02.11.2004 [PDF] [PS]
• Vorlesung 09.11.2004 [PDF] [PS]
• Vorlesung 16.11.2004 [PDF] [PS]
• Vorlesung 23.11.2004 [PDF] [PS]
• Vorlesung 30.11.2004 [PDF] [PS]
• Vorlesung 07.12.2004 [PDF] [PS]
• Vorlesung 14.12.2004 [PDF] [PS]
• Vorlesung 04.01.2005 [PDF] [PS]
• Vorlesung 11.01.2005 [PDF] [PS]
• Vorlesung 18.01.2005 [PDF] [PS]
• Vorlesung 25.01.2005 [PDF] [PS]
• Vorlesung 01.02.2005 [PDF] [PS]
• Vorlesung 08.02.2005:
  Resolution [PDF] [PS]
  Example: The Neuman-Stubblebine Protocol [PDF] [PS]
  
• Vorlesung 15.02.2005 [PDF] [PS]

Folien für "Automated Reasoning" (Saarbruecken, Summer Semester 2004):
http://www.mpi-sb.mpg.de/~uwe/lehre/autreas/readings.html