Objetivos

1. Hacer un repaso de notación asintótica
2. Estudiar las invariantes de ciclo
   1. Idea iterativa de programas
   2. Estados que representan un programa
   3. Transformación de estados
   4. Invariante como condición permanente en el programa
   5. Demostración que un programa iterativo es correcto

Clase

1. Repaso de notación asintótica
2. Invariantes de ciclo