(deprimierter) Patrick
Meiner Meinung nach, war die Klausur auch viel schwerer und umfrangreicher
als die Probeklausur und die Probeklausur vom letzten Jahr.... Ich bin mal
gespannt, wieviele Punkte man braucht und wieviele es geschafft haben.
BTW: Wer kennt die Regeln für eine Bisimulation in einer Struktur?
Wobei, das auch nicht gereicht hätte ;-) obwohl... naja mal sehen
Bis dann Nils
Ich muss dir recht geben. Ich fand vor allem die Bisimulationsaufgabe und
die folgende Aufgabe waren um einiges schwieriger als bei der alten
Klausur. Zeitlich habe ich es geschaft 11 Aufgaben ansatzweise zu
bearbeiten (d.h. teilweise habe ich zu einer Aufgabe nur einen Satz und nur
die 12(1x Modell, 1x kein Modell) und 13 (Subst./PNF/Skolem) habe ich
komplett).
Würde auch gerne mal die Aufg. 2 vergleichen:
a) lin. Ord ist Fo-axiomatisierbar
b) unendliche dichte lin. Ord ist nicht endlich ax.
(Beweis mit E-F. mit den Strukturen (IR, <) und einer Struktur (B_m, <)
wobei B_m c IQ (Teilmenge von rat. Zahlen) und |B_m|=2^m)
c) überabzählbaren lin. Ord nicht FO-ax. nach aufsteigendem Satz von L.-S.
d) unendlich diskret l.O. nicht endlich ax. (Bew. wie b))
e) nicht mit beschäftigt, habe aber aus didaktischen Gründen einen
Kompakteheitssatzbeweis vermutet
Chance bestanden zu haben: 50%
Gruß, Stefan
Hi.
Jeweils 6 Punkte für die letzten beiden Aufgaben sind ein Witz. Sie stehen
zeitlich gesehen überhaupt nicht im Verhältnis zum Rest. Entweder man bringt
solche Aufgaben mit mehr Punkten, so dass die etwas "Schwächeren" unter uns
auch ein paar "anwendungsfreundliche" Punkte ergattern können, oder man läßt
sie ganz weg. So haben die beiden Aufgaben keinem etwas gebracht.
fix-und-fertig-seiend,
Matthias
P.S.: Weiß jemand schon, wieviele Punkte man zum Bestehen braucht?
> Würde auch gerne mal die Aufg. 2 vergleichen:
> b) unendliche dichte lin. Ord ist nicht endlich ax.
Ich dachte jede dichte lineare Ordnung ist unendlich.
Und dichte lineare Ordnungen sind endlich axiomatisierbar.
Ansonsten ist es wirklich nicht die leichteste gewesen und die Verteilung
der Punkte bei den meisten Aufgaben ein Witz!
Aber was will man machen, wahrscheinlich hat ein Assi die Klausur in 2
Stunden gerechnet, nur leider hat man vergessen, dass die Studenten "hin und
wieder" auch mal nachdenken müssen!
Bis dann,
Nils
Die Aussage hast du nicht wirklich ernst genommen oder? Der Sinn einer
Auswahlklausur ist es auch nicht, dass der überdurchschnittlich begabte
Student 150 Punkte bekommt, sondern sagen wir vielliecht 100 und der
aureichende 50 und so besteht.
Der Assi der das ganze in 2 Stunden rechnet hat natürlich auch ne menge
Erfahrung :), aber manchmal sieht mal selbst Professoren ratlos an der
Tafel stehen und sagen "Ich kenne jemanden der weiss wo steht wie man das
Beweist."
Das wird schon gereicht haben!
Markus
Jep, hab ich auch so.
Dieses Wörtchen "unendlich" in dieser Aufgabe ist überflüssig und war so
ne richtig schöne Ente. Ganz nach dem Motto: Mal schauen, ob die merken,
dass unendliche Strukturen auch endlich axiomatisierbar sein können. ;-)
Das EF-Spiel, was Stefan hier gepostet hat, kann auch so nicht klappen.
Wenn A_m = IR und B_m eine eine Teilmange von IQ mit |B_m|=2^m ist,
sollte es für Spieler I eine Leichtigkeit sein zu gewinnen (er brauch
nur die zwei kleinsten Elemente aus B_m wählen und danach ein Element
dazwischen aus A_m).
Schöne Grüße,
Frank
> "Patrick Elftmann" <noe...@gmx.de> schrieb im Newsbeitrag
> news:b2tk5k$qja$1...@nets3.rz.RWTH-Aachen.DE...
>> Ich fand die Klausur wesentlich schwieriger als die Klausur vom letzen
> Würde auch gerne mal die Aufg. 2 vergleichen: a) lin. Ord ist
> Fo-axiomatisierbar
Yep!
> b) unendliche dichte lin. Ord ist nicht endlich ax. (Beweis mit E-F. mit
> den Strukturen (IR, <) und einer Struktur (B_m, <) wobei B_m c IQ
> (Teilmenge von rat. Zahlen) und |B_m|=2^m)
Naja, da hab ich wohl das Wort "dichte" übersehen, denn so geht es ja
wohl endlich (s.u.) - zumindest fällt mir auch nicht viel ein, was
dagegen einzuwenden wäre...
> c) überabzählbaren lin. Ord
> nicht FO-ax. nach aufsteigendem Satz von L.-S.
Stimmt, nur ist es der Satz von L.-S. und nicht der aufsteigende Satz...
> d) unendlich diskret l.O.
> nicht endlich ax. (Bew. wie b))
Ja, so ungefähr hab ich's auch gemacht...
> e) nicht mit beschäftigt, habe aber aus
> didaktischen Gründen einen Kompakteheitssatzbeweis vermutet
Yep! Hab ich durchgezogen, weswegeni ich nachher keine Zeit mehr hatte...
> Chance bestanden zu haben: 50%
Ja, kommt auch bei mir ungefähr hin...
Gruß,
Peter
Ja gut, bin ich wohl drauf reingefallen.
> Das EF-Spiel, was Stefan hier gepostet hat, kann auch so nicht klappen.
> Wenn A_m = IR und B_m eine eine Teilmange von IQ mit |B_m|=2^m ist,
> sollte es für Spieler I eine Leichtigkeit sein zu gewinnen (er brauch
> nur die zwei kleinsten Elemente aus B_m wählen und danach ein Element
> dazwischen aus A_m).
Welche Lösung hast du denn bei den unendlich diskreten lin. Ord.?
Stefan, welcher sich freut morgen noch das (lernintensive) NF BWL zu
schrieben :-(((
> [...]
> Ich muss dir recht geben. Ich fand vor allem die Bisimulationsaufgabe und
> die folgende Aufgabe waren um einiges schwieriger als bei der alten
> Klausur. [...]
Seh' ich ähnlich. Bei den Probeklausuren habe ich normalerweise mit den
Bisimulationsaufgaben begonnen. Aber als ich sah, was gefordert war, habe
ich sie nun überhaupt nicht bearbeitet :-(
--
Positronic Artificial Lifeform Limited to Exploration
Die beiden letzten Aufgaben sind komplizierter zu korrigieren, weil
unübersichtlich
=> der Lehrstuhl hat einen Vorteil davon, wenn die keiner bearbeitet
Außerdem sollte _jeder_ das Austauschen von Variablen durch Ausdrücke
hinbekommen, ebenso wie das umbennen von Variablen, mehr Punkte wären meiner
Meinung nach sogar ungerecht gegenüber denen, die die Beweise und schwereren
Aufgaben gerechnet haben. Trotzdem hätten mir persönlich auch mehr Punkte
für die letzten Aufgaben genützt...
Was den Rest der Klausur betrifft, hat mir die Kripkestruktur und die
Aufgaben dazu auch nicht gefallen. In den Probeklausuren und Übungen konnte
man in der Regel sehen, wo da eine Bisimulation ist. Bei einer
Auswahlklausur Aufgaben zu stellen, bei den Vergleiche zwischen allen
Möglichkeiten (K,v bisimilar zu K,u) zu prüfen sind, waren für mich
abschreckend.
Bleibt nur die Hoffnung, dass die Aufgabe bzw. die Bestehenspunktzahl
entsprechend gehandhabt werden, offensichtlich ist das Problem ja eindeutig.
Phil
Domi
Also ich kann Euer Gejammer nicht ganz nachvollziehen. Wie kommt ihr
(nicht ihr alle, aber eine Mehrheit von den, die gepostet haben) zu dem
Schluss, dass diese Klausur schwerer war als die Probeklausur?
Um überhaupt ansatzweise beurteilen zu können, wie schwer diese Klausur
war, müsstet ihr doch wissen, wieviele Punkte man zum bestehen benötigt.
Würde man beispielsweise nur 20 Punkte (rein fiktive Zahl) zum bestehen
benötigen, so wäre diese Klausur sicherlich einfacher als alle Klausuren
aus den vorhergehenden Jahren. ;-)
Also erst die Ergebnisse abwarten, dann jammern.
Ansonsten kann ich mich Euren Meinungen größtenteils anschließen. Die
Klausur erschien mir leicht umfangreicher als die Probeklausur, was bei
einer Auswahlklausur jedoch gar nichts zu bedeuten hat. Die
Bisimulationsaufgabe war diesemal sehr murksig und manche Aufgaben, die
weiter hinten kamen, schienen vom Aufwand her in keinem Verhältnis zu
ihren Punkten zu stehen. Aber das war überhaupt nicht schlimm, denn man
hatte schließlich mehr als genug Aufgaben zur Auswahl, die auch viel
spaßiger waren als die hinteren "Low-Point"-Aufgaben.
Schöne Grüße,
Frank
Jo, da hat der Grädel nochma in die Trickkiste gegriffen.
Das mit der Bisimulation in einer Strucktur war dreckig ...
> Um überhaupt ansatzweise beurteilen zu können, wie schwer diese Klausur
> war, müsstet ihr doch wissen, wieviele Punkte man zum bestehen benötigt.
Seit wann hat die Bestehenspunktzahl was mit dem Anspruch der Klausur zu
tun? Man braucht etwa 53 Punkte (da kann sich ändern).
> [interessanter Wechsel zur Position aller vorherigen Poster]
Naja, dann sind wir uns ja doch einig...
\PHI_d = \PHI_a u {Ax(Ey(x<y)->Ey!Ez(x<y -> (x<z & z<y))), <- a
Ax(Ey(y<x)->Ey!Ez(y<x -> (y<z & z<x))), <- b
AxEy(x<y) v AxEy(y<x)} <- c
\PHI_a = l.O.
Die Aussagen a und b sind kombiniert für diskret.
Die Aussage c für unendlich.
(A = für alle, E = es ex., !E = es ex. kein, & = und, v = oder)
Also ist d) endlich ax.
mfg
Bodo
Ansonsten freue ich mich auf meine Nebenfachklasur morgen und wünsche allen
viel Erfolg, die ebenfalls mitschreiben. Auf das wir alle die Aufgaben
verstehen!
MfG
Michael
Woran soll man sich denn sonst richten, großer Meister?!
Wenn die das Niveau anheben wollen, dann bitte nicht wenn ich mitschreibe!
Außerdem "lernen fürs Leben"?! MaLo werde ich besteht nie wieder in der Form
brauchen. Glaub mir das!
Patrick
MfG
Michael
>>Also ich kann Euer Gejammer nicht ganz nachvollziehen. Wie kommt ihr
>>(nicht ihr alle, aber eine Mehrheit von den, die gepostet haben) zu dem
>>Schluss, dass diese Klausur schwerer war als die Probeklausur?
>
> Subjektives Empfinden.
Hui... Aber dafür hat es ja heute nicht geregnet, darum fand ich die
Klausur super. ;-)
>>Um überhaupt ansatzweise beurteilen zu können, wie schwer diese Klausur
>>war, müsstet ihr doch wissen, wieviele Punkte man zum bestehen benötigt.
>
> Seit wann hat die Bestehenspunktzahl was mit dem Anspruch der Klausur zu
> tun?
Natürlich kann der Lehstuhl mit der Bestehenspunktzahl den Anspruch der
Klausur (für mich gleichbedeuutend mit Klausurniveau) durch die
bestehenspunktzahl regulieren. Das kann man sich ganz einfach an den
Extrema vor Augen führen.
Bestehenspunktzahl = 0 Punkte: Alle Bestehen => Klausur anspruchslos
Bestehenspunktzahl = Maximalpunktzahl: Keiner Besteht => Klausur zu
anspruchsvoll.
> Man braucht etwa 53 Punkte (da kann sich ändern).
Hast Du Insiderinformationen? Mein _persönlicher Tip_ liegt in etwa bei
40 Punkten. Aber warten wir´s ab...
IIRK, meinte unser Hiwi wohl mal, dass sie die Klausuren schon innerhalb
von drei Tagen korrigieren werden.
>>[interessanter Wechsel zur Position aller vorherigen Poster]
>
> Naja, dann sind wir uns ja doch einig...
Natürlich sind wir uns einig, bis auf den kleinen Unterschied, dass ich
meine, dass wir anhand der "Fakten" noch nicht beurteilen können, ob
diese Klausur denn leicht oder schwer war, solange wir nicht die
Bestehenspunktzahl kennen.
Ciao,
Frank
"Dominique Ziegelmayer" <do...@ziegelmayer.de> schrieb:
| Die Klausur war wirklich deutlich schwerer, als die der letzten Jahre. Ich
| weiss auch nicht, ob´s gereicht hat... (eher nicht!)
Mein lieber Dominique, mach mich nicht schwach. Da absolvierst Du ein astreines Software-Praktikum und scheiterst an Malo ... nicht
doch! ;-)
Grüße,
Stefan
[Ironie]
Ich bin auch der Meinung, dass logisches Denken eine Fähigkeit ist, die
für Informatiker absolut überflüssig ist. Auch auf Fähigkeiten wie das
Abstrahieren und exakte Formulieren von Problemen halte ich für
überholt. Wer will denn schon so was?
[/Ironie]
Was meinst Du denn, was Du von Deinen Grundstudiumswissen später noch am
meisten brauchen wirst? Progra? Oder gar EGfI?
Ich weiß, dass hängt davon ab, worauf Du Dich später spezialisierst,
aber einfache Programmierer werden so weit ich weiß heutzutage nicht
mehr an Universitäten ausgebildet.
Frank
Ist leider falsch. Ist aber etwas kniffelig.
Gegenbeispiel zu Deinem Axiomensystem. Man betrachte eine Struktur mit
zwei Kopien von IN, die gegeneinander laufen. Die 1 in der ersten Kopie
sei das kleinste Element, die in der zweiten Kopie das größte Element.
D.h. in der ersten Kopie werden die Elemente mit aufsteigenden Zahlen
größer, in der zweien Kopie kleiner. Alle Elemente der ersten Kopie sind
kleiner als die Elemente der zweiten Kopie.
Offensichtlich ist das eine unendliche lin. Ordnung mit sowohl einem
kleinsten als auch einem größten Element.
Cool, was ;-)
Dazu könnte man sich noch mit Mengen mit 2^m Elementen basteln und so
die Aussage allgemein mit der EF-Methode beweisen.
Habe ich in der Klausur natürlich auch nicht gemacht (sonst hätte ich
nur eine Aufgabe geschafft:)).
So, ab morgen aber nur noch EGfI...
Gute Nacht,
Frank
> Würde auch gerne mal die Aufg. 2 vergleichen:
> a) lin. Ord ist Fo-axiomatisierbar
und zwar, endlich, nicht wahr? War doch eine geschenkte Teilaufgabe,
zumindest, wenn ich nicht völlig neben der Spur laufe.
> e) nicht mit beschäftigt, habe aber aus didaktischen Gründen einen
> Kompakteheitssatzbeweis vermutet
IIRC habe ich in der Tat mit dem Kompaktheitssatz gezeigt, daß die Klasse
nicht FO-axiomatisierbar ist (was nicht unbedingt was heißen soll, ich habe
es vereinzelt schon "geschafft", axiomatisierbare Klassen auf diese Weise
als nicht FO-axiomatisierbar abzuhandeln)
> Chance bestanden zu haben: 50%
Naja, kommt auf die Mindestanzahl an Punkten an, die man haben muß.
Bearbeitet habe ich Aufgaben für grob geschätzt 85 Punkte... Nur wer weiß,
wie viel davon richtig ist?
Auf jeden Fall war die Klausur deutlich schwieriger als die Probeklausur,
was ich etwas unfair finde. Sollte die Probeklausur nicht auch im
Schwierigkeitsgrad in etwa der echten Klausur entsprechen? Oder meinetwegen
auch noch umgekehrt, damit all die Studenten vorher ein bißchen Panik
schieben und noch mehr lernen, was sie dann nachher "fürs Lebn" behalten
dürfen...
Florian
>> Man braucht etwa 53 Punkte (da kann sich ändern).
>
> Hast Du Insiderinformationen? Mein _persönlicher Tip_ liegt in etwa bei
> 40 Punkten. Aber warten wir´s ab...
naja, ich habe bisher auch immer was von "vermutlich einem Drittel" gehört.
Wenns nur 40 Punkte sein sollten und damit 25%, stehen die Chancen gar
nicht so schlecht, daß ich bestanden habe. Ansonsten wirds mal wieder eine
klassische Zitterpartie :-/
> IIRK, meinte unser Hiwi wohl mal, dass sie die Klausuren schon innerhalb
> von drei Tagen korrigieren werden.
Hat euer Hiwi das so ausgedrückt, daß man auch davon ausgehen kann, daß es
die Klausurergebnis dann schon gibt?
> Natürlich sind wir uns einig, bis auf den kleinen Unterschied, dass ich
> meine, dass wir anhand der "Fakten" noch nicht beurteilen können, ob
> diese Klausur denn leicht oder schwer war, solange wir nicht die
> Bestehenspunktzahl kennen.
Naja, die Klausur war schon schwer, zumindest schwerer als die
Porbeklausur. Aber wenn zum Ausgleich die Punkteschwelle zum Bestehen
dementsprechend gesetzt wird, macht das zwar nicht die Klausur selbst
einfacher, wohl aber das Bestehen der selbigen ;-P
wie alle anderen nicht so recht wissend, was er denn jetzt von der heutigen
Klausur halten soll (und eine Schlußformel mit einem Partizip Präsens über
zwei.... nein, jetzt schon drei Zeilen ausbreitend),
Florian
>>IIRK, meinte unser Hiwi wohl mal, dass sie die Klausuren schon innerhalb
>>von drei Tagen korrigieren werden.
>
>
> Hat euer Hiwi das so ausgedrückt, daß man auch davon ausgehen kann, daß es
> die Klausurergebnis dann schon gibt?
Nein, so hat er das meine ich nicht direkt gesagt. Abre wenn man
bedenkt, dass die Einsicht nächsten Mittwoch ist, dazu die Aussage des
Hiwis dazuzieht und berücksichtigt, dass dieser Lehrstuhl doch das
Semester über die Homepage aktuell gehalten hat, scheint es mir recht
unwahrscheinlich, dass sie die Klausurergebnisse noch über´s Wochenende
unter Verschluss halten werden. Aber warten wir´s ab, irren ist
menschlich...
>>Natürlich sind wir uns einig, bis auf den kleinen Unterschied, dass ich
>>meine, dass wir anhand der "Fakten" noch nicht beurteilen können, ob
>>diese Klausur denn leicht oder schwer war, solange wir nicht die
>>Bestehenspunktzahl kennen.
>
>
> Naja, die Klausur war schon schwer, zumindest schwerer als die
> Porbeklausur. Aber wenn zum Ausgleich die Punkteschwelle zum Bestehen
> dementsprechend gesetzt wird, macht das zwar nicht die Klausur selbst
> einfacher, wohl aber das Bestehen der selbigen ;-P
Hmpf, Du willst es Dir aber auch so zurechtlegen, dass Du diese Klausur
als schwer bezeichnen kannst. ;-)
> wie alle anderen nicht so recht wissend, was er denn jetzt von der heutigen
> Klausur halten soll (und eine Schlußformel mit einem Partizip Präsens über
> zwei.... nein, jetzt schon drei Zeilen ausbreitend),
>
> Florian
Stink normale Grüße (ohne Partizip Präsens),
Frank
> aber einfache Programmierer werden so weit ich weiß heutzutage nicht
> mehr an Universitäten ausgebildet.
Richtig, denn dazu gibt es die BWLer ;-)
Alex
> Ich glaube Phi (Klausur) := Klausur |= bestandene Klausur ist bei mir seit
> gestern keine Tautologie mehr...
Äh ;-) *g* Wenn ich mir die Formel so anseh, die da oben steht... würd
ich mal spontan sagen: Kein Wunder ;-)
Alex
Der Anspruch einer solchen Aufgabe wäre für mich extrem niedrig, da man
ja stets die volle Punktzahl erreicht.
Aber ich sehe auch ein, dass es Sinn macht, zwischen Anspruch einer
Aufgabe mit und ohne Berücksichtigung der Punktzahl zu unterscheiden.
Ich bin jedoch davon ausgegangen, dass man in der Regel ersteres meint,
wenn man von dem Schwierigkeitsgrad einer Klausur spricht, da der
Student in der Klausur meist nur das Ziel vor Augen hat, eine gewisse
Anzahl von Punkten zu bekommen.
Gruß Frank
> Nein, so hat er das meine ich nicht direkt gesagt. Abre wenn man
> bedenkt, dass die Einsicht nächsten Mittwoch ist, dazu die Aussage des
> Hiwis dazuzieht und berücksichtigt, dass dieser Lehrstuhl doch das
> Semester über die Homepage aktuell gehalten hat, scheint es mir recht
> unwahrscheinlich, dass sie die Klausurergebnisse noch über´s
> Wochenende unter Verschluss halten werden. Aber warten wir´s ab, irren
> ist menschlich...
Das klingt durchaus "logisch".
> Hmpf, Du willst es Dir aber auch so zurechtlegen, dass Du diese
> Klausur als schwer bezeichnen kannst. ;-)
Wenn beide Eltern Juristen sind, lernt man das Korinthenkacken ziemlich
früh, und das bisherige Studium hat sein Übriges getan *g
Florian
da faellt mir nur eins ein:
"2.012 In der Logik ist nichts zufaellig: Wenn das Ding im Sachverhalt
vorkommen 'kann', so muss die Moeglichkeit des
Sachverhaltes im Ding bereits praejudiziert sein."
L. Wittgenstein, "Tractatus logico-philsophicus"
danke an Ekfeni dafür, dass er gepostet hat die Probeklausur wäre leicht
und so den Klausurstellern neue lustige und schwerere Aufgaben entlockt
hat!!! ...
Wo ist der Smiley? Das kannst du nicht ernst meinen. Und wer überhaupt ist
Ekfeni?
Stefan
Ich glaube, damit bin ich gemeint:)))
Also ich fand die nicht schwieriger. Das kann aber auch an den Aufgaben
liegen, die ich mir ausgesucht habe.
Gruß
Ewgenij