La teoria de les funcions recursives va ser desenvolupada pel el noruec del segle XX Thoralf Albert Skolem, pioner de la metalògica, com a mitjà per evitar les anomenades paradoxes de l'infinit que sorgeixen en determinats contextos quan "tot" s'aplica a funcions que abasten infinites classes; ho fa especificant el …
Què és la funció recursiva?
Pàgina 1. Definicions recursives de funcions. Funcions enteres recursives. Intuïtivament, una funció recursiva f és una la sortida de la qual es pot definir per a una entrada donada equiparant la seva sortida associada a una expressió que inclogui els valors de sortida de f per a entrades de mida més petita.
Què és la teoria de la computabilitat en informàtica?
La teoria de la computabilitat, també coneguda com a teoria de la recursivitat, és una branca de la lògica matemàtica, la informàtica i la teoria de la computació que es va originar als anys 30 amb l'estudi de les funcions computables i graus de Turing.
Quin és el concepte de recursivitat?
La recursència és el procés de repetició d'elements d'una manera autosimilar. En llenguatges de programació, si un programa us permet cridar una funció dins de la mateixa funció, s'anomena crida recursiva de la funció.
Què és la funció recursiva en teoria de la computació?
Les funcions μ-recursives (o funcions recursives generals) són funcions parcials que prenen tuples finites de nombres naturals iretorna un únic nombre natural. Són la classe més petita de funcions parcials que inclou les funcions inicials i està tancada sota composició, recursivitat primitiva i l'operador μ.