Correctez en programas recursivos, Correctez de un algoritmo recursivo - [Detalles]

Correctez de un algoritmo recursivo - Cómo realizar el análisis de correctez mediante inducción matemática siguiendo el principio del buen orden.

Correctez en programas recursivos, Correctez de un algoritmo iterativo - [Detalles]

Correctez de un algoritmo iterativo - Seguimiento de la técnica del invariante del ciclo y demostración de correctez en un algoritmo iterativo.

Correctez, Gráficas de flujo - [Detalles]

Gráficas de flujo - Qué son y cómo utilizarlo para analizar código de alto nivel

Correctez, Pruebas unitarias - [Detalles]

Pruebas unitarias - Cómo realizar las pruebas unitarias a partir de gráficas de flujo.

Correctez en programas recursivos, Diseño Recursivo - [Detalles]

Diseño Recursivo - Introducción al diseño recursivo; conceptos generales y presentación de los algoritmos recursivos e iterativos.

Correctez en programas recursivos, Técnica del invariante de ciclo - [Detalles]

Técnica del invariante de ciclo - Diseño y demostración de un algoritmo iterativo mediante la técnica del invariante de ciclo.