|
|
||
|---|---|---|
| .. | ||
| solution | ||
| readme.md | ||
readme.md
Vor- und Nachbedingung
📆 Fällig: ---- 📆 Musterlösung
Gegeben Sie die folgende Funktion sqrt. Versehen Sie die Funktion mit einer Vor- und Nachbedingung, um den Aufruf mit ungültigen Werten (n < 0) und auf einen positiven Rückgabewert (>= 0) zu testen.
(defn sqrt [n]
; ---- hier Ihr Code ----
(Math/sqrt n))