We have been teaching introductory courses on Functional Programming, as part of the curricula of computer science University studies, for several years. Through our experience we arrived at the conclusion that the origin of most of the difficulties in learning Functional Programming doesn't lie in computer science courses but in the mathematical background of the students: for instance Discret Mathematics. Of course, this means that the problem is much harder to solve, because it is concerned with changes involving not only computer science education but also mathematics education. On the other hand, we are convinced that an integrated work of mathematics and computer science educators will considerably benefit the learning of both subjects.Our proposal mainly consists in formulating a new approach to teach discrete mathematics topics included in High School mathematics curricula, relating them with computer science concepts. This implies, on one hand, to increase the dedication to discrete mathematics in High School curricula, and on the other hand, to introduce a programming language as a formalism to manipulate the objects. We put our proposal into practice, teaching a discrete mathematics course using a programming language (ISETL) to a group of High School mathematics teachers, with encouraging results summarized in the conclusions.

Desde hace algunos años, nuestra actividad como docentes se centra en cursos introductorios de Programación Funcional en carreras universitarias de Ciencia de la Computación. Nuestra experiencia nos ha permitido constatar que la mayoría de las dificultades en el aprendizaje de Programación Funcional, no se encuentra en los cursos de computación, sino en la formación matemática básica de los estudiantes, por ejemplo Matemática Discreta. Por supuesto, esto significa que el problema es más difícil de resolver, porque involucra cambios no sólo en le enseñanza de computación sino también en la de matemática. Nuestra propuesta consiste fundamentalmente en la formulación de un enfoque nuevo para la enseñanza de tópicos de matemática discreta incluidos en el curriculum de los cursos de Secundaria, que los relacione con conceptos de ciencia de la computación. Esto implica, por un lado, el aumento de la dedicación a matemática discreta en la currícula de Secundaria y por otro, la introducción de un lenguaje de programación como un formalismo para manipular los objetos matemáticos. Hemos puesto nuestra propuesta en práctica, dictando un curso de matemática discreta usando el lenguaje de programación ISETL a un grupo de docentes de matemática de Secundaria obteniendo resultados prometedores, como se describe en las conclusiones de este trabajo.