Notas de aula sobre o paradigma de programação funcional