15 relaciones: Alan Turing, Argumento de la diagonal de Cantor, Bicondicional, Bucle infinito, Cambridge University Press, Compilador, Constante de Chaitin, Correctitud, Crash (informática), Entscheidungsproblem, Heurística, Máquina de Turing, Paradoja, Subrutina, Teoremas de incompletitud de Gödel.
Alan Turing
Alan Mathison Turing (Paddington, Londres; 23 de junio de 1912-Wilmslow, Cheshire; 7 de junio de 1954) fue un matemático, lógico, informático teórico, criptógrafo, filósofo y biólogo teórico británico.
¡Nuevo!!: Problema de la parada y Alan Turing · Ver más »
Argumento de la diagonal de Cantor
El argumento de la diagonal de Cantor, también conocido como método de la diagonal, es una argumentación o demostración matemática vislumbrada por Georg Cantor hacia 1891 para demostrar que el conjunto de los números reales no es numerable.
¡Nuevo!!: Problema de la parada y Argumento de la diagonal de Cantor · Ver más »
Bicondicional
En algunos contextos en matemáticas y lógica, un bicondicional (equivalencia o doble implicación, en ocasiones abreviado en español como si y solo si) es un operador lógico binario, es decir, una función \leftrightarrow: B \times B \rightarrow B, siendo B cualquier conjunto con |B|.
¡Nuevo!!: Problema de la parada y Bicondicional · Ver más »
Bucle infinito
Bucle infinito en programación es un error que consiste en realizar un ciclo que se repite de forma indefinida ya que su condición para finalizar nunca se cumple.
¡Nuevo!!: Problema de la parada y Bucle infinito · Ver más »
Cambridge University Press
Cambridge University Press (conocida en inglés coloquialmente como CUP) es una editorial que recibió su Royal Charter de la mano de Enrique VIII en 1534, y es considerada una de las dos editoriales privilegiadas de Inglaterra (la otra es la Oxford University Press).
¡Nuevo!!: Problema de la parada y Cambridge University Press · Ver más »
Compilador
En informática, un compilador es un programa que traduce código escrito en un lenguaje de programación (llamado fuente) a otro lenguaje (conocido como objeto).
¡Nuevo!!: Problema de la parada y Compilador · Ver más »
Constante de Chaitin
La constante de Chaitin (o número omega de Chaitin o probabilidad de parada) es la probabilidad de que un programa elegido al azar detenga correctamente una máquina de Turing determinada.
¡Nuevo!!: Problema de la parada y Constante de Chaitin · Ver más »
Correctitud
En teoría de la computación, la corrección de un algoritmo, también llamada correctitud (como adaptación de la palabra inglesa correctness), corresponde a una propiedad que distingue a un algoritmo de un procedimiento efectivo.
¡Nuevo!!: Problema de la parada y Correctitud · Ver más »
Crash (informática)
En informática, un crash es la condición en la cual una aplicación informática, ya sea un programa o parte o la totalidad del sistema operativo dejan de funcionar de la forma inesperada y dejan de responder a otras partes del sistema.
¡Nuevo!!: Problema de la parada y Crash (informática) · Ver más »
Entscheidungsproblem
En ciencias de la computación y matemáticas, el Entscheidungsproblem (en español: problema de decisión) fue el reto en lógica simbólica de encontrar un algoritmo general que decidiese si una fórmula del cálculo de primer orden es un teorema.
¡Nuevo!!: Problema de la parada y Entscheidungsproblem · Ver más »
Heurística
La heurística (del griego εὑρίσκειν), que significa «hallar, inventar» (el pretérito perfecto de este verbo es eureka), aparece en más de una categoría gramatical.
¡Nuevo!!: Problema de la parada y Heurística · Ver más »
Máquina de Turing
Una máquina de Turing es un dispositivo que manipula símbolos sobre una tira de cinta de acuerdo con una tabla de reglas.
¡Nuevo!!: Problema de la parada y Máquina de Turing · Ver más »
Paradoja
Una paradoja (del latín paradoxa, ‘lo contrario a la opinión común’) o antilogía es una idea lógicamente contradictoria u opuesta a lo que se considera verdadero a la opinión general.
¡Nuevo!!: Problema de la parada y Paradoja · Ver más »
Subrutina
En informática, una subrutina o subprograma (también llamada procedimiento, función, rutina o método), como idea general, se presenta como un subalgoritmo que forma parte del algoritmo principal, el cual permite resolver una tarea específica.
¡Nuevo!!: Problema de la parada y Subrutina · Ver más »
Teoremas de incompletitud de Gödel
Los teoremas de incompletitud de Gödel son dos célebres teoremas de lógica matemática demostrados por Kurt Gödel en 1931.
¡Nuevo!!: Problema de la parada y Teoremas de incompletitud de Gödel · Ver más »
Redirecciona aquí:
Problema de la detencion, Problema de la detención, Problema de parada.