Logik:Klausuren/10.08.2004

Aus Tudwiki
Wechseln zu: Navigation, Suche

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

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