Wie war die Klausur?

[dosinfo]

Ich fand die Aufgaben sowie die Aufgabenstellung schwerer als in den Übungen/Hausübungen. Etwas mehr Zeit wäre an der Stelle nicht verkehrt, weil allein der Aufwand die Lösung bezugnehmend auf die korrekte Syntax aufzuschreiben, ist unter dem Zeitdruck einfach enorm geworden. Wie lief es den bei Euch so?

[The One and Only Markus]

Also ich fand die Klausur vom Konzept her eigentlich sehr gut. Vielleicht hätte man etwas weniger Regelanwendungen machen können und dafür noch eine kreative Aufgabe wie z.B. eine Funktion schreiben oder ein Lemma ausdenken oder sowas. Irgendwas was das Praktikum etwas besser mit abdeckt. Aber ansonsten war alles machbar. Hab mich leider bei der letzten Aufgabe etwas verzettelt, hat viel Zeit gekostet und hab die dann auch nicht mehr fertig bekommen. Das war aber meine Schuld und lag nicht an der Schwierigkeit der Aufgabe ^^

Zusammenfassend: Gute Vorlesung, gute Übungen, gute Klausur; ich weiß garnicht was die Leute immer gegen FGdI3 haben ^^

[hymGo]

Zusammenfassend: Gute Vorlesung, gute Übungen, gute Klausur; ich weiß garnicht was die Leute immer gegen FGdI3 haben ^^

Da kann ich nur zustimmen

Bei der letzten Aufgabe wäre es schön gewesen, wenn die Axiome von List und Nat angegeben gewesen wären. Denn so habe ich sehr viel Zeit darauf verwenden müssen, bei jedem Schritt die Regel anzugeben.

[LucasR]

Etwas Bezug zu den Praktika hätte ich schön gefunden. Immerhin war das während dem Semester das Anstrengendste an FGdI 3. Ansonsten war ich zufrieden

[ro25anav]

von den aufgaben her fand ich es auch lösbar, aber für die gegebene zeit ein gutes stück zu viel.
leider hab ich mich auch bei der letzten aufgabe im zweiten schritt irgendwo vertan.
hoffe das ich es geschafft habe, den auch so sehr es teilweise spaß gemacht hat mit verifun zu arbeiten sitzt der schrecken der >= 2 tage lemmas noch im gedächtnis.

[jls]

Vielleicht ein bisschen wenig Zeit, aber ansonsten eine gut konzipierte Klausur (genauso wie es auch die Vorlesung war) - kann mich dem nur anschließen.

[Firehouse]

Bei der letzten Aufgabe wäre es schön gewesen, wenn die Axiome von List und Nat angegeben gewesen wären. Denn so habe ich sehr viel Zeit darauf verwenden müssen, bei jedem Schritt die Regel anzugeben.

Da hätte fragen geholfen. Mir wurde dann gesagt dass es reicht die Mengen anzugeben..

[igor.a]

Bei der letzten Aufgabe wäre es schön gewesen, wenn die Axiome von List und Nat angegeben gewesen wären. Denn so habe ich sehr viel Zeit darauf verwenden müssen, bei jedem Schritt die Regel anzugeben.

Da hätte fragen geholfen. Mir wurde dann gesagt dass es reicht die Mengen anzugeben..

Hab das auch so gemacht, in der Hoffnung, dass sie das schon so akzeptieren.
Ist aber schon ein Unterschied ob man einfach AX_N angibt oder das ganze Axiom syntaktisch und formal korrekt ausschreibt, und das noch mehrmals.

[hymGo]

Hmm, cool das man auch einfach AXnat und so schreiben durfte. Nur schade das ich nicht gefragt habe und es daher nicht wusste ^^
Beim nächsten mal könnte man das vielleicht noch in die Aufgabenstellung schreiben

[LucasR]

Hmm, cool das man auch einfach AXnat und so schreiben durfte. Nur schade das ich nicht gefragt habe und es daher nicht wusste ^^
Beim nächsten mal könnte man das vielleicht noch in die Aufgabenstellung schreiben

... im Audimax wurde es auf den Overhead geschrieben ...

[ro25anav]

geil, ich war im audimax und habe es nicht gesehen ... UND ich schrieb die dinger komplett ...

[erna]

geil, ich war im audimax und habe es nicht gesehen ... UND ich schrieb die dinger komplett ...

ach ja ... das hab ich auch getan haha

[MarioS]

Weiß jemand wann ungefähr mit den Noten gerechnet werden kann?

lg
M. S.

[murri]

MAn spricht von Ende der Woche...
Sie haben wohl schon korrigiert.

[Nathan Wasser]

MAn spricht von Ende der Woche...
Sie haben wohl schon korrigiert.

Ich weiß zwar nicht wer davon spricht, aber es stimmt nicht. Habt bitte noch etwas Geduld.