Klausur 31.03.2009

Benutzeravatar
Michl
Sonntagsinformatiker
Sonntagsinformatiker
Beiträge: 293
Registriert: 12. Apr 2009 08:53
Wohnort: Darmstadt

Klausur 31.03.2009

Beitrag von Michl »

Wir haben uns gerade mal die Klausur vom 31.03.2009 angeschaut und wissen nicht wie wir die Aufgabe 3 bearbeiten müssen.
Wenn jemand die Lösung posten könnte würde uns das sehr helfen.

Anbei die Aufgabenstellung:
Zur Signatur \(S= \lbrace E,g,c \rbrace\) mit Konstensymbol \(c\), 2-Stelligem Funktionssymbol \(g\) und 2-Stelligem Relationssymbol \(E\) betrachten wir folgende FO (\(S\))-Sätze:
\(\varphi_1 := \forall x \forall y (Ecgxy \wedge \neg Egcyc ),\)
\(\varphi_2 := \forall x \forall y (Exgxy \wedge \neg Eygxy ),\)
\(\varphi_3 := \forall x \forall y \forall z (Exy \rightarrow ( Exz \wedge Eyz )),\)
\(\varphi_4 := Ecc \wedge \forall x \forall y (Exy \rightarrow Ecgxy).\)

a) welche dieser Sätze sind unerfüllbar? Geben Sie gegebenenfalls entweder eine klare Begründung in Worten oder einen Nachweis durch GI-Resultution an.
b) geben Sie für jedes erfüllbare \(\varphi_i\) jeweils ein Herbrand-Modell an.
c) geben Sie für jedes erfüllbare \(\varphi_i\) jeweils ein Modell mit der minimalen Anzahl von Elementen an.

Turing-Test
Mausschubser
Mausschubser
Beiträge: 91
Registriert: 17. Okt 2008 02:06

Re: Klausur 31.03.2009

Beitrag von Turing-Test »

Wo gibt es diese Klausur denn?
File deletion is murder!

Benutzeravatar
Michl
Sonntagsinformatiker
Sonntagsinformatiker
Beiträge: 293
Registriert: 12. Apr 2009 08:53
Wohnort: Darmstadt

Re: Klausur 31.03.2009

Beitrag von Michl »

Im E- Pool

LucasR
Kernelcompilierer
Kernelcompilierer
Beiträge: 474
Registriert: 9. Jun 2009 09:55

Re: Klausur 31.03.2009

Beitrag von LucasR »

Die Antwort zur eigentlichen Fragestellung würde mich auch sehr interessieren...

yourmaninamsterdam
Nerd
Nerd
Beiträge: 681
Registriert: 26. Okt 2006 14:04
Kontaktdaten:

Re: Klausur 31.03.2009

Beitrag von yourmaninamsterdam »

Ich persönlich fänd ja eine etwas differenziertere Fragestellung hilfreich.
a) ist in mehreren Übungen vorgekommen,
b) ist in mehreren Übungen vorgekommen
c) bedarf, vermute ich, keiner formalen Begründung

LucasR
Kernelcompilierer
Kernelcompilierer
Beiträge: 474
Registriert: 9. Jun 2009 09:55

Re: Klausur 31.03.2009

Beitrag von LucasR »

Meine Problematik ist die, dass ich aus gegebener Fragestellung + Musterlösung hier nicht schlau werde... wahrscheinlich stoff für die Sprechstunde

yourmaninamsterdam
Nerd
Nerd
Beiträge: 681
Registriert: 26. Okt 2006 14:04
Kontaktdaten:

Re: Klausur 31.03.2009

Beitrag von yourmaninamsterdam »

Das könnte gut sein.

Ich hab die Klausur nicht hier und kann mir deswegen auch die Musterlösung nicht ansehen. Und: Es gibt Musterlösungen zu Klausuren?
Jedenfalls empfehle ich u. U. die Lektüre vergleichbarer Fragestellungen in den Übungen. Vielleicht lassen sich damit zusätzliche Erkenntnisse für das Verständnis gewinnen.

LucasR
Kernelcompilierer
Kernelcompilierer
Beiträge: 474
Registriert: 9. Jun 2009 09:55

Re: Klausur 31.03.2009

Beitrag von LucasR »

Ich hab leider nur die Klausuraufgaben bekommen können über nen Freund, keine Musterlösungen :-( Werde es mir heute nochmal zu gemüte führen, danke.

yourmaninamsterdam
Nerd
Nerd
Beiträge: 681
Registriert: 26. Okt 2006 14:04
Kontaktdaten:

Re: Klausur 31.03.2009

Beitrag von yourmaninamsterdam »

LucasR hat geschrieben:Ich hab leider nur die Klausuraufgaben bekommen können über nen Freund, keine Musterlösungen :-( Werde es mir heute nochmal zu gemüte führen, danke.
Das ist bei Klausuren ja eigentlich immer so. Aber die Aufgaben, die da behandelt werden, ähneln eigentlich immer in Übungen gestellten Aufgaben.

Benutzeravatar
m_stoica
Kernelcompilierer
Kernelcompilierer
Beiträge: 473
Registriert: 5. Dez 2008 20:19
Wohnort: Zuhause

Re: Klausur 31.03.2009

Beitrag von m_stoica »

wie kommt man denn jetzt an die Klausur ran? Im E-pool liegt die ja schließlich nicht rum

Osterlaus
BSc Spammer
BSc Spammer
Beiträge: 1263
Registriert: 23. Aug 2007 12:46
Wohnort: DA

Re: Klausur 31.03.2009

Beitrag von Osterlaus »

m_stoica hat geschrieben:wie kommt man denn jetzt an die Klausur ran? Im E-pool liegt die ja schließlich nicht rum
Wie üblich: siehe LZM

Benutzeravatar
Blub
Sonntagsinformatiker
Sonntagsinformatiker
Beiträge: 244
Registriert: 24. Dez 2007 14:06

Re: Klausur 31.03.2009

Beitrag von Blub »

im LZM gibt es nur eine FGDI II Klausur von 05.

Wäre es möglich das der Op die Klausur vielleicht hier hochlädt das sie alle haben? :)
Tutor GDI II SS12
Tutor Trusted Systems WS11/12, Tutor GDI II SS11
Tutor Trusted Systems WS10/11, GDI I WS10/11
Tutor GDI II SS10, Tutor Trusted Systems WS09/10

ice-breaker
Sonntagsinformatiker
Sonntagsinformatiker
Beiträge: 216
Registriert: 14. Okt 2008 17:56

Re: Klausur 31.03.2009

Beitrag von ice-breaker »

Also wir haben am Dienstag im LZM mehrere (5 - 6) Klausuren zu FGdI 2 von Prof. Otto gesehen, wenn man bedenkt, dass unser Skript von Otto stammt, schadet es sicherlich nichts sich auch die Klausuren anzusehen.

Benutzeravatar
Michl
Sonntagsinformatiker
Sonntagsinformatiker
Beiträge: 293
Registriert: 12. Apr 2009 08:53
Wohnort: Darmstadt

Re: Klausur 31.03.2009

Beitrag von Michl »

ice-breaker hat geschrieben:Also wir haben am Dienstag im LZM mehrere (5 - 6) Klausuren zu FGdI 2 von Prof. Otto gesehen, wenn man bedenkt, dass unser Skript von Otto stammt, schadet es sicherlich nichts sich auch die Klausuren anzusehen.
Woher sind die denn auf einmal aufgetaucht? Vor Kurzem gab es noch keine im LZM.

m_stoica hat geschrieben:wie kommt man denn jetzt an die Klausur ran? Im E-pool liegt die ja schließlich nicht rum
Die zwei die ich habe kann sich prinzipiell jeder im E- Pool von mir holen um sich ne Kopie zu machen, bin da eigentlich jeden Tag am FGDI lernen.

Osterlaus
BSc Spammer
BSc Spammer
Beiträge: 1263
Registriert: 23. Aug 2007 12:46
Wohnort: DA

Re: Klausur 31.03.2009

Beitrag von Osterlaus »

Michl hat geschrieben:
ice-breaker hat geschrieben:Also wir haben am Dienstag im LZM mehrere (5 - 6) Klausuren zu FGdI 2 von Prof. Otto gesehen, wenn man bedenkt, dass unser Skript von Otto stammt, schadet es sicherlich nichts sich auch die Klausuren anzusehen.
Woher sind die denn auf einmal aufgetaucht? Vor Kurzem gab es noch keine im LZM.
Dann hat sie zwischenzeitlich jemand mitgehen lassen. Vor einem guten Jahr habe ich auch mehrere Klausuren von Otto gefunden.

Antworten

Zurück zu „Archiv“