Ver el código de «Práctica 4: Especificación de Problemas (Algoritmos I)»

===Ejercicio 1===
'''Las siguientes especificaciones no son correctas. Indicar por qué y corregirlas para que describan correctamente el problema.'''<br><br>

I) problema arcoSeno(x, ε : R) = res : R{ <br>
      requiere : ε > 0; <br>
      asegura : | sin(res) − x| ≤ ε; <br>
}
<br>
II)<br>
III)<br>
IV)<br>
V)<br>
VI)<br>