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 2004/2005	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	Das Extensionsverfahren (Aussagenlogik)	ps pdf anim
Einheit 5	Das Extensionsverfahren (Prädikatenlogik)	ps pdf anim
Einheit 6	Unifikation	ps pdf anim
Einheit 7	Das Extensionsverfahren auf Formelbämen	ps pdf anim
Einheit 8	Alternative Beweisverfahren	ps pdf anim
Einheit 9	Reduktions- und Optimierungstechniken	ps pdf anim
Einheit 10	Spezielle Deduktionstechniken	ps pdf anim
Teil III: Strategien und Verdichtungen
Einheit 11	Verdichtung von Kopien und Konnektionen	ps pdf anim
Einheit 12	Theorien- und Gleichheitsbehandlung	ps pdf anim
Einheit 13	Termersetzungssysteme	ps pdf anim
Einheit 14	Zahlen und Induktion	ps pdf anim
Einheit 15	Offene Forschungsgebiete	ps pdf anim
Teil IV: Jenseits von Prädikatenlogik
Einheit 16	Konstruktive Logik	ps pdf anim
Einheit 17	Modallogiken	ps pdf anim
Einheit 18	Logik höherer Stufe	ps pdf anim
Einheit 19	Lineare Logik	(noch nicht vorhanden)
Einheit 20	Ausblick	ps pdf anim
	Gesamter Foliensatz	ps pdf