Search results
Stephen Arthur Cook (1939, Búfalo (Nueva York)) es un reconocido científico de la computación. Cook formalizó el concepto de NP-completitud en un famoso artículo de 1971 titulado "The Complexity of Theorem Proving Procedures" ("La complejidad de los procedimientos de demostración de teoremas"), donde también formuló el problema de la ...
Stephen Arthur Cook OC OOnt (born December 14, 1939) is an American-Canadian computer scientist and mathematician who has made significant contributions to the fields of complexity theory and proof complexity.
In 1985, Stephen Cook was promoted to the position of University Professor at the University of Toronto, and now holds the position of Distinguished University Professor in the Computer Science and Mathematics Departments.
12 de ene. de 2016 · El primero es el concepto de computabilidad desarrollado por Alan Turing al definir qué pueden resolver los ordenadores y qué no. Más tarde, el matemático Stephen Cook (1939, Buffalo, Nueva York,...
12 de ene. de 2016 · El matemático estadounidense Stephen Arthur Cook ha sido galardonado con el premio Fronteras del Conocimiento de la Fundación BBVA en la categoría de Tecnologías de la Información y...
8 de ene. de 2016 · El matemático Stephen Arthur Cook (Buffalo, Nueva York, 1939) ha sido galardonado con el premio Fundación BBVA Fronteras del Conocimiento en la categoría de Tecnologías de la Información y la...
Stephen Arthur Cook (Buffalo, Nueva York, Estados Unidos; 1939) ostenta la doble nacionalidad estadounidense y canadiense. Hijo de un químico y un ama de casa con dos máster (en Inglés y en Historia), su primera vocación fue la ciencia aplicada.
