Ü5 H2

radix89
Mausschubser
Mausschubser
Beiträge: 66
Registriert: 13. Apr 2011 13:45

Ü5 H2

Beitrag von radix89 » 29. Jun 2011 14:15

Ist bei Aufgabenteil a gemeint, dass ich für jeden Satz einzeln die Skolemnormalform angeben soll, oder für alle zusammen eine, also für 1^2^3^4^5?
Selbe Frage bei der b). Da soll ich aber doch sicher ein Herbrandmodell für 1^2^3^4^5 angeben, oder?

Benutzeravatar
hymGo
Sonntagsinformatiker
Sonntagsinformatiker
Beiträge: 209
Registriert: 4. Okt 2009 23:17

Re: Ü5 H2

Beitrag von hymGo » 29. Jun 2011 15:30

Bei der a) sollst du für jede Formel eine Skolemnormalform angeben.
Bei der b) sollst du ein Herbrand Modell für alle Formeln zusammen angeben :wink:

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

Re: Ü5 H2

Beitrag von dschneid » 29. Jun 2011 15:31

Du sollst jede Formel einzeln skolemisieren. Das Herbrand-Modell soll dann ein Modell für die Formelmenge aus allen Formeln sein.

Benutzeravatar
DB_420
Mausschubser
Mausschubser
Beiträge: 89
Registriert: 24. Nov 2010 15:12

Re: Ü5 H2

Beitrag von DB_420 » 30. Jun 2011 11:04

Darf man für (1) und (2) die gleiche Skolemfunktion verwenden oder muss ich für jeden Existenzquantor quasi eine eigene Funktion definieren?
Mit 2 verschiedenen Funktionen ist nämlich (4) nicht erfüllbar...
Tutor:
Mathe II Inf (SS12)
Mathe I Inf (WS11/12)

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

Re: Ü5 H2

Beitrag von dschneid » 30. Jun 2011 11:51

Nein, jede eliminierte Variable (auch wenn sie in zwei verschiedenen Formeln den gleichen Namen hat) bekommt eine eigene Skolemfunktion. Anderenfalls würdest du ja eine Abhängigkeit zwischen den beiden existenzquantifizierten Variablen einführen, die es nicht wirklich gibt. Formel (4) ist allerdings auch dann tatsächlich erfüllbar durch ein Herbrand-Modell für die Formelmenge.

verklixt1
Endlosschleifenbastler
Endlosschleifenbastler
Beiträge: 156
Registriert: 29. Dez 2007 20:22

Re: Ü5 H2

Beitrag von verklixt1 » 3. Jul 2011 22:49

Mal ne andere Frage.

Ist die Punktevergabe diesmal für die H1 und die H2 oder reicht es die H1 zu machen um volle 8 Punkte zu bekommen.


P.S.: Ich weiß, aber ich bin ein fauler Student, was soll man machen!

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

Re: Ü5 H2

Beitrag von dschneid » 4. Jul 2011 12:34

Wie immer gibt es nur Punkte für Aufgaben, für die eine Punktzahl angegeben ist, also in diesem Fall nur für H1.

Antworten

Zurück zu „Archiv“