FB18 - Das Forum für Informatik

fb18.de / Bachelorstudieng / PM Formale Informatik

PL Resolution

PL Resolution 2008-07-21 22:25
Anonymer User
Hi,

weis vielleicht jemand von euch, ob die Prädikatenlogische Resolution, welche ja nicht in den Übungen behandelt wurde, in der Klausur dran kommt?

RE: PL Resolution 2008-07-22 08:23
theorinix
Hi,

weis vielleicht jemand von euch, ob die Prädikatenlogische Resolution, welche ja nicht in den Übungen behandelt wurde, in der Klausur dran kommt?

Das wissen wir hinterher…