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 B rasil 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 ex emplos de aprendizagem são codificados em português funcional e ilustrados nas linguagens de programação formais Haskell e Hope.O objetivo não é ensinar essas linguagens, mas usá-las apenas como elementos de contextualização para demonstrar de duas f ormas distintas a representação do pensamento lógico expresso em português funcional, com a utilização do mínimo de recursos disponibilizados sem entrar em detalhes técnicos dessas linguagens, propondo o desenvolvimento de soluções de problemas com o raciocínio funcional da forma mais genérica possível.