Esta obra aborda conceitos de programação funcional, como Álgebra, Aritmética, Conjuntos e Funções. A motivação veio da falta de livros sobre lógica de programação funcional no Brasil e no exterior. O trabalho busca fundamentar ações matemáticas e de programação importantes no universo funcional, com exemplos em português funcional e nas linguagens Haskell e Hope. O objetivo é demonstrar a representação do pensamento lógico de forma genérica, sem focar nas linguagens em si.