• Objetivos

    • Ver nociones básicas sobre tipos inductivos y entender la vinculación que existe entre definiciones inductivas, esquemas de prueba por inducción y definición de funciones recursivas. 
    • Conocer y analizar la implementación de invocaciones a procedimientos y funciones en los lenguajes de programación, focalizando en algoritmos recursivos.
    • Estudiar esquemas de recursión y adquirir manejo en la programación recursiva.
    • Entender la vinculación entre iteración y recursión, y la eficiencia involucrada.