Seite 1 von 1

Syntax in der Klausur

Verfasst: 18. Mär 2011 22:52
von The One and Only Markus
Hallo,

wie sieht das denn mit der Syntax in der Klausur aus? Wenn ich mir z.B. so Aufgaben wie 3.2. ansehe, darf man dann z.B. "unnötige" Klammern weglassen? Also darf man z.B. anstatt "+(+(+(0)))" einfach "+++0" schreiben? Oder darf man sogar gleich "3" schreiben? ^^

Re: Syntax in der Klausur

Verfasst: 19. Mär 2011 00:12
von dschneid
Von der Handhabung in den Übungen ausgehend würde ich sagen: Nein, Ja.

Re: Syntax in der Klausur

Verfasst: 19. Mär 2011 11:13
von hymGo
Ich denke mal das wird in der Klausur angegeben sein. Also in Übung 3 sollte man beim Auswerten succ(succ(0)) schreiben und in Hausübung 3 durfte man für Konstruktor-Grundterme z.B. direkt 2 schreiben.
Mich würde auch interessieren ob man bei den Induktionsaxiomen, so wie in den Übungen immer das \(= true\) weglassen kann.

Re: Syntax in der Klausur

Verfasst: 19. Mär 2011 11:44
von igor.a
... oder z.B. beim Berechnungskalkül in if-Anweisungen je nach Bedingungsteil einen irrelevanten then- bzw. -else-Teil durch "..." ersetzen (wie in der Musterlösung).

Re: Syntax in der Klausur

Verfasst: 21. Mär 2011 10:26
von Nathan Wasser
"+++0" ist syntaktisch nicht in Ordnung.

Irrelevante then- bzw else-Teile dürfen mit "..." abgekürzt werden.

Bei den anderen Punkten kommt es darauf an was in der Aufgabenstellung steht.