Resultados de la búsqueda

computabilidad, la recursión global es una técnica para definir funciones aritméticas por recursión . En una definición de una función f por recursión global, el…

La teoría de la computabilidad o teoría de la recursión es la parte de la computación que estudia los problemas de decisión que se pueden resolver con…

La recursión o recursividad es la posibilidad que tiene un cierto tipo de unidad o proceso de contenerse o aplicarse a sí mismo indefinidamente. La recursión…

En teoría de la computabilidad, la recursión primitiva permite definir una clase de funciones que forman un importante paso en la formalización de la…

registro).  Herbert B. Enderton (2011). Computability Theory: An Introduction to Recursion Theory. Academic Press. ISBN 978-0-12-384958-8.  Herbert B.…

Feng; Edward Witten (2005). «Direct Proof of Tree-Level Recursion Relation in Yang-Mills Theory». Physical Review Letters 94 (18). Bibcode:2005PhRvL..94r1602B…

aplicadas a los números ordinales. Cada operación puede definirse bien por recursión transfinita, bien definiendo los conjuntos bien ordenados que las representan…

Raymond Smullyan (1961) Theory of Formal Systems (1968) First-Order Logic (1992) Gödel's Incompleteness Theorems (1993) Recursion Theory for Metamathematics…

asociado a muchas teoría matemáticas, como por ejemplo la aritmética con recursión transfinita. A veces se califica al ordinal de Feferman-Schütte como el…

llamado aritmético. La jerarquía aritmética es importante en la teoría de recursión, teoría de conjunto descriptivos eficientes, y el estudio de teorías formales…

dado. Proporcionan un marco general para describir la inducción y la recursión. Considérese por ejemplo el endofuntor 1+(−){\displaystyle 1+(-)} en la…

Decidibilidad Lenguaje recursivamente enumerable Recursión Michael Sipser (1997). «Decidability». Introduction to the Theory of Computation. PWS Publishing. pp. 151–170…

de miembros, etc. A cada conjunto de esta jerarquía se le asigna (por recursión transfinita) un número ordinal a l p h a {\displaystyle alpha} , conocido…

todos los conjuntos computablemente enumerables es RE. En la teoría de la recursión, el retículo de conjuntos c.e. bajo inclusión se denota E {\displaystyle…

de Kolmogorov en la teoría de las funciones recursivas (ver también µ-recursion cálculo lambda y el trabajo relacionado de Kurt Gödel), limita las aplicaciones…

WC Price, SS Chissick, TA Brody - American Journal of Physics, 1979. Recursion Relations for the Wigner Coefficients of Unitary Groups. TA Brody - Journal…

un ordinal límite. Una aplicación importante de este principio es la recursión transfinita, que permite definir una función sobre los ordinales, especificando…

Timeline. Discovery Channel UK website, 2012. Ivanov, L.L. Algebraic Recursion Theory. Chichester, West Sussex: Ellis Horwood; and New York: John Wiley &…

programación Algol 60 en donde se introdujo por primera vez la noción de recursión.[2]​ Empezó su carrera como un astrónomo, pero su encuentro con las computadoras…

tipado con productos, coproductos, números naturales (Sistema T) o incluso recursión (como en el lenguaje PCF). En contraste, los sistemas que introducen tipos…