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.
Homología celular - característica de Euler - [Detalles]
En este video definimos la característica de Euler de un complejo CW finito. Luego, demostramos que la característica de Euler es un invariante homotópico.
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.