Resultados de la búsqueda

Si consideras que este artículo debería existir y dispones de fuentes fiables, puedes crearlo teniendo en cuenta nuestros pilares y, si quieres, usando nuestro asistente.

• Teoría de la computabilidad
  La teoría de la computabilidad es la parte de la computación que estudia los problemas de decisión que se pueden resolver con un algoritmo o equivalentemente
  20 kB (2879 palabras) - 20:07 7 nov 2020
• Función computable (categoría Computabilidad)
  funciones 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
  4 kB (541 palabras) - 21:43 30 jul 2019
• Turing completo
  completos está bajo el rubro de teoría de la computabilidad. Un importante resultado de la teoría de la computabilidad es que, en general, es imposible saber
  4 kB (545 palabras) - 16:29 22 oct 2019
• Autorreferencia
  que es el valor o número que asociamos a un contenedor (como hace la computabilidad) pero con el añadido de que puede hacérsele operaciones de grupo o similares
  3 kB (335 palabras) - 17:47 19 jul 2020
• Lógica matemática (sección Teoría de la computabilidad)
  modelos, teoría de la demostración, teoría de conjuntos y teoría de la computabilidad. La teoría de la demostración y la teoría de modelos fueron el fundamento
  16 kB (3501 palabras) - 21:18 16 dic 2020
• Conjunto recursivamente enumerable (categoría Computabilidad)
  recursivamente enumerable (r. e.) a un conjunto, dentro de la teoría de la computabilidad, si existe una función computable g(x) que esté definida únicamente
  607 bytes (60 palabras) - 06:26 30 jul 2019
• Hipercomputación
  Turing (MT). La teoría de la hipercomputación rechaza la idea de una computabilidad absoluta, independiente de cualquier teoría lógica, matemática, física
  4 kB (498 palabras) - 05:18 18 feb 2020
• Conjunto recursivo (categoría Computabilidad)
  En teoría de la computabilidad, un conjunto B es recursivo, computable o decidible (recurrente primitivo) cuando su función característica es computable
  1 kB (139 palabras) - 06:26 30 jul 2019
• Clase de complejidad
  entre problemas decidibles e indecidibles es tema de la Teoría de la computabilidad, pero resulta interesante mencionarlos aquí para poner en perspectiva
  7 kB (176 palabras) - 12:38 18 mar 2020
• Modelo de computación
  En la teoría de la computabilidad y en la teoría de la complejidad computacional, un modelo de computación es la definición un conjunto de operaciones
  2 kB (256 palabras) - 13:39 15 jul 2019
• Voto en blanco computable
  difusisión pro computabilidad del voto en blanco y que ayuda voluntariamente a los partidos políticos que lo promueven. Aunque la computabilidad en escaños
  4 kB (514 palabras) - 14:46 16 sep 2020
• Tesis de Church-Turing (categoría Computabilidad)
  En teoría de la computabilidad, la tesis de Church-Turing formula hipotéticamente la equivalencia entre los conceptos de función computable y máquina de
  9 kB (1269 palabras) - 19:45 8 sep 2020
• Martin Davis
  Theoretical Computer Science, un libro de texto sobre la teoría de la computabilidad. También ha escrito el libro La computadora universal, el cual trata
  2 kB (144 palabras) - 00:20 12 abr 2018
• SMN
  honorífico malayo Seri Maharaja Mangku Negara. Teorema smn: un teorema de computabilidad sobre los lenguajes de programación. SMN: Servicio Meteorológico Nacional
  1 kB (85 palabras) - 17:09 9 jun 2018
• Problema de decisión (categoría Computabilidad)
  se dice que el problema es parcialmente decidible. En teoría de la computabilidad, se estudia qué lenguajes son decidibles con diferentes tipos de máquinas
  3 kB (490 palabras) - 10:39 28 jul 2020
• Relación de dependencia
  ISBN 978-84-9717-087-1.  Sancho San Román, Juan (1990). «4». Lógica matemática y computabilidad (1 edición). Ediciones Díaz de Santos. p. 4. ISBN 978-84-8718-953-1
  6 kB (968 palabras) - 22:23 21 jun 2020
• Aridad
  1]​, Juan (1990). «2. Lógica de Primer Orden». Lógica matemática y computabilidad. p. 57. ISBN 9788487189531. Consultado el 21 de junio de 2010.  El nombre
  2 kB (186 palabras) - 19:31 25 dic 2019
• Nir Shavit
  trabajo en herramientas de topología algebraica como aplicación para la computabilidad de modelos de memoria compartida. Ha ejercido además funciones directivas
  2 kB (171 palabras) - 19:10 31 jul 2020
• Richard Karp
  equivalencia de la noción intuitiva de eficiencia logarítmica con la computabilidad en tiempo polinómico y, principalmente, sus contribuciones a la teoría
  5 kB (380 palabras) - 09:50 18 may 2018
• Matemáticas discretas
  se encuentra la teoría de algoritmos para problemas matemáticos. La computabilidad estudia lo que puede ser computado y tiene lazos fuertes con la lógica
  18 kB (2018 palabras) - 14:46 10 ene 2021

Ver (20 previas · 20 siguientes) (20 · 50 · 100 · 250 · 500).