Die Suche ergab 5 Treffer
- 14. Mär 2013 13:28
- Forum: Archiv
- Thema: Klausurergebnis und Einsicht
- Antworten: 44
- Zugriffe: 8365
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...
- 19. Feb 2013 10:12
- Forum: Archiv
- Thema: Alte Klausur
- Antworten: 0
- Zugriffe: 448
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
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
- 14. Feb 2013 15:28
- Forum: Archiv
- Thema: Lab4 - Task3 - Aufgabe 2.6
- Antworten: 8
- Zugriffe: 618
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...
- 12. Feb 2013 15:37
- Forum: Archiv
- Thema: Lab4 - Task2 - Aufgabe 4-6 Konstruktor
- Antworten: 1
- Zugriffe: 255
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
wir haben eine kurze Frage zu Lab4.
Sollen wir bei den Aufgaben 2.4-2.6 den Konstruktor auch betrachten?
Grüße,
Florian
- 3. Dez 2012 22:47
- Forum: Archiv
- Thema: Lab 2 - Verifikation Bonus Task
- Antworten: 2
- Zugriffe: 372
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...