Axiome in der Klausur
-
- Mausschubser
- Beiträge: 99
- Registriert: 4. Okt 2010 16:25
Axiome in der Klausur
Die Regeln des Berechnungskalküls werden ja gestellt… gilt das auch für die Axiome von {bool,nat,list}?
-
- Kernelcompilierer
- Beiträge: 430
- Registriert: 16. Okt 2009 09:48
-
- Mausschubser
- Beiträge: 99
- Registriert: 4. Okt 2010 16:25
Re: Axiome in der Klausur
Danke.
Re: Axiome in der Klausur
Dh wir muessen wissen welche Axiome wir nutzen koennen, aber nicht die genauen Nummern das Axiome, oder?
"If you want more effective programmers, you will discover that they should not waste their time debugging, they should not introduce the bugs to start with." Edsger W. Dijkstra
Re: Axiome in der Klausur
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
Vielleicht heißt es auch einfach, dass wir die Axiome auf unseren Zettel schreiben sollten, damit wir einfach die Nummern angeben können^^Mirlix_ hat geschrieben:Dh wir muessen wissen welche Axiome wir nutzen koennen, aber nicht die genauen Nummern das Axiome, oder?
-
- Dozentin/Dozent
- Beiträge: 86
- Registriert: 1. Nov 2005 18:51
Re: Axiome in der Klausur
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.Mirlix_ hat geschrieben:Dh wir muessen wissen welche Axiome wir nutzen koennen, aber nicht die genauen Nummern das Axiome, oder?
-
- Mausschubser
- Beiträge: 99
- Registriert: 4. Okt 2010 16:25
Re: Axiome in der Klausur
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
Würde es diesmal ausreichen?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 ^^
Das würde mich auch interessieren.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?
-
- Dozentin/Dozent
- Beiträge: 86
- Registriert: 1. Nov 2005 18:51
Re: Axiome in der Klausur
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.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?