Existen tres razones para que la enumeración de árboles sea analizada: Primero, porque la teoría de grafos constituye el desarrollo más importante que ha tenido la combinatoria desde 1920, segundo, los grafos en general, sirven como modelos abstractos para explicar una gran variedad de relaciones entre objetos del mundo real y su estructura algorítmica; tercero, porque los árboles constituyen la estructura más importante en aplicaciones computacionales y su taxonomía influye en la asignación y análisis de recursos en dichas aplicaciones. EL objetivo de esta tesis es analizar las estructuras arborescentes mediante su enumeración para conocer el número, tipo y el comportamiento de estas estructuras con el fin de incursionar en otras disciplinas que se benefician del enfoque informático. Con este propósito se hace un estudio del origen del concepto de árbol y se analiza la relación del modelo matemático con la representación computacional dentro de un paradigma funcional.