Enseñanza de la Recursividad mediante Problemas Combinatorios Equivalentes.

Resumen basado en el de la publicación

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.