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.O objetivo não é ensinar essas linguagens, mas usá-las apenas como elementos de contextualização para demonstrar de duas formas 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.
Desde 1988 a Livraria Livros & Livros têm sido um ponto de cultura na Ilha de Santa Catarina. Nosso acervo está voltado principalmente para o público acadêmico, sobretudo nas áreas de literatura e ciências humanas.