Nächste Seite:
Motivation, Beispiel
Aufwärts:
Symbolisches Rechnen Vorlesung Wintersemester
Vorherige Seite:
Aufgaben
Konfluenz und Vervollständigung
Unterabschnitte
Motivation, Beispiel
Kritische Paare
Kritische Paare und (lokale) Konfluenz
Bsp. Kritische Paare für SRS
Bsp. kritische Paare für TRS
Orthogonale Systeme
Vervollständigung (basic)
Vervollständigung (improved)
Inferenzsystem für Vervollständigung
Aufgabe zu Vervollständigung in autotool
Vervollständigung: Knuth/Bendix, 1970
Wortprobleme für Gruppen, ab 1900
Wiederholung: Unifikation
Wiederholung: Bestimmung des mgu
Hausaufgaben
