Herbrandnormalform

LRS
Erstie
Erstie
Beiträge: 11
Registriert: 3. Jul 2016 19:52

Herbrandnormalform

Beitrag von LRS »

Haben wir dieses Semester Herbrandnormalform behandelt?
Im Skript kommen wir von Skolemisierung zum Satz von Herbrand und Herbrand-Modell. Ich erinnere mich nicht daran, die Herbrandnormalform im Vorlesung gesehen zu haben... wurde es dieses Semester doch behaldelt?

danke im Voraus

KidAndroid
Neuling
Neuling
Beiträge: 9
Registriert: 26. Okt 2015 16:49

Re: Herbrandnormalform

Beitrag von KidAndroid »

Ja, kam in der 4.Hausübung dran.

LRS
Erstie
Erstie
Beiträge: 11
Registriert: 3. Jul 2016 19:52

Re: Herbrandnormalform

Beitrag von LRS »

Im 4.Hausübung kam "Geben Sie für jede dieser Formeln ein Herbrand-Modell an", sonst nichts mehr was das Wort Herbrand hat.
Herbrandnormalform ist aber was anderes

Alby407
Mausschubser
Mausschubser
Beiträge: 64
Registriert: 19. Jul 2014 15:40

Re: Herbrandnormalform

Beitrag von Alby407 »

Richtig, dieses Semester kam die Herbrand-Normalform nicht. Die einzigen Normalformen die wir behandelt haben sind die Pränex-Normalform und die Skolem-Normalform. :)

LRS
Erstie
Erstie
Beiträge: 11
Registriert: 3. Jul 2016 19:52

Re: Herbrandnormalform

Beitrag von LRS »

Super, Danke!

Antworten

Zurück zu „Archiv“