Teaching of Discrete Mathematics: Using Functional Languages in Computer Science Courses

摘要

This paper presents an alternative methodology of development for the discipline of Discrete Mathematics offered to courses in the area of computation. It explores the availability of new teaching tools and programming languages. This way, we try to stimulate and provide students with an environment in which they can reach better results in order that it can contribute in the creative and constructive application of their knowledge.