Objetivos

1. APlicar las invariantes de ciclo en varios ejercicios
2. Entender el método de verificación de correctitud de un algoritmo

Resumen

1. Identificar la forma del estado: tupla
2. Identificar estado inicial
3. Identificar transformación de estados
4. Identificar estado final
5. Identificar la invariante de ciclo
6. Demostración
   1. ¿La invariante mapea el estado inicial?
   2. ¿La invariante mapea el estado final?
   3. La invariante es consistente con la transformación de datos: Que se conserva
   4. ¿El algoritmo termina?

Temas

1. Ejercicios invariantes