| 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) |