14 relaciones: Alan Turing, Algoritmo de Davis-Putnam, Algoritmo DPLL, Alonzo Church, Décimo problema de Hilbert, Doctor en Filosofía, Emérito, Estados Unidos, Gottfried Leibniz, Matemático, Nueva York, Teoría de la computabilidad, Universidad de Nueva York, Universidad de Princeton.
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!!: Martin Davis y Alan Turing · Ver más »
Algoritmo de Davis-Putnam
El algoritmo de Davis-Putnam fue desarrollado por Martin Davis y Hilary Putnam para comprobar la satisfacibilidad de las fórmulas de la lógica proposicional en forma normal conjuntiva, es decir, en conjuntos de cláusulas.
¡Nuevo!!: Martin Davis y Algoritmo de Davis-Putnam · Ver más »
Algoritmo DPLL
El algoritmo DPLL/Davis-Putnam-Logemann-Loveland es un algoritmo completo basado en la vuelta atrás que sirve para decidir la satisfactibilidad de las fórmulas de lógica proposicional en una forma normal conjuntiva, es decir, para resolver el problema CNF-SAT.
¡Nuevo!!: Martin Davis y Algoritmo DPLL · 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.
¡Nuevo!!: Martin Davis y Alonzo Church · Ver más »
Décimo problema de Hilbert
El décimo problema de Hilbert es uno de los conocidos como veintitrés Problemas de Hilbert, publicados en 1900 por el matemático alemán David Hilbert.
¡Nuevo!!: Martin Davis y Décimo problema de Hilbert · Ver más »
Doctor en Filosofía
En el mundo anglosajón, el título Doctor en Filosofía (en inglés: Doctor of Philosophy; abreviado PhD, Ph. D. o DPhil) es un diploma de doctorado especializado en investigación en áreas tan diversas como las ciencias sociales y económicas; áreas científicas, médicas o de las humanidades.
¡Nuevo!!: Martin Davis y Doctor en Filosofía · Ver más »
Emérito
Un emérito (del latín ex, «por», y meritus, «mérito»; «por mérito» o «debido al mérito») es aquella persona que, después de haberse retirado del cargo que ocupaba, disfruta de beneficios derivados de una profesión, especialmente docente universitaria o eclesiástica, como reconocimiento a sus buenos servicios en la misma; beneficios que pueden ser de diversa naturaleza según el rango y la institución de que se trate.
¡Nuevo!!: Martin Davis y Emérito · Ver más »
Estados Unidos
«EUA», «US», «USA» y «United States» redirigen aquí.
¡Nuevo!!: Martin Davis y Estados Unidos · Ver más »
Gottfried Leibniz
Gottfried Wilhelm Leibniz, a veces Gottfried Wilhelm von Leibniz (Leipzig, 1 de julio de 1646-Hannover, 14 de noviembre de 1716), fue un polímata, filósofo, matemático, lógico, teólogo, jurista, bibliotecario y político alemán.
¡Nuevo!!: Martin Davis y Gottfried Leibniz · Ver más »
Matemático
Un matemático (del latín mathēmāticus, y este a su vez del griego μαθηματικός mathēmatikós) es una persona cuya área primaria de estudio e investigación es la matemática, es decir que contribuye con nuevo conocimiento en este campo de estudio.
¡Nuevo!!: Martin Davis y Matemático · Ver más »
Nueva York
Nueva York (New York), oficialmente New York City o por las siglas NYC, es la ciudad más poblada de los Estados Unidos y una de las más pobladas del mundo, con un área urbana de 24 millones de habitantes.
¡Nuevo!!: Martin Davis y Nueva York · 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.
¡Nuevo!!: Martin Davis y Teoría de la computabilidad · Ver más »
Universidad de Nueva York
La Universidad de Nueva York (NYU) es una universidad privada ubicada en Nueva York, Estados Unidos.
¡Nuevo!!: Martin Davis y Universidad de Nueva York · Ver más »
Universidad de Princeton
La Universidad de Princeton (en inglés: Princeton University) es una de las ocho universidades privadas de investigación de la Ivy League situada en Princeton (Nueva Jersey).
¡Nuevo!!: Martin Davis y Universidad de Princeton · Ver más »