Übungen zur Vorlesung Gleichungslogik

Sommersemester 2003

Zeit und Ort: Mo 16:00 - 17:30, FMI 00.04.011
Beginn: Mo, 14. April 2003
Übungsleitung: Clemens Ballarin

Übungsblätter
1. Übungsblatt [Aufgabe, Lösung] Relationen und Reduktionssysteme (Besprechung am 14. April)
2. Übungsblatt [Aufgabe, Lösung] Terminierung (Besprechung am 28. April)
3. Übungsblatt [Aufgabe, Lösung (korr. 15.5.)] Substitutionen, Gleichungstheorien (Besprechung am 5. Mai)
4. Übungsblatt [Aufgabe, Lösung] Äquivalenzklassen, Modelle (Besprechung am 12. Mai)
5. Übungsblatt [Aufgabe, Lösung]
   Programmieraufgabe [matching.gs, Lösung, Ablaufprotokoll]
Unifikation und Matching (Besprechung am 19. Mai)
6. Übungsblatt [Aufgabe, Lösung]
   Programmieraufgabe [unify.gs, Lösung, Ablaufprotokoll]
Terminierung von Termersetzungssystemen (Besprechung verschoben auf den 2. Juni)
7. Übungsblatt [Aufgabe, Lösung (korr. 18.6.)] Kritische Paare (Besprechung verschoben auf den 16. Juni)
8. Übungsblatt [Aufgabe, Lösung] Kritische Paare, Vervollständigung (Besprechung am 16. Juni)
9. Übungsblatt [Aufgabe, Lösung] Lambda-Kalkül (Besprechung am 23. Juni)
10. Übungsblatt [Aufgabe,Lösung]
   Programmieraufgabe [Lösung]
Beta-Reduktion (Besprechung am 30. Juni)
11. Übungsblatt [Aufgabe, Lösung]
   Lösung zu den Programmieraufgaben [Aufgabe 4, Aufgabe 5]
Typisierter Lambda-Kalkül (Besprechung am 7. Juli)


Hinweise:

Clemens Ballarin, last modified 7 July 2003