Herbrandnormalform

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

Herbrandnormalform

Beitrag von LRS » 13. Sep 2016 12:09

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 » 14. Sep 2016 17:23

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 » 14. Sep 2016 18:20

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 » 15. Sep 2016 11:16

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 » 15. Sep 2016 12:58

Super, Danke!

Antworten

Zurück zu „Archiv“