D120.de/forum

Also Aufgabe 1a wurde komplett aus der Wertung genommen? Kann man bei einer Klausur, die darauf ausgelegt ist, dass man nicht alle Aufgaben komplett bearbeiten muss/kann, nicht eine Lösung für Studenten finden, die sich für diese Aufgabe und eventuell gegen eine andere entschieden haben? Ich kann mi...

Auch wenn die Frage recht kurzfristig ist,
gibt es die Möglichkeit eine alte Klausr bzw eine Probeklausur zu veröffentlichen?

Es gibt ja leider nicht sonderlich viele Aufgaben zum Üben und zu manchen Themen ist mir ziemlich unklar wie Klausuraufgaben dazu aussehen sollen.

Grüße,
Florian

Zunächst einmal Danke für die letzte Frage bezüglich des Konstruktors. Wir sind nun fast fertig. Es fehlt lediglich der Proof, dass add die Invariante von min einhält. Wir arbeiten nun seid 3 Tagen daran und kommen einfach nicht weiter. Die add Methode wurde von uns im Zuge von Task 3 minimal angepa...

Hallo,
wir haben eine kurze Frage zu Lab4.
Sollen wir bei den Aufgaben 2.4-2.6 den Konstruktor auch betrachten?

Grüße,
Florian

Wir haben ein kleines Problem bei der Verifikation des Bonus Tasks. Der Angreifer handelt ja nicht deterministisch, und durch unsere Änderungen am Protokoll um die Probleme zu beheben, haben wir eine um ein vielfaches größere Zustandsmenge, sodass für jede der 3 LTLs jeweils ein Rechner, nach über 2...