| Übungsblätter |
|
1. Übungsblatt [Aufgabe | Lösung]
|
Abstrakte Reduktionssysteme
|
| 2. Übungsblatt [Aufgabe | Lösung] |
Terminierung: Maßfunktionen,
lexikographische Ordnung
|
| 3. Übungsblatt [Aufgabe | Lösung] |
Substitution, Terminierung, Multimengen
|
| 4. Übungsblatt [Aufgabe | Lösung] |
Terme, Gleichungsbeweise
|
| 5. Übungsblatt [Aufgabe | Lösung] |
Modelle, Kongruenzhülle
|
| 6. Übungsblatt [Aufgabe | Lösung] |
Substitution, Matching, Unifikation
|
7. Übungsblatt [Aufgabe | Lösung]
|
Terminierung, Unifikation
|
| 8. Übungsblatt [Aufgabe | Lösung] |
Terminierung, Kritische Paare
|
| 9. Übungsblatt [Aufgabe | Lösung] |
Konfluenz, Vervollständigung
|
| 10. Übungsblatt [Aufgabe | Lösung] |
Lambda-Kalkül |
| 11. Übungsblatt [Aufgabe | Lösung] |
Kombinatorische Logik, beta-Reduktion
|
| Programmieraufgaben |
|
| unify.gs | unify.lsg.gs |
Unifikation |
| lambda.gs |
lambda.lsg.gs |
Evaluator für das lambda-Kalkül
|
