smits
/
clojure-uebungen
2
3
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
clojure-uebungen/Assignment_009/readme.md

362 B
Raw Permalink Blame History

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))