Esta obra mostra conceitos relacionados à programação funcional: Álgebra, Aritmética, Conjuntos e Funções.A motivação para o desenvolvimento deste trabalho veio da aparente ausência de livros voltados ao estudo da lógica de programação funcional no Brasil e de poucos outros que tratam de maneira independente o assunto no exterior.São facilmente encontradas obras que tratam as linguagens funcionais em si, mas a apresentação da parte lógica e seu detalhamento operacional de um foco genérico sem a influência direta de uma linguagem não são disponibilizados. Aparentemente pequeno, com quatro capítulos, este trabalho busca fundamentar dentro de seu escopo diversas ações matemáticas e de programação importantes dentro do universo funcional. Os exemplos de aprendizagem são codificados em português funcional e ilustrados nas linguagens de programação formais Haskell e Hope.