10 lines
361 B
Markdown
10 lines
361 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))
|
|
``` |