Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.
Frage zur Klausur vom 19.02.2009 Aufgabe 8b
Hallo Zusammen,
hat noch jemand die Klausur vom 19.02.2009 gemacht und hat eine Lösung für mich zur Aufgabe 8 b) Eigentlich nur: Welche Invariante ist die Richtige?
Danke schonmal im Voraus
Das kannst du durch Ausschluss eigentlich recht leicht hinbekommen.
x > 1 und y <= i gilt schon davor nicht (P := i >= 0)
r = true <=> (i mod 2) == 0 gilt nicht in der Schleife (da ist r nicht definiert)
(x mod 2) = (i mod 2) und y >= 0 gilt (ist auch logisch, in der Schleife wird jeweils 2 abgezogen, also bleibt x mod 2 gleich.
PS: Bitte aendere den Titel so, dass klar ist zu welche Klausur du Fragen hast; das macht das Suchen einfacher.