Seite 1 von 1

Axiome in der Klausur

Verfasst: 10. Feb 2012 13:35
von arne.lottmann
Die Regeln des Berechnungskalküls werden ja gestellt… gilt das auch für die Axiome von {bool,nat,list}?

Re: Axiome in der Klausur

Verfasst: 10. Feb 2012 13:38
von Nathan Wasser
Nein.

Re: Axiome in der Klausur

Verfasst: 10. Feb 2012 16:25
von arne.lottmann
Danke.

Re: Axiome in der Klausur

Verfasst: 10. Feb 2012 19:04
von Mirlix_
Dh wir muessen wissen welche Axiome wir nutzen koennen, aber nicht die genauen Nummern das Axiome, oder?

Re: Axiome in der Klausur

Verfasst: 10. Feb 2012 22:04
von hymGo
Also nachdem ich in der Klausr damals immer die Axiome daneben geschrieben hatte, wurde mir danach gesagt, dass ein einfaches Ax_nat bzw Ax_bool usw gereicht hätte. Aber kann keine Garantie geben das dies stimmt, da ich das ja nicht selber gehört und verwendet habe ^^

Re: Axiome in der Klausur

Verfasst: 10. Feb 2012 23:07
von cwb38
Mirlix_ hat geschrieben:Dh wir muessen wissen welche Axiome wir nutzen koennen, aber nicht die genauen Nummern das Axiome, oder?
Vielleicht heißt es auch einfach, dass wir die Axiome auf unseren Zettel schreiben sollten, damit wir einfach die Nummern angeben können^^

Re: Axiome in der Klausur

Verfasst: 10. Feb 2012 23:21
von Christoph Walther
Mirlix_ hat geschrieben:Dh wir muessen wissen welche Axiome wir nutzen koennen, aber nicht die genauen Nummern das Axiome, oder?
In einer akademischen prüfung werden wissen und fähigkeiten geprüft. Daran sollten Sie sich bei Ihren prüfungsvorbereitungen orientieren. Beispielsweise ist die nummerierung der axiome völlig willkürlich und dient nur als referenz, wenn man sich darüber unterhält. Sie sollten also die axiome kennen, falls danach gefragt wird, die nummern sind dabei unwichtig.

Re: Axiome in der Klausur

Verfasst: 11. Feb 2012 06:07
von arne.lottmann
Wenn in der Klausur gefordert ist, dass man die verwendeten Axiome in jedem Schritt angeben soll (wie in den Übungen), müsste man dann die Axiome ausschreiben? Bzw. am Anfang mit Nummern hinschreiben und dann per Nummer referenzieren?

Re: Axiome in der Klausur

Verfasst: 12. Feb 2012 15:10
von timo.b
hymGo hat geschrieben:Also nachdem ich in der Klausr damals immer die Axiome daneben geschrieben hatte, wurde mir danach gesagt, dass ein einfaches Ax_nat bzw Ax_bool usw gereicht hätte. Aber kann keine Garantie geben das dies stimmt, da ich das ja nicht selber gehört und verwendet habe ^^
Würde es diesmal ausreichen?
arne.lottmann hat geschrieben:Wenn in der Klausur gefordert ist, dass man die verwendeten Axiome in jedem Schritt angeben soll (wie in den Übungen), müsste man dann die Axiome ausschreiben? Bzw. am Anfang mit Nummern hinschreiben und dann per Nummer referenzieren?
Das würde mich auch interessieren.

Re: Axiome in der Klausur

Verfasst: 13. Feb 2012 00:30
von Christoph Walther
arne.lottmann hat geschrieben:Wenn in der Klausur gefordert ist, dass man die verwendeten Axiome in jedem Schritt angeben soll (wie in den Übungen), müsste man dann die Axiome ausschreiben? Bzw. am Anfang mit Nummern hinschreiben und dann per Nummer referenzieren?
Wenn die antwort auf solch eine frage nicht aus der aufgabenstellung hervorgeht oder Sie sonstwie unsicher sind, so können Sie immer bei der klausuraufsicht nachfragen.