FUN: una herramienta didáctica para la derivación de programas funcionales

Abstract

En este trabajo se describe la utilización de una herramienta desarrollada para la enseñanza de lógica y programación. En la sección 2 se presentan el contexto de utilización de la herramienta y se aborda la perspectiva didáctica; en la sección 3 se describen los conceptos básicos a enseñar con esta herramienta. En la sección 4 se describe la utilización de la herramienta con ejemplos. En la sección 5 cerramos con las conclusiones de nuestro trabajo.