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

Ciencias de la computación y Tesis de Church-Turing

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

Diferencia entre Ciencias de la computación y Tesis de Church-Turing

Ciencias de la computación vs. Tesis de Church-Turing

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. 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 Turing, que expresado en lenguaje corriente vendría a ser "todo algoritmo es equivalente a una máquina de Turing".

Similitudes entre Ciencias de la computación y Tesis de Church-Turing

Ciencias de la computación y Tesis de Church-Turing tienen 10 cosas en común (en Unionpedia): Alan Turing, Algoritmo, Alonzo Church, Cálculo lambda, Computación cuántica, Lenguaje formal, Máquina de Turing, Princeton University Press, Teoría de la complejidad computacional, Teoría de la computabilidad.

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 Ciencias de la computación · Alan Turing y Tesis de Church-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 Ciencias de la computación · Algoritmo y Tesis de Church-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 Ciencias de la computación · Alonzo Church y Tesis de Church-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 Ciencias de la computación · Cálculo lambda y Tesis de Church-Turing · Ver más »

Computación cuántica

La computación cuántica o informática cuántica es un paradigma de computación distinto al de la informática clásica.

Ciencias de la computación y Computación cuántica · Computación cuántica y Tesis de Church-Turing · Ver más »

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.

Ciencias de la computación y Lenguaje formal · Lenguaje formal y Tesis de Church-Turing · 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.

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

Princeton University Press

Princeton University Press es una editorial académica independiente estadounidense, estrechamente ligada a la Universidad de Princeton.

Ciencias de la computación y Princeton University Press · Princeton University Press y Tesis de Church-Turing · Ver más »

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.

Ciencias de la computación y Teoría de la complejidad computacional · Teoría de la complejidad computacional y Tesis de Church-Turing · Ver más »

Teoría de la computabilidad

La teoría de la computabilidad o teoría de la recursión es la parte de la computación que estudia los problemas de decisión que se pueden resolver con un algoritmo o equivalentemente con una máquina de Turing.

Ciencias de la computación y Teoría de la computabilidad · Teoría de la computabilidad y Tesis de Church-Turing · Ver más »

La lista de arriba responde a las siguientes preguntas

Comparación de Ciencias de la computación y Tesis de Church-Turing

Ciencias de la computación tiene 175 relaciones, mientras Tesis de Church-Turing tiene 24. Como tienen en común 10, el índice Jaccard es 5.03% = 10 / (175 + 24).

Referencias

En este artículo se encuentra la relación entre Ciencias de la computación y Tesis de Church-Turing. Si desea acceder a cada artículo del que se extrajo la información visite:

¡Hey! ¡Ahora tenemos Facebook! »