Übung 5 - H1b

hamster34
Erstie
Erstie
Beiträge: 22
Registriert: 28. Apr 2010 11:01

Übung 5 - H1b

Beitrag von hamster34 » 4. Jul 2011 12:49

Hallo,

sollen wir in der Aufgabe H1b für JEDEN Satz EIN Herbarndmodell angeben oder EIN Herbrandmodell für ALLE Sätze angeben.

Gruß

Jannis

dschneid
Sonntagsinformatiker
Sonntagsinformatiker
Beiträge: 271
Registriert: 14. Dez 2009 00:56

Re: Übung 5 - H1b

Beitrag von dschneid » 4. Jul 2011 14:38

Für alle Formeln zusammen ein Herbrand-Modell.

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

Re: Übung 5 - H1b

Beitrag von Domac » 4. Jul 2011 21:23

Servus,
wollte mal Fragen, ob ich das bis jetzt richtig aufgefasst habe:
- die jeweiligen SKNF haben verschiedene Funktionen, welche in dem Herbrand-Modell alle gesondert behandelt werden müssen.
- das Herbrand-Modell bau ich mir aus der Konjunktion der einzelnen SKNF
... ich denke, dass waren alle meine Unklarheiten. Bei Zuwachs schreie ich ;)
Freue mich über Antwort. :D
Gruß
Extend my dropbox space (here).
Thanks!

dschneid
Sonntagsinformatiker
Sonntagsinformatiker
Beiträge: 271
Registriert: 14. Dez 2009 00:56

Re: Übung 5 - H1b

Beitrag von dschneid » 5. Jul 2011 10:41

Das hast du richtig erfasst.

Antworten

Zurück zu „Archiv“