Enseñanza de la Recursividad mediante Problemas Combinatorios Equivalentes

Abstract

Se describe una metodología para derivar algoritmos recursivos por cola evitando un razonamiento iterativo. Una evaluación con estudiantes de segundo y tercer curso de ingeniería informática sugiere que su uso puede fortalecer las habilidades para expresar fórmulas matemáticas y lógicas, comprender el concepto de generalización de funciones, aprender a reconocer casos base, descubrir métodos formales de derivación de programas, obtener un mejor entendimiento del paradigma declarativo, y utilizar la recursividad en general. Los alumnos expresaron que la metodología era fácil de aprender y aplicar, más sencilla que otros métodos formales, la describieron como rápida y metódica o mecánica, ya que involucra una serie de pasos bien definidos.