This flashcard is just one of a free flashcard set. See all flashcards!
89
87. Wie würden Sie eine Funktion in Z als Operationsschema spezifizieren? Wie würde die Bedingung lauten, wenn die Methode die Wurzel aus x berechnet? Spezifizieren Sie die Wurzelfunktion in Z (auch so, dass das Wurzelzeichen nicht bekannt sein muss)!
1. Spezifikation
* Die Oberflächensignatur der Funktion muss im Deklarationsteil des Schemas stehen und
* die Semantik der Funktion im Bedingungsteil.
2. Bedingung für eine Wurzel-Funktion
* Die Bedingung für die Wurzel von x würde lauten, dass x größer oder gleich Null sein muss.
3. Spezifiaktion der Wurzelfunktion in Z:
|—sqrt ————————
| x? : R
| z! : R
|——————————————
| x? >= 0
| z! ^ 2 = x
|——————————————
* Die Oberflächensignatur der Funktion muss im Deklarationsteil des Schemas stehen und
* die Semantik der Funktion im Bedingungsteil.
2. Bedingung für eine Wurzel-Funktion
* Die Bedingung für die Wurzel von x würde lauten, dass x größer oder gleich Null sein muss.
3. Spezifiaktion der Wurzelfunktion in Z:
|—sqrt ————————
| x? : R
| z! : R
|——————————————
| x? >= 0
| z! ^ 2 = x
|——————————————
