Una definición recursiva (o definición inductiva) en lógica matemática y ciencias de la computación se utiliza para definir los elementos de un conjunto...

función recursiva parcial. El operador de búsqueda no acotada no puede ser definido usando las reglas de definición de las funciones primitivas recursivas, dado...

f(2), f(3), f(4)... tendremos que aplicar la definición recursiva por lo tanto: f(0) = 3. Por definición f(1) = 2*f(0)+3 = 2*3+3 = 9. f(2) = 2*f(1)+3...

extender a productos cartesianos n-arios, sacando provecho de la definición recursiva de ellos ∏ i = 1 1 A i := A 1 {\displaystyle \prod _{i=1}^{1}A_{i}:=A_{1}}...

una función que sea recursiva pero que no se pueda definir con recursión primitiva. La variable o argumento de una función recursiva primitiva es un número...

en términos de una función recursiva (sin tener que utilizar una iteración pura); a la inversa, cualquier función recursiva puede expresarse en términos...

sub-árboles. Esta definición mutuamente recursiva se puede convertir a una definición recursiva individual al incrustar la definición de conjunto de árboles:...

Otros ejemplos de funciones y sucesiones matemáticas definidas de forma recursiva son: Sucesión de Fibonacci — f(0)= 1, f(1) = 1; f(n) = f(n-1) + f(n-2)...

Fibonacci. También existe otro teorema de Carmichael aplicado a la definición recursiva de la función de Carmichael. El teorema de Carmichael, nombrado así...

(función recursiva primitiva). La demostración de este teorema se lleva a cabo por reducción al absurdo y utilizando el lema de que toda función recursiva primitiva...

bien formada generada solamente mediante la primera cláusula de la definición recursiva. Por ejemplo, considérese la fórmula compleja: ∀x [R(a,x) ∨ ¬P(f(a))]...