Die Suche ergab 5 Treffer

von florian.k
14. Mär 2013 13:28
Forum: Archiv
Thema: Klausurergebnis und Einsicht
Antworten: 44
Zugriffe: 8221

Re: Klausurergebnis und Einsicht

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...
von florian.k
19. Feb 2013 10:12
Forum: Archiv
Thema: Alte Klausur
Antworten: 0
Zugriffe: 436

Alte Klausur

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
von florian.k
14. Feb 2013 15:28
Forum: Archiv
Thema: Lab4 - Task3 - Aufgabe 2.6
Antworten: 8
Zugriffe: 598

Lab4 - Task3 - Aufgabe 2.6

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...
von florian.k
12. Feb 2013 15:37
Forum: Archiv
Thema: Lab4 - Task2 - Aufgabe 4-6 Konstruktor
Antworten: 1
Zugriffe: 243

Lab4 - Task2 - Aufgabe 4-6 Konstruktor

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

Grüße,
Florian
von florian.k
3. Dez 2012 22:47
Forum: Archiv
Thema: Lab 2 - Verifikation Bonus Task
Antworten: 2
Zugriffe: 351

Lab 2 - Verifikation Bonus Task

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...

Zur erweiterten Suche