Ich freue mich, daß Sie Interesse am Thema

Algorithmen für Termgleichungen

haben. Die damit im Zusammenhang stehenden Themen werden oft unter dem Stichwort "Termersetzung" (engl. "Term Rewriting") bzw. "Termersetzungssysteme" zusammengefaßt. Eine Kurzzusammenfassung des Inhalts der Vorlesung finden Sie in der Vorlesungsbeschreibung. Die hier zur Verfügung gestellte Skripte ist aus früher zum Thema gehaltenen Vorlesungen entstanden. In der Terminologie baut diese Vorlesung zum Teil auf den "Algebraischen Grundlagen" auf, so daß es eventuell zweckmäßig ist, sich auch mit diesem Thema zu beschäftigen. Sie enthält aber eine Zusammenfassung der benötigten Grundlagen und ist deshalb auch ohne diese Vorlesung verständlich.

Trotz sehr zeitaufwendiger und gründlicher Arbeit sind mit Sicherheit noch Tippfehler verschiedenster Art enthalten.
Deshalb bin ich für alle Hinweise darauf sehr dankbar.
Gleichfalls bitte ich um Vorschläge zu inhaltlichen Verbesserungen.
Zu beachten ist, daß es sich hierbei NICHT um ein Lehrbuch, sondern eine die Vorlesung begleitende Skripte handelt.
Deswegen kann das Herunterladen der Skripte mit Sicherheit den Besuch der entsprechenden Vorlesung nicht ersetzen.
Ich hoffe aber, daß das Nacharbeiten der Skripte nach Besuch der Vorlesung deren Verständnis wesentlich erhöhen kann.
Auf jeden Fall kann man so endlich die noch vorhandenen Druck- und anderen Fehler finden!

Die Skripte liegt im Postscript-Format vor.
Durch Anklicken des Buchsymbols können Sie sie sich herunterladen.


Termersetzungssysteme
Hartwig, Rolf


Seite am 14.1.98 erstellt von Dr. R. Hartwig)