Turmas - 1º Semestre de 2026Richard Bird elaborou um formalismo para tratar a recursão por meio de esquemas de definição estruturada, tomando como base o resultado clássico da teoria da computabilidade de que a classe das funções recursivas coincide com a das funções computáveis. Essa equivalência, originalmente estabelecida por Church, Turing e Kleene, sustenta seu método de derivação e cálculo de programas, amplamente utilizado no paradigma funcional. Implemente um conjunto de funções recursivas, conforme o formalismo de Bird, que apresente o valor da constante matemática e utilizando a série 1/0! + 1/1! + 1/2! + 1/3! + ... + 1/n!. O valor de n será um número natural não negativo (n ≥ 0). Por exemplo, caso o valor de n seja 5, a resposta deverá ser 2,716667, ou seja, 1/0! + 1/1! + 1/2! + 1/3! + 1/4! + 1/5!.
fatorial = λn.(n < 2 → 1, n * fatorial(n - 1))
constante = λn.(n < 0 → -1, (n < 1 → 1, 1 / fatorial(n) + constante(n - 1)))
Ybadoo - Soluções em Software Livre • Copyright 2009/2026 • 