Hilfsmittel

[h_tercan]

Ich wollte nur sichergehen, ob ich mein Hilfsblatt auch machinell schreiben (also auch mit ganz kleiner schriftgröße) und ausdrucken kann, oder nur handschriftlich kopierte benutzen darf... Ich hab nämlich diesen kleinen Zweifel, den ich loswerden möchte Danke

[Simon Siegler]

Aus der FGdI3 Webseite (Abschnitt "Modulprüfung"):

Als einziges Hilfsmittel für die Klausur ist eine DIN-A4-Seite, also ein einseitig beschriebenes DIN-A4-Blatt, zulässig. Dieses Blatt muss mit dem eigenen Namen und der eigenen Matrikelnummer gekennzeichnet sein. Es kann handgeschrieben, gedruckt oder kopiert sein.

[h_tercan]

Ich verstehe das als "Ja"...
Danke

[wuschel]

Hallo zusammen,
dann die nächste Frage: Was erachtet ihr für sinnvoll auf die eine Seite für die Klasur zu "drucken"? Die ganzen Aximo? Was ist noch alles sinnvoll?

[linn]

Ich hab mir Kapitel 6 folie 21 draufgemacht, als beispiel fürs Induktionsaxiom, da is auch gleich n beispiel für ne Relationenbeschreibung und hpl-sequenzen dabei.
dann hab ich mir noch Axiome für list,bool und für das lemma insert_keeps_ordered draufkopiert und hoff, dass ich damit auch alle anderen Axiome ableiten kann.
Für Terminierungshypothesen hab ich von Kapitel 8 Folie 20 die formel für maßtermlisten mit j=2 genommen.
Mehr ist mir auch nicht eingefallen fürs Hilfsblatt (auch wenn mir während der Klausur sicherlich noch einiges einfallen wird ^^)

[Gnomix]

Ich würde mir noch ein paar Sätze über Äquivalenzen mit aufs Blatt nehmen.
Also z.B. Kapitel 12 Folie 25.

[leviathan]

Also ich habe mein Blatt jetzt (glaube ich) fertig, und hätte eig. kein Problem, das Anderen zum Vergleichen und evtl in ihrem eigenen mitbenutzen zur Verfügung in elektronischer Form zu stellen. Wäre das von der Seite der Veranstalter OK oder ist dies unerwünscht?

[Nathan Wasser]

Ich denke, dass gerade das Zusammenstellen eines solchen Blattes zur Vorbereitung gut geeignet ist, während das bloße Kopieren eher gar nicht geeignet ist.

[wuschel]

Andererseits, wer bisher noch nicht angefangen hat sich das wichtigste Zusammenzuschreiben, der wird sowieso ein Problem haben, denke ich. Für die die schon eins haben oder zumindest ihre Entwürfe fürs Blatt, hilft es vielleicht doch nochmal, wenn man etwas vergessen hat. Oder die Prioritäten anders gesetzt hat.