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 | |
Teil I: Logik und Beweiskalküle | ||
Einheit 1 | Formale Logik - kurz gefaßt | |
Einheit 2 | Tableauxkalküle | |
Einheit 3 | Matrixbeweise | |
Teil II: Deduktionsverfahren | ||
Einheit 4 | Das Extensionsverfahren (Aussagenlogik) | |
Einheit 5 | Das Extensionsverfahren (Prädikatenlogik) | |
Einheit 6 | Unifikation | |
Einheit 7 | Das Extensionsverfahren auf Formelbämen | |
Einheit 8 | Alternative Beweisverfahren | |
Einheit 9 | Reduktions- und Optimierungstechniken | |
Einheit 10 | Spezielle Deduktionstechniken | |
Teil III: Strategien und Verdichtungen | ||
Einheit 11 | Verdichtung von Kopien und Konnektionen | |
Einheit 12 | Theorien- und Gleichheitsbehandlung | |
Einheit 13 | Termersetzungssysteme | |
Einheit 14 | Zahlen und Induktion | |
Einheit 15 | Offene Forschungsgebiete | |
Teil IV: Jenseits von Prädikatenlogik | ||
Einheit 16 | Konstruktive Logik | |
Einheit 17 | Modallogiken | |
Einheit 18 | Logik höherer Stufe | |
Einheit 19 | Lineare Logik | |
Einheit 20 | Ausblick | |
Gesamter Foliensatz |