Ejercicio 2. Dadas la especificación y la implementación del problema sumarParesHastaN, escribir la precondición y la postcondición del ciclo, ...
Ejercicio 2. Dadas la especificación y la implementación del problema sumarParesHastaN, escribir la precondición y la postcondición del ciclo, y demostrar formalmente su corrección a través del teorema del invariante.
Preguntas Generales
Esta pregunta también está en el material:
¿Sabes cómo responder a esa pregunta?
¡Crea una cuenta y ayuda a otros compartiendo tus conocimientos!
✏️ Responder
Para escribir su respuesta aquí, Ingresar o Crear una cuenta
Otros materiales
Compartir