| Übungsblätter |
Abgabe der mit (H) und (P) gekennzeichneten Aufgaben ist jeweils vor Beginn der Vorlesung am Mittwoch.
Um für die Prüfung am Ende des Semesters zugelassen zu werden müssen 40% dieser Aufgaben erreicht werden.
Eine Einführung und Dokumentation zu der Programmiersprache
gofer finden Sie hier.
Die mündlichen Prüfungen finden am Donnerstag den 8. Februar 2007 ab 12 Uhr statt.
Bitte melden Sie sich per email bis zum 02.02.2007 bei mir an.
|
| 1. Übungsblatt [Aufgabe] |
Relationen und Reduktionssysteme |
2. Übungsblatt [Aufgabe]
|
Terminierung und Ordnungen |
3. Übungsblatt [Aufgabe]
|
Substitutionen, Multimengenordnung |
4. Übungsblatt [Aufgabe]
|
Terme, Modelle, Gleichungstheorien |
| 5. Übungsblatt [Aufgabe] |
Äquivalenzklassen, Modelle |
6. Übungsblatt [Aufgabe][Programmiervorlage]
|
Unifikation und Matching |
7. Übungsblatt [Aufgabe][Programmiervorlage]
|
Terminierung |
| 8. Übungsblatt [Aufgabe]
|
Polynomordnung, Kritische Paare |
| 9. Übungsblatt [Aufgabe] |
Vervollständigung, Lineare Termersetzungssysteme |
10. Übungsblatt [Aufgabe][Programmiervorlage]
|
Lambda-Kalkül |
| 11. Übungsblatt [Aufgabe]
|
Beta-Reduktion |
| 12. Übungsblatt [Aufgabe]
|
Church-Numerale, Typinferenz, Kombinatorische Logik |
| 13. Übungsblatt [Aufgabe]
|
Typsysteme |
