Logik:Klausuren/10.08.2004: Unterschied zwischen den Versionen

Aktuelle Version vom 13. Oktober 2004, 22:56 Uhr

Inf/IST-Prüfung[Bearbeiten]

1. Aufgabe Prolog
2. Aufgabe Äquivalenz und Normalformen
3. Aufgabe Beweisverfahren: Resolution
4. Aufgabe Substitutionen
5. Aufgabe Definite Programme
6. Aufgabe Semantik: Herbrand-Interpretationen
7. Aufgabe Substitutionen, Unifikation
8. Aufgabe ???
9. Aufgabe ???
10. Aufgabe ???

zurück zu Klausuren