função recursiva primitiva
Sign in to saveAlso known as primitive recursion
function that can be computed with loops of bounded length
Article · Português
As funções recursivas primitivas são definidas através do uso da recursão primitiva e da Composição como operações centrais. 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.
Abstract from DBpedia / Wikipedia · CC BY-SA
Connections
Peano axioms
Entity
μ-recursive function
Entity
recursively enumerable set
Entity
semantic theory of truth
Entity
mathematical logic
Entity
Dennis M. Ritchie
Entity
Gödel's incompleteness theorems
Entity
logical disjunction
Entity
first-order logic
Entity
formal system
Entity
Turing completeness
Entity
consistency
Entity
program loop
Entity
partial function
Entity
recursive set
Entity
Gödel numbering
Entity
semantics of logic
Entity
structure
Entity
μ operator
Entity
diagram
Entity