Teoría y Corrección de Algoritmos

Conceptos fundamentales sobre algoritmos, sus principios de diseño, garantías de corrección y limitaciones teóricas en la resolución de problemas.