10 lines
363 B
Markdown
10 lines
363 B
Markdown
|
## Vor- und Nachbedingung
|
||
|
|
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.
|
||
|
|
📆 **Fällig: ----** 📆 [Musterlösung](solution/)
|
||
|
|
|
||
|
|
|
||
|
|
```clojure
|
||
|
|
(defn sqrt [n]
|
||
|
|
; ---- hier Ihr Code ----
|
||
|
|
(Math/sqrt n))
|
||
|
|
```
|