SeminarioMatematicas

De Elaulayeltrabajo
Revisión a fecha de 06:17 28 mar 2012; Mara (Discusión | contribuciones)

(dif) ← Revisión anterior | Revisión actual (dif) | Revisión siguiente → (dif)
Saltar a: navegación, buscar

Título: Algoritmos e inducción

Expone: Luis Sierra. Universidad de La República, Uruguay. http://www.fing.edu.uy/~sierra/

Resumen

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.



Diapositivas de la charla de luis sierra