Frage zu A7, Beispielklausur SS09

waza-ari
Windoof-User
Windoof-User
Beiträge: 32
Registriert: 3. Nov 2010 20:26

Frage zu A7, Beispielklausur SS09

Beitrag von waza-ari »

In der Aufgabe 7a der Beispielklausur vom SS 09 werden in der Lösung nur die nicht negierten Literale angegeben. Wieso müssen hier die negativen Literale nicht betrachtet werden? Vergleiche z.B. die Lösung von Aufgabe T10.1 aus dem 10. Tutorium.

Müssen wir im Falle einer solchen Aufgabenstellung die negativen Literale angeben oder nicht?

waza-ari
Windoof-User
Windoof-User
Beiträge: 32
Registriert: 3. Nov 2010 20:26

Re: Frage zu A7, Beispielklausur SS09

Beitrag von waza-ari »

Vergesst die Frage, Antwort im Archiv gefunden...

Zusammengefasst: Es ist nach nicht-rekursiven Definitonen gefragt, was nach Slide 35 der Datalog Folien Negation ausschließt.

Antworten

Zurück zu „Archiv“