Resultados de la búsqueda

Resultados por título de página

• Teoría de la computabilidad
  …una [[máquina de Turing]]. Las preguntas fundamentales de la teoría de la computabilidad son: La Teoría de la Computabilidad es el estudio matemático de los modelos de computación. Como tal estudio te …
  30 kB (4612 palabras) - 08:33 12 jun 2024

Resultados por texto de página

• Recursión global
  En [[Teoría de la computabilidad|la teoría de la computabilidad]], '''la recursión global''' es una técnica para definir [[Función aritméti [[Categoría:Computabilidad]] …
  3 kB (589 palabras) - 10:12 8 ene 2025
• Constante de Chaitin
  * Esta constante no es [[teoría de la computabilidad|computable]]. Es posible conocer u obtener los primeros dígitos, pero a par *[[Teoría de la computabilidad]] …
  4 kB (603 palabras) - 19:44 5 nov 2024
• Conjunto recursivo
  En la [[teoría de la computabilidad]], un [[conjunto]] de [[Número natural|números naturales]] se llama '''comp [[Categoría:Computabilidad]] …
  4 kB (581 palabras) - 02:52 19 mar 2024
• Relación de dependencia
  …ro |apellidos= Sancho San Román |nombre= Juan |título= Lógica matemática y computabilidad |edición= 1 |año= 1990 |editorial= Ediciones Díaz de Santos |isbn= 978-84-8 …ro |apellidos= Sancho San Román |nombre= Juan |título= Lógica matemática y computabilidad |edición= 1 |año= 1990 |editorial= Ediciones Díaz de Santos |isbn= 978-84-8 …
  6 kB (1036 palabras) - 03:51 4 may 2023
• Cadena de Ehrenfest
  [[Categoría:Computabilidad]] …
  2 kB (297 palabras) - 03:58 3 feb 2023
• Sucesión de Specker
  En [[teoría de la computabilidad]], una '''sucesión de Specker''' es una [[sucesión monótonamente creciente] …lmente de la demostración de libro de texto (véase Simpson, 1999) de la no computabilidad del principio supremo en el límite inferior superior. …
  5 kB (894 palabras) - 10:30 7 dic 2022
• Función computable
  …ciones computables''' son el objeto básico de estudio de la [[teoría de la computabilidad]] y son, específicamente, las funciones que pueden ser calculadas por una… Las funciones computables se utilizan para hablar de computabilidad sin hacer referencia a ningún [[modelo de computación]] concreto, como las …
  20 kB (3180 palabras) - 20:08 14 ene 2025
• Teoría de los problemas
  …ttp://decsai.ugr.es/~castro/MCII/Computability.html Sobre la "Teoría de la Computabilidad"]'', sitio digital 'Decsai.ugr'.</ref> …na función, llevan a temáticas tales como [[Complejidad]] y [[Teoría de la computabilidad]]. …
  11 kB (1795 palabras) - 10:27 7 dic 2023
• Hipercomputación
  …en la historia de la teoría de la computabilidad (grados de insolubilidad, computabilidad sobre funciones, números reales y ordinales), como también se ha mencionado * [[Teoría de la computabilidad]] …
  9 kB (1329 palabras) - 09:10 14 sep 2024
• Conjunto recursivamente enumerable
  En [[teoría de la computabilidad]], un conjunto ''S'' de [[Número natural|números naturales]] se denomina '' [[Categoría:Computabilidad]] …
  9 kB (1417 palabras) - 05:14 21 nov 2024
• EXPTIME
  En [[teoría de la computabilidad]], uno de los problemas básicos no decidibles es el de decidir si una máqui …
  4 kB (670 palabras) - 10:30 20 ago 2024
• Turmite
  …e se vale de una cinta bidimensional, haciendo alusión a la [[Teoría de la computabilidad]], un Turmite tiene el mismo poder que una máquina de Turing determinista; …
  4 kB (731 palabras) - 07:28 9 feb 2024
• Teoría de la computación
  …chael O. | author-link = Michael O. Rabin | title = Turing, Church, Gödel, Computabilidad, Complejidad y Aleatorización: A Personal View | date = June 2012 | url =… === Teoría de la computabilidad === …
  20 kB (3108 palabras) - 02:22 8 mar 2025
• Función de Ackermann
  …s de interés para la [[ciencia computacional teórica]] y la [[teoría de la computabilidad]]. Hoy en día hay una serie de funciones que son llamadas funciones de Acke [[Categoría:Computabilidad]] …
  11 kB (1740 palabras) - 15:37 26 ago 2024
• Lema diagonal
  …relacionado con el [[teorema de recursión de Kleene]] en la [[teoría de la computabilidad]], y sus respectivas demostraciones son similares. * [[George Boolos]] y [[ Richard Jeffrey]], 1989. ''Computabilidad y Lógica'', 3ª ed. Prensa de la Universidad de Cambridge. {{ISBN|0-521-3802 …
  11 kB (1778 palabras) - 01:42 11 jul 2024
• Forma normal (reescritura abstracta)
  [[Categoría:Computabilidad]] …
  6 kB (969 palabras) - 21:32 17 jul 2019
• ELEMENTARY
  [[Categoría:Computabilidad]] …
  6 kB (889 palabras) - 21:45 29 ene 2024
• Numeración de Gödel
  [[Categoría:Computabilidad]] …
  6 kB (957 palabras) - 08:13 8 sep 2024
• Problema computacional
  [[Categoría:Computabilidad]] …
  6 kB (1101 palabras) - 14:20 5 dic 2023
• Número normal
  …o en construir explícitamente un número normal en 1917. Un número normal [[computabilidad|calculable]] fue construido por [[Verónica Becher]] y [[Santiago Figueira]] …
  6 kB (826 palabras) - 00:04 30 may 2024