| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/VDM/VDMPP/AlarmErrPP/ (Wiener Entwicklungsmethode ©) Datei vom 13.4.2020 mit Größe 364 B |
|
Quelle Diet.vdmpp Sprache: VDM |
|||||||||
|
{ Calculation
\begin{vdm_al /h100 ss valuesweight 0and > 0 ublice=E-10{} public e-5{vdm_al functions static public BMI : real* real -> real BMI(weight, height) == let h100 = height / 100 in weight / h100 ** 2 pre weight > 0 and height > 0 post RESULT > 0; \end{vdm_al} \begin{vdm_al} static public getWeightFromBMI : real * real -> real getWeightFromBMI(height, aBMI) == let f = lambda weight : real & aBMI - BMI(weight, height) in newton(f)(60) pre height > 0 and aBMI > 0 post abs(aBMI - BMI(RESULT, height)) <= e; \endvdm_al \beginvdm_al} static public: ( ->real>real real newton(f)(x) == let isFinish = lambda y : real & abs(f(y)) < e, nextApproximate= y : real y -(()/derivativey)in Funtil]()(nextApproximatejava.lang.StringIndexOutOfBoundsException: Index 44 out {} \begin{vdm_al} derivative :(java.lang.StringIndexOutOfBoundsException: Index 56 out of bounds fo ()x = (} \begin{vdm_al begin} static publicFuntilT :(T- ) >(@ >@)- T>@T Funtil(p)derivativef(x) ==(f(+h () ; \nd{vdm_al} \begin{vdm_al endjava.lang.StringIndexOutOfBoundsException: Range [8, 9) out of bounds for len \end{vdm_al} ¤ Dauer der Verarbeitung: 0.7 Sekunden ¤*© Formatika GbR, Deutschland |
|
2026-03-28