prob065

No Title

Dado el siguiente fragmento de código, hallar la precondición más débil:

$\begin{algorithmbox}\precond{\ ?}\\ \par\abrir\IF{z<1}{z:=z^2} \\ \par\ELSE{z:=z+2} \\ \par\cerrar\FI \\ \par\postcond{z>0}\end{algorithmbox}$

Puedes consultar la solución .