Schwächste Vorbedingung < Sonstiges < Hochschule < Informatik < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 20:16 Mi 05.03.2014 | | Autor: | Syny |
| Aufgabe | Gegeben sei die folgende Anweisung S:
IF x > y - 5 THEN x := y - 4; y := y + 1 END
mit der Nachbedingung Q [mm] \equiv [/mm] x = y-5. Bestimmen Sie die schwächste Vorbedingung (wp), so dass die Anweisung korrekt ist. |
Hallo Leute,
ich bin mir nicht im klaren wie ich die schwächste Vorbedingung bestimmen soll. Ich weiß zwar mittlerweile das sie die Vorbedingung ist, die durch alle anderen Vorbedingungen die gelten impliziert wird, aber wie ich diese genau bestimme ist mir ein Rätsel.
Hoffe mir kann da jemand helfen, ich weiß da ist nicht viel von einem eigenen Lösungsansatz aber wäre nett wenn mir trotzdem jemand einen Tipp geben könnte.
Mfg Syny
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 20:20 Fr 07.03.2014 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
