Algoritmos e inducción

El principio de inducción es un mecanismo que suele presentarse asociado a 
la justificación (o prueba) de algún teorema. Por ejemplo, el probar que 
la suma de los primeros naturales tiene determinado valor, es un ejemplo 
típico de su uso. Sin embargo no es tan popular utilizarlo con un fin 
exploratorio, intentando descubrir resultados interesantes. Esta presentación 
pretende mostrar el uso del principio de inducción en un contexto de 
descubrimiento; el objeto a descubrir se trata, en nuestro caso, de 
algoritmos. A partir de distintos ejemplos pretendemos mostrar cómo el uso 
sistemático de la inducción puede proporcionar una luz diferente para la 
construcción de distintos algoritmos, su corrección, y eventualmente su 
implementación en algún lenguaje de programación.