| Enlace | Ir a recurso |
| Descripción | Correctez de un algoritmo iterativo - Seguimiento de la técnica del invariante del ciclo y demostración de correctez en un algoritmo iterativo. |
| Tipo | Video |
| Palabras Clave | algoritmo, análisis de código, correctez, diseño recursivo, funciones y recursión, inducción, invariante del ciclo, iterativo, recursivo, recursión |
| Asignatura | Introducción a Ciencias de la Computación |
| Tema | Datos estructurados |
| Subtema | Funciones y recursión |
| Categoría | None |
| Autor | Mauricio Rojas Jarillo |