Die Folien der Veranstaltung werden in zwei Versionen bereitgestellt. Die normalen ps und pdf Files enthalten eine Druckversion der Folien ohne eventuell benutzte "Animationen". Das anim file enthält die vollständige PDF Version mit Animationen.

Einführung:	Vorlesung Inferenzmethoden im WS 2006/2007	ps pdf anim
Teil I: Logik und Beweiskalküle
Einheit 1	Formale Logik - kurz gefaßt	ps pdf anim
Einheit 2	Tableauxkalküle	ps pdf anim
Einheit 3	Matrixbeweise	ps pdf anim
Teil II: Deduktionsverfahren
Einheit 4	Die Konnektionsmethode (Aussagenlogik)	ps pdf anim
Einheit 5	Die Konnektionsmethode (Prädikatenlogik)	ps pdf anim
Einheit 6	Unifikation	ps pdf anim
Einheit 7	Alternative Beweisverfahren	ps pdf anim
Einheit 8	Resolution und Varianten	ps pdf anim
Einheit 9	Reduktions- und Optimierungstechniken	ps pdf anim
Einheit 10	Spezielle Deduktionstechniken	ps pdf anim
Teil III: Behandlung spezieller Fragestellungen
Einheit 11	Theorien- und Gleichheitsbehandlung	ps pdf anim
Einheit 12	Termersetzungssysteme	ps pdf anim
Einheit 13	Zahlen und Induktion	ps pdf anim
Teil IV: Jenseits von Prädikatenlogik
Einheit 14	Verarbeitung von Nicht-Normalform-Matrizen	ps pdf anim
Einheit 15	Konstruktive Logik	ps pdf anim
Einheit 16	Modallogiken	ps pdf anim
Einheit 17	Logik höherer Stufe	ps pdf anim
	Ausblick und offene Fragen	ps pdf anim
Gesamter Foliensatz
		(noch nicht vorhanden)