Seite 1 von 1

Resolutionskalkül FO / Entscheidbarkeit (klausurrelevant?)

Verfasst: 23. Aug 2011 11:58
von Domac
Servus,
da die FGdI2 FO Vorlesung gegen Ende hin ziemlich schnell und schwammig verlief... wollte ich erfragen, ob das Resolutionskalkül, sowie NNF und Klausenormalform in FO, sowie Entscheidbarkeit klausurrelevante Themen sind?
Gruß domac

Re: Resolutionskalkül FO / Entscheidbarkeit (klausurrelevant

Verfasst: 27. Aug 2011 17:47
von fscheepy
Wurde die Frage eigentlich inzwischen geklärt?