Função recursiva primitiva
De Wikipedia, a enciclopédia encyclopedia
As funções recursivas primitivas são definidas através do uso da recursão primitiva e da Composição como operações centrais.
Este artigo não cita fontes confiáveis. (Janeiro de 2013) |
Na teoria computacional, funções recursivas primitivas são uma classe de funções que formam um importante bloco de construção importante no caminho para chegar à total formalização da computabilidade. Essas funções são de grande importância para a teoria da prova.
Muitas das funções que normalmente são estudadas na teoria dos números, são recursivas primitivas. Por exemplo: adição, divisão, fatorial e exponenciação são todas recursivas primitivas.