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