Logo
Unionpedia
Comunicación
Disponible en Google Play
¡Nuevo! ¡Descarga Unionpedia en tu dispositivo Android™!
Gratis
¡Más rápido que el navegador!
 

Entscheidungsproblem y Máquina de Turing

Accesos rápidos: Diferencias, Similitudes, Coeficiente de Similitud Jaccard, Referencias.

Diferencia entre Entscheidungsproblem y Máquina de Turing

Entscheidungsproblem vs. Máquina de Turing

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. Una máquina de Turing es un dispositivo que manipula símbolos sobre una tira de cinta de acuerdo con una tabla de reglas.

Similitudes entre Entscheidungsproblem y Máquina de Turing

Entscheidungsproblem y Máquina de Turing tienen 9 cosas en común (en Unionpedia): Alan Turing, Algoritmo, Alonzo Church, Cálculo lambda, Ciencias de la computación, David Hilbert, Matemáticas, Problema de la parada, Stephen Kleene.

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.

Alan Turing y Entscheidungsproblem · Alan Turing y Máquina de Turing · Ver más »

Algoritmo

En matemáticas, lógica, ciencias de la computación y disciplinas relacionadas, un algoritmo (probablemente del latín tardío algorithmus, y este del árabe clásico ḥisābu lḡubār, que significa «cálculo mediante cifras arábigas») es un conjunto de instrucciones o reglas definidas y no-ambiguas, ordenadas y finitas que permite, típicamente, solucionar un problema, realizar un cómputo, procesar datos y llevar a cabo otras tareas o actividades.

Algoritmo y Entscheidungsproblem · Algoritmo y Máquina de Turing · Ver más »

Alonzo Church

Alonzo Church (14 de junio de 1903 - 11 de agosto de 1995), matemático y lógico estadounidense creador de la base de la computación teórica.

Alonzo Church y Entscheidungsproblem · Alonzo Church y Máquina de Turing · Ver más »

Cálculo lambda

En lógica matemática, el cálculo lambda es un sistema formal diseñado para investigar la definición de función, la noción de aplicación de funciones y la recursión.

Cálculo lambda y Entscheidungsproblem · Cálculo lambda y Máquina de Turing · Ver más »

Ciencias de la computación

Las ciencias de la computación estudian los fundamentos teóricos de la información y el cómputo, junto con técnicas prácticas para la implementación y aplicación de estos fundamentos teóricos.

Ciencias de la computación y Entscheidungsproblem · Ciencias de la computación y Máquina de Turing · Ver más »

David Hilbert

David Hilbert (Königsberg, Prusia Oriental; 23 de enero de 1862-Gotinga, Alemania; 14 de febrero de 1943) fue un matemático alemán, reconocido como uno de los más influyentes del y principios del XX.

David Hilbert y Entscheidungsproblem · David Hilbert y Máquina de Turing · Ver más »

Matemáticas

Las matemáticas, o también la matemática, La palabra «matemáticas» no está en el Diccionario de la Real Academia Española.

Entscheidungsproblem y Matemáticas · Máquina de Turing y Matemáticas · Ver más »

Problema de la parada

El problema de la parada o problema de la detención para máquinas de Turing consiste en lo siguiente: dada una Máquina de Turing M y una palabra w, determinar si M terminará en un número finito de pasos cuando es ejecutada usando w como dato de entrada.

Entscheidungsproblem y Problema de la parada · Máquina de Turing y Problema de la parada · Ver más »

Stephen Kleene

Stephen Cole Kleene (Hartford, Connecticut; 5 de enero de 1909-Madison, Wisconsin; 25 de enero de 1994) fue un lógico y matemático estadounidense.

Entscheidungsproblem y Stephen Kleene · Máquina de Turing y Stephen Kleene · Ver más »

La lista de arriba responde a las siguientes preguntas

Comparación de Entscheidungsproblem y Máquina de Turing

Entscheidungsproblem tiene 29 relaciones, mientras Máquina de Turing tiene 60. Como tienen en común 9, el índice Jaccard es 10.11% = 9 / (29 + 60).

Referencias

En este artículo se encuentra la relación entre Entscheidungsproblem y Máquina de Turing. Si desea acceder a cada artículo del que se extrajo la información visite:

¡Hey! ¡Ahora tenemos Facebook! »