D120.de/forum

Die vorläufigen Ergebnisse der Nachklausur sind in TUCaN gemeldet. Wer eine Einsicht in die Klausur wünscht, soll sich bei Nathan Wasser melden.

Es wird bei der Nachklausur nichts drankommen, was nicht auch bei der Klausur im Herbst hätte drankommen können. Natürlich ist []!b äquivalent zu !<>b. Wenn etwas nicht spezifiziert ist, so darf die Implementierung frei gewählt werden. Nicht jedoch die Spezifikation, denn, naja, es sollte nicht spez...

Information zur Nachklausur im Herbst 2014 befindet sich hier.

Die endgültigen Noten nach der Klausureinsicht sind seit geraumer Zeit in TUCaN sichtbar.

Die vorläufigen Klausurnoten sind in TUCaN sichtbar.

Die Klausureinsicht wird am Donnerstag, den 22.05.2014, von 13:30 bis 15:30 in Raum S202 / C205 stattfinden.

Näheres dazu hier.

Die Korrektur ist fertig. Die Noten werden heute gemeldet. TUCaN schaltet diese meist nicht sofort frei, aber in den nächsten Tagen sollten die Noten einsehbar sein.

Es wird eine Klausureinsicht geben, der Termin dazu steht noch nicht fest.

Nein. Prof. Hähnle ist diese Woche nicht da und somit verschiebt sich die Bekanntgabe der Noten noch bis nächste Woche.

Nathan Wasser hat geschrieben:Die Korrektur wird voraussichtlich Ende nächster Woche fertig sein. Ergebnisse werden in TUCaN veröffentlicht.

Die Korrektur verschiebt sich etwas nach hinten. Sollte nächste Woche oder spätestens am 7. Mai fertig sein.

Die Korrektur wird voraussichtlich Ende nächster Woche fertig sein. Ergebnisse werden in TUCaN veröffentlicht.

a[0] = a[0] + 1; a = new int[0]; Für alle Elemente von a (also die ganzen keine, die in einem leeren Array vorkommen), ist der Wert mit dem Wert im alten a gleich. Dennoch haben wir ein Element verändert. Sagen wir einfach, dass es wesentlich sicherer ist sich an dem Aufgabentext zu halten: Dort st...

Das ist erlaubt, ja. In diesem Fall ist es auch kein Problem, da die Transitivität von < dafür sorgt, dass die Formeln äquivalent sind. Manchmal wäre das aber nicht möglich.

Korrekt erkannt.

Sie sind nicht falsch, aber durch das "assignable \nothing;" sind sie nicht nötig.

Faxe hat geschrieben:Wird uns in der Prüfung ein Syntaxblatt zu PROMELA zur Verfügung gestellt?

Ihr dürft nicht davon ausgehen.

Die Frage ist: Worauf genau bezieht sich das "nullable"? Nur auf die Variable "contents"? Oder nur auf die Werte des Arrays, die laut Aufgabenstellung null sein können? Bei Arrays bedeutet "nullable" grundsätzlich beides. Also sowohl das Array selbst, als auch die Elemente des Arrays dürfen null se...

Genau.