Diferencia entre revisiones de «Conjunto recursivo»

En [[teoría de la computabilidad]], un '''[[conjunto]]''' ''B'' es '''recursivo''' (recursivo primitivo) cuando su [[función característica de un conjunto| función característica]] es [[función computable|computable]] [[función total|total]] o lo que es lo mismo, es una [[recursión primitiva|función recursiva primitiva]]. Esto significa que la función característica, la cual es un [[predicado (matemáticas)|predicado]], toma valor 1 (''cierto'') para todos los elementos del conjunto y 0 (''falso'') para el resto.