Seite 1 von 1

Klausur und IMP

Verfasst: 18. Feb 2012 10:37
von SupeRalF
Hi,
In Kapitel 5 haben wir ja die Semantik von Aexp, Bexp und Cexp für IMP definiert. Ich nehme mal stark an, dass wir diese Definitionen für die Klausur auswendig können, oder uns aufschreiben sollten.
Aber wie sieht es mit der alternativen Semantik für Aexp aus Kapitel 5 und Bexp aus Übung 5 aus? Müssen wir die auch können, oder reicht es wenn wir, wie in Übung 5 verlangt, eigene Kalküle aufstellen können?

Gruß
SupeRalF

Re: Klausur und IMP

Verfasst: 20. Feb 2012 05:22
von LordHoto
SupeRalF hat geschrieben:In Kapitel 5 haben wir ja die Semantik von Aexp, Bexp und Cexp für IMP definiert. Ich nehme mal stark an, dass wir diese Definitionen für die Klausur auswendig können, oder uns aufschreiben sollten.
Aber wie sieht es mit der alternativen Semantik für Aexp aus Kapitel 5 und Bexp aus Übung 5 aus? Müssen wir die auch können, oder reicht es wenn wir, wie in Übung 5 verlangt, eigene Kalküle aufstellen können?
Letztes Jahr wurden zumindest die Cexp Herleitungsregeln (ob Aexp oder Bexp dabei waren, weiß ich leider nicht mehr!) gegeben. Aber am besten du schreibst dem Assistenten nochmal eine E-Mail, wenn du es genauer wissen willst.

Ich glaube nicht, dass ihr die Semantiken aus der Übung auswendig können müsst. Aber selber Semantiken formalisieren, ist definitiv etwas was du in der Klausur können solltest.

Re: Klausur und IMP

Verfasst: 28. Feb 2012 20:55
von m2c1
LordHoto hat geschrieben:
SupeRalF hat geschrieben:In Kapitel 5 haben wir ja die Semantik von Aexp, Bexp und Cexp für IMP definiert. Ich nehme mal stark an, dass wir diese Definitionen für die Klausur auswendig können, oder uns aufschreiben sollten.
Aber wie sieht es mit der alternativen Semantik für Aexp [...] aus? [...]
[...] am besten du schreibst dem Assistenten nochmal eine E-Mail, wenn du es genauer wissen willst. [...]
Hast du mal nachgefragt oder weiß jemand anders die offizielle Antwort?

Re: Klausur und IMP

Verfasst: 1. Mär 2012 13:15
von Brian
Würde mich auch interessieren... :oops:

Re: Klausur und IMP

Verfasst: 4. Mär 2012 12:54
von M.Scholz
Mich würde das auch interessieren. Wäre schön, wenn sich jemand eine offizielle Aussage äußern könnte.

Re: Klausur und IMP

Verfasst: 5. Mär 2012 17:46
von Sarah Ereth
Hallo,

dazu gibt es keine offiziellen Aussagen von unserer Seite.

Viele Grüße,
Sarah