Este documento introduce el concepto de recursividad en programación. Explica que la recursividad permite definir una función en términos de sí misma para resolver un problema. Describe cómo diseñar algoritmos recursivos mediante la identificación de casos base y casos generales, y cómo ejecutarlos mediante trazas recursivas. Proporciona varios ejemplos de funciones recursivas como el cálculo factorial, la suma de elementos de un vector y la búsqueda binaria.