FGI2, Inkonsistenzen in Aufgabenblatt 11
2008-01-21 14:51
Lehrkraft
Ich wurde heute von Studenten auf eine weitere Unstimmigkeit in Aufgabenblatt 11 aufmerksam gemacht, die ebenfalls zu der Klasse der "[[de:Um-eins-daneben-Fehler]]" gehört. Daher hier eine Aktualisierung der Korrekturhinweise nach Rücksprache mit dem Aufgabensteller:
Aufgabe 11.1
Der Index zum Zugriff auf das Array soll von [1…MAX] laufen (statt von [0…MAX]). Damit enthält das Array genau MAX Elemente, und die Grenzbedingungen der push- und pop-Prozesse sind auf dem Blatt fgi2a11a.pdf mit i < MAX und i > 0 korrekt angegeben.
Wer nach meinem Korrekturvorschlag von letzter Woche schon mit der Bereichsuntergrenze 0 und der pop-Bedingung i >= 0 argumentiert hat, darf dabei bleiben. Um die Übungsgruppenleiter nicht zu verwirren, empfiehlt sich aber ein entsprechender Hinweis.
Aufgabe 11.3
Das 5-Philiosophen-Netz nummeriert die Philosophen (also deren Stellenindizes) von 1 bis 5. Die zugehörigen CTL*-Atome der Aufgabenstellung sind leider von 0 bis 4 nummeriert. Der Konsistenz halber sollte alles von 1 bis 5 nummeriert werden:
PS: Das Aufgabenblatt auf der Webseite wird wohl nicht aktualisiert.
Aufgabe 11.1
Der Index zum Zugriff auf das Array soll von [1…MAX] laufen (statt von [0…MAX]). Damit enthält das Array genau MAX Elemente, und die Grenzbedingungen der push- und pop-Prozesse sind auf dem Blatt fgi2a11a.pdf mit i < MAX und i > 0 korrekt angegeben.
Wer nach meinem Korrekturvorschlag von letzter Woche schon mit der Bereichsuntergrenze 0 und der pop-Bedingung i >= 0 argumentiert hat, darf dabei bleiben. Um die Übungsgruppenleiter nicht zu verwirren, empfiehlt sich aber ein entsprechender Hinweis.
Aufgabe 11.3
Das 5-Philiosophen-Netz nummeriert die Philosophen (also deren Stellenindizes) von 1 bis 5. Die zugehörigen CTL*-Atome der Aufgabenstellung sind leider von 0 bis 4 nummeriert. Der Konsistenz halber sollte alles von 1 bis 5 nummeriert werden:
- Die Menge der Atome ist [latex]AP=\{d_i, g_i, e_i | 1 <= i <= 5\}[/latex].
- Philosoph [latex]Ph_i[/latex] benutzt die Gabeln [latex]g_i[/latex] und [latex]g_{(i \mathrm{ mod } 5) + 1}[/latex].
- Die Bedeutung der Formeln [latex]\phi_4(i)[/latex] und [latex]\phi_5(i)[/latex] ist für die Indizes [latex]i \in \{1,\dots,5\}[/latex] zu beschreiben.
- In [latex]\phi_5(i)[/latex] wird die Modulo-Berechnung ebenfalls angepasst: [latex]\neg g_i \wedge \neg g_{(i \mathrm{ mod } 5) + 1}[/latex].
PS: Das Aufgabenblatt auf der Webseite wird wohl nicht aktualisiert.