Lógica y Matemática Discreta - Inducción y Recursividad (III)

En este vídeo cubrimos las funciones recursivas. Se define qué es una función recursiva, la regla básica y la regla recursiva, y los árboles de dependencia. También se habla de expresiones recursivas y correspondencias recursivas. Se presenta el concepto de función recursiva bien definida y se hacen varios ejemplos de esto. Se relaciona el árbol de dependencia con las funciones recursivas bien definidas. Se usa la inducción fuerte para probar que expresiones recursivas son funciones recursivas bien definidas.