| Enlace | Ir a recurso |
| Descripción | Técnica del invariante de ciclo - Diseño y demostración de un algoritmo iterativo mediante la técnica del invariante de ciclo. |
| Tipo | Video |
| Palabras Clave | algoritmo, análisis de código, correctez, diseño recursivo, funciones y recursión, inducción, invariante, invariante de 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 |