Kapitel 3 - Algorithmen und Methoden

Vorbedingung - Nachbedingung
� Probleme können über ein Paar {P} {Q} formal spezifiziert werden
Praktische Informatik I
04.11.2003
– P (Vorbedingung):
alle relevanten Eigenschaften, die anfangs gelten
– Q (Nachbedingung):
alle relevanten Eigenschaften, die am Ende gelten sollen
– P und Q können als Funktionen aufgefasst werden, die nur zwei Werte
(„wahr“ und „falsch“) als Resultat zulassen.
Beispiel (ggt):
� P: M und N sind ganze Zahlen mit M > 0 und N > 0.
� Q: das Ergebnis z aus den ganzen Zahlen mit z > 0 erfüllt folgende
Bedingungen:
– z ist Teiler von M
– z ist Teiler von N
– für jede ganze Zahl y, die N und M teilt, gilt y ≤ z
© Prof. Dr. Andreas Henrich, Universität Bayreuth und Prof. Dr. Bernhard Seeger, Universität Marburg
74