Logik:Klausuren/10.08.2004

Aus Tudwiki
Version vom 13. Oktober 2004, 21:56 Uhr von Ng (Diskussion | Beiträge)

(Unterschied) Nächstältere Version→ | Aktuelle Version (Unterschied) | ←Nächstjüngere Version (Unterschied)
Wechseln zu: Navigation, Suche

Inf/IST-Prüfung

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

Von „https://tudwiki.hicknhack.org/index.php?title=Logik:Klausuren/10.08.2004&oldid=3674“