Conjunt recursiu
En la teoria de la computabilitat, un conjunt de nombres naturals s'anomena recursiu, computable o decidible si hi ha un algorisme, que acaba després d'una quantitat finita de temps i que pot decidir si un nombre pertany al conjunt.
Bibliografia
- Rogers, H. The Theory of Recursive Functions and Effective Computability, MIT Press. ISBN 0-262-68052-1; ISBN 0-07-053522-1
- Soare, R. Recursively enumerable sets and degrees. Perspectives in Mathematical Logic. Springer-Verlag, Berlin, 1987. ISBN 3-540-15299-7
Vegeu també
- Conjunt enumerable recursivament
- Conjunt indecidible
