Resultats de la cerca
Es mostren 2 resultats
conjunt recursivament enumerable
Matemàtiques
Conjunt X
quan és la imatge d’una funció recursiva; és a dir, si X
= Im f
, a on f
és una funció recursiva o computable.
Dit més informalment, un conjunt X és recursivament enumerable si hi ha un algorisme que construeix el conjunt element a element
conjunt recursiu
Matemàtiques
Conjunt X
en la seva funció característica 1 x
és recursiva o computable.
Dit més informalment, un conjunt X és recursiu quan existeix un algorisme que permet de decidir la resposta a la pregunta ' x ∈ X'