Resolutionskalkül FO / Entscheidbarkeit (klausurrelevant?)

Benutzeravatar
Domac
Endlosschleifenbastler
Endlosschleifenbastler
Beiträge: 160
Registriert: 4. Okt 2010 16:11

Resolutionskalkül FO / Entscheidbarkeit (klausurrelevant?)

Beitrag von Domac » 23. Aug 2011 11:58

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
Extend my dropbox space (here).
Thanks!

fscheepy
Endlosschleifenbastler
Endlosschleifenbastler
Beiträge: 153
Registriert: 14. Dez 2009 21:17

Re: Resolutionskalkül FO / Entscheidbarkeit (klausurrelevant

Beitrag von fscheepy » 27. Aug 2011 17:47

Wurde die Frage eigentlich inzwischen geklärt?

Antworten

Zurück zu „Archiv“