Similitudes entre Máquina de Turing y Tesis de Church-Turing
Máquina de Turing y Tesis de Church-Turing tienen 11 cosas en común (en Unionpedia): Alan Turing, Algoritmo, Alonzo Church, Cálculo lambda, David Hilbert, Entscheidungsproblem, Jerarquía de Chomsky, Juego de la vida, Lenguaje formal, P (clase de complejidad), Teoría de la complejidad computacional.
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 Máquina de Turing · Alan Turing y Tesis de Church-Turing ·
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 Máquina de Turing · Algoritmo y Tesis de Church-Turing ·
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 Máquina de Turing · Alonzo Church y Tesis de Church-Turing ·
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 Máquina de Turing · Cálculo lambda y Tesis de Church-Turing ·
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 Máquina de Turing · David Hilbert y Tesis de Church-Turing ·
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.
Entscheidungsproblem y Máquina de Turing · Entscheidungsproblem y Tesis de Church-Turing ·
Jerarquía de Chomsky
En lingüística la jerarquía de Chomsky (ocasionalmente también llamada la jerarquía de Chomsky–Schützenberger) es una clasificación jerárquica de distintos tipos de gramáticas formales que generan lenguajes formales.
Jerarquía de Chomsky y Máquina de Turing · Jerarquía de Chomsky y Tesis de Church-Turing ·
Juego de la vida
El Juego de la vida es un autómata celular diseñado por el matemático británico John Horton Conway en 1970.
Juego de la vida y Máquina de Turing · Juego de la vida y Tesis de Church-Turing ·
Lenguaje formal
En matemáticas, lógica y ciencias de la computación, un lenguaje formal es un lenguaje cuyos símbolos son primitivos y las reglas para unir esos símbolos están formalmente especificadas.
Lenguaje formal y Máquina de Turing · Lenguaje formal y Tesis de Church-Turing ·
P (clase de complejidad)
En computación, cuando el tiempo de ejecución de un algoritmo (mediante el cual se obtiene una solución al problema) es menor o igual que un cierto valor calculado a partir del número de variables implicadas (generalmente variables de entrada) usando una fórmula polinómica, se dice que dicho problema se puede resolver en un tiempo polinómico o polinomial P. La tesis de Cobham postula que la clase P es la que tiene los problemas tratables más grandes, es decir, los problemas de gran tamaño que se pueden calcular de forma eficiente con un ordenador.
Máquina de Turing y P (clase de complejidad) · P (clase de complejidad) y Tesis de Church-Turing ·
Teoría de la complejidad computacional
La teoría de la complejidad computacional o teoría de la complejidad informática es una rama de la teoría de la computación que se centra en la clasificación de los problemas computacionales de acuerdo con su dificultad inherente, y en la relación entre dichas clases de complejidad.
Máquina de Turing y Teoría de la complejidad computacional · Teoría de la complejidad computacional y Tesis de Church-Turing ·
La lista de arriba responde a las siguientes preguntas
- En qué se parecen Máquina de Turing y Tesis de Church-Turing
- Qué tienen en común Máquina de Turing y Tesis de Church-Turing
- Semejanzas entre Máquina de Turing y Tesis de Church-Turing
Comparación de Máquina de Turing y Tesis de Church-Turing
Máquina de Turing tiene 60 relaciones, mientras Tesis de Church-Turing tiene 24. Como tienen en común 11, el índice Jaccard es 13.10% = 11 / (60 + 24).
Referencias
En este artículo se encuentra la relación entre Máquina de Turing y Tesis de Church-Turing. Si desea acceder a cada artículo del que se extrajo la información visite: