fb18.de
/ Diplom Informatik
/ Unterbereich Grundstudium
/ Formale Informatik
F1/2 Nachschreibklausur
Hallo,
also die Klausur war echt hart vom Schwierigkeitsgrad her. Bis auf die erste Aufgabe war eigentlich nichts einfach. Anwendung von uvw, uvwxy, Hibrand-universen zu PL-Folgerung, Fragen zu PDAs. Glaube nicht, dass ich bestanden hab. Finde vorallem blöd, dass zweimal uvw dran kam. Ich muss bei diesen Aufgaben immer erst etwas überlegen, und dazu hat man in der Klausur nicht besonders viel Zeit.
Wie war eigentlich die logische Ausdruck für
M:={ w E {a,b}* | a == 0 mod 2 und |w|b = 1 }
?
@ = Allquantor
Was habt Ihr bei der PL-Folgerung, G !|= F mit:
F=Ex(P(x) /\ -Q(x))
G=(P(x) /\ -@x:Q(x) )
?
mfg
EDIT: Thema von F12 auf F1/2 geändert.
Die Antwort zu Deiner ersten Frage wüßte ich auch gerne.
also so hab ich es versucht:
Also G und F brauchst Du imho ersteinmal als Skolemform um dann PL-Resolution machen zu können.
F folgt aus G wenn die Resolution von {-F,G} unerfüllbar ausgibt (leere Klausuel). Wir mußten also zeigen, dass die leere Klausel _nicht_ rauskommt.
F ist bereits in BPF
G leider noch nicht - der Skopus von dem Allquantor ist ja nur Q also da [x/x1]
Dann daraus die Skolemform.
Bei F [x/s1] also S1(x)=s1 –> P(s1) & -Q(s1)
und bei G -@x1Q ist ja äquivalent zu Ex1-Q also P(x) & -Q(s2)
Nun noch aus F* schnell -F* gemacht (-P(x) v Q(s2)
nun Resolution:
{-P(x), Q(s2)} {P(s1), -Q(s1)}
Egal wie man unifiziert / resolutioniert(?) - es wird nicht die leere Klausel herasukommen. q.e.d.
…und nun bete ich, dass wenigstens das richtig lief :/.
Ach ja was denn so alles rangekommen ist:
-Zusammenhang: implikation, "folgt aus" Zeichen, Modus Ponens
-Nenne und Begründe alle Abschlüsse
-Zeichne Transitive Hülle (Relation als (a,d) (d,b) … gegeben)
-Zeige Folgerung durch Resolution (einmal bei aussagenlogik, einmal bei
Prädikatenlogik - Formeln waren nicht in Skolemform gegeben)
-Erstelle zu je 2 Formeln Herbrand-Universum und Herbrand-Expansion
-Rationale Ausdrücke die folgende Sprache beschreiben und nenne alle 3
stelligen akzeptierten Ausdrücke.
-Bastel Automaten aus 4 zuständen udn einem startzustand der alle
wörter mit einem b und gerader anzahl a's akzeptiert
-3 Ankreuz/Verständnisfragen zu Kellerautomaten
-Potenzautomat zeichnen
-uvw/xy anwenden!
-Grammatik bauen
…ohne Anspruch auf Vollständigkeit :).
Btw: ich würde schätzen, dass kein drittel der Studenten 50% der Punkte geschaft hat - aber vlt bin ich auch der einzige der die Klausur als ziemlich happig empfand - auch zeitmäßig war da nicht viel zureißen - einfach zuviele Knobelaufgaben.
Wie war eigentlich die logische Ausdruck für
M:={ w E {a,b}* | a == 0 mod 2 und |w|b = 1 }
du meinst rationalen Ausdruck zu M:={ w E {a,b}* | |w|_a == 0 mod 2 und |w|_b = 1 }?
(aa)* (b + aba) (aa)* knobel ich mal
Btw: ich würde schätzen, dass kein drittel der Studenten 50% der Punkte geschaft hat - aber vlt bin ich auch der einzige der die Klausur als ziemlich
Dann wird ein bisschen am Regler gedreht, so dass ca. 60-70% bestanden haben, schon passt's. Ist doch immer so ;-)
Mist. Ich hab nur M = (aa)*(b)(aa)* … Gibts dafür noch n paar Punkte oder ist das dann einfach falsch?
Ist doch fast richtig. Also ich wuerde da mindestens die halbe Punktzahl fuer geben.
Verdammt so eine schwerige Klausur dafür das man nichts benutzen durfte.
Hab die ganzen Ferien für Klausur gelernt und am Ende für nichts.
Ja !!!
Ich bin echt gespannt, wieviele die Klausur nicht bestanden
haben!!!!!!!!!
wir haben echt pech gehabt
was hat sowas mit pech zu tun??
also so schwer war sie nich also auf jedenfall war sie nicht schwerer als die erste und daher hätte man sich gut vorbereiten können wenn man sich erkundigt hätte…
Ist 0 mod 2 nicht gleich 0?
0 mod 2 = 0
1 mod 2 = 1
2 mod 2 = 0
3 mod 2 = 1
usw.
[img]
http://www.fb18.de/gfx/fragezeichen.gif[/img]
Das ist richtig. Richtig ist aber btw nicht, dass "file:///C:/WINDOWS/Peter.jpg" 'ne sinnvolle URL für einen Avatar ist.
EDIT: *argh* Und auch keinen 300x300 Avatar. Das steht doch bei der Auswahl.
Neeiiiiiiin 0 mod 2 ist 2!!!!!!!
ich fand die Klausur auch recht schwer und wir hatten auch wirklich etwas zu wenig Zeit!
Neeiiiiiiin 0 mod 2 ist 2!!!!!!!
Huh?
So wie ich mod kenne, ist "0 mod n" immer 0 und "0 <= m mod n <= m-1".
Genauer: Wenn "div" die Ganzzahldivision ist (oder allgemeiner: floor(m/n)), dann gilt:
(m div n) * n + (m mod n) = m
Wenn da "0 mod n = n" wäre, müßte ja "0 div n = -1" gelten. [img]
http://www.fb18.de/gfx/2.gif[/img]
Siehe auch:
http://functions.wolfram.com/IntegerFunctions/Mod/
ich finde auch dass die klausur nicht gerade einfach war
Für alle die es interessiert, die Ergebnisse hängen aus.
*bestanden*
*schweißabwisch*
Fehlt nur noch T *zitter*
und wie sah es so aus? viele durchgefallen? oder eher mehr bestanden als durchgefallen?
Ich warnciht selbst da, das hat mir jemand anders mitgeteilt, aber es sollen von den ~30 (?) Leuten nur 6 bestanden haben.
von ~35 personen ~25 nicht bestanden.
ist aber ganz normaler schnitt für eine 2te F-klausur.
wooooooohooooooooo bestanden =)
Hm, wo hängen die Klaursurergebnisse?
Hm, wo hängen die Klaursurergebnisse?
Wahrscheinlich wie immer im Glaskasten oben in Haus A.
siehe auch:
http://3773.rapidforum.com/topic=104784873162
So wie ich mod kenne, ist "0 mod n" immer 0 und "0 <= m mod n <= m-1".
0 mod n sollte = 0 sein, aber für m=3 und n=4 gilt doch:
0<= 3 mod 4 und 3-1 < 3 mod 4.
Was Du schriebst, gilt nur für m = n.
Ich vermute mal, die zweite Ungleichung sollte
m mod n <= n-1
heissen.
Danke für die Information, wo die Ergebnisse zu finden sind und ich habe BESTANDEN! Muahahaa.
MfG
Xoc
Ich vermute mal, die zweite Ungleichung sollte
m mod n <= n-1
heissen.
Ähm, ja, natürlich, Tschuldigung, danke.