Die Lehrveranstaltung soll Studierenden ein vertieftes Verständnis im betreffenden Gebiet vermitteln als auch exemplarisch die Bedeutung dieser theoretischen Grundlagen für Anwendungen im Bereich der Programmierung als auch der Spezifikation und Verifikation von Programmen erläutern.
In der Lehrveranstaltung wird das Themengebiet "Computationale gleichungsbasierte Logik" in verschiedene Richtungen vertieft. Behandelt werden dabei Aspekte wie z.B. erweiterte Formen von Termersetzung, Reduktions- und Berechnungsstrategien, Modularität, Regel-basierte Programmierung, gleichungsbasiertes Theorembeweisen, Semantik von gleichungsdefinierten / funktionalen / funktional-logischen Programmen.
Specialization Options and Perspectives: The course also offers a good basis for various possibilities of deepening studies in the field of Computational (Equational) Logic. This concerns students' projects in the context of the course Project in Computational Logic (185.302, PR, 2011S , 8.0h) within the European Masters Program in Computational Logic as well as of other Practical Courses, Seminars and Master Theses including potential topics for work on Ph.D. projects within some Ph.D. studies (cf. also here).
For up-to-date information on the course, especially about dates, times and rooms, please always consult its homepage.
Die Lehrveranstaltung stellt eine Fortsetzung zu und Vertiefung von "Termersetzungssysteme" dar, kann jedoch (mit etwas Zusatzaufwand) auch ohne letzere absolviert werden, da zu Beginn die wesentlichen Grundlagen von Termgleichungs- und -ersetzungssystemen in kompakter Form wiederholt werden.