Yahoo Search Búsqueda en la Web

Entrar

Resultado de búsqueda

  1. es.wikipedia.org › wiki › Stephen_CookStephen Cook - Wikipedia, la enciclopedia libre

    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 ...

  2. en.wikipedia.org › wiki › Stephen_CookStephen Cook - Wikipedia

    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.

  3. Imágenes

    • STEPHEN COOK
    • 'Some of the deepest questions it's possible to ask': Stephen Cook's ...
    • University Professor Emeritus Stephen Cook Recognized with Harvard ...
    • Stephen Cook - Alchetron, The Free Social Encyclopedia

    Ver todo

  4. amturing.acm.org › award_winners › cook_n991950Stephen A Cook - A.M. Turing Award Laureate

    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.

  5. www.elmundo.es › ciencia › 2016/01/12Premio a Stephen Cook, padre de uno de los principios ... - EL...

    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,...

  6. Videos

    Ver todo

  7. www.bbva.com › es › stephen-cook-premio-fundacion-bbva-fronteras-del-conocimientoStephen Cook, Premio Fundación BBVA Fronteras del Conocimiento en...

    14 de jul. de 2016 · El matemático estadounidense Stephen Arthur Cook ha sido galardonado con el Premio Fundación BBVA Fronteras del Conocimiento en Tecnologías de la Información y la Comunicación por demostrar que hay problemas que los ordenadores no son capaces de resolver en un tiempo razonable.

  8. elpais.com › tecnologia › 2016/01/12Galardón para el matemático que se rindió frente los ordenadores

    12 de ene. de 2016 · Stephen Cook ha conseguido el galardón por determinar que hay problemas que los ordenadores no pueden resolver de manera eficiente.

  9. www.britannica.com › biography › Stephen-Arthur-CookStephen Arthur Cook | Algorithms, Complexity & NP-Completeness

    Stephen Arthur Cook (born Dec. 14, 1939, Buffalo, N.Y., U.S.) is an American computer scientist and winner of the 1982 A.M. Turing Award, the highest honour in computer science, for his “advancement of our understanding of the complexity of computation in a significant and profound way.”