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. elpais.com › tecnologia › 2016/01/12Galardón para el matemático que se rindió frente los ordenadores

    12 de ene. de 2016 · A esta idea, el matemático Stephen Cook (Nueva York, 1939) añadió la eficiencia: saber si un problema se puede resolver en un tiempo asumible —y el tiempo es la clave— es esencial para decidir si...

  8. www.cs.toronto.edu › ~sacookStephen A. Cook -- Home page - Department of Computer Science ...

    Stephen A. Cook. University Professor Emeritus Department of Computer Science University of Toronto Toronto, Canada M5S 3G4. Tel: (416) 978-5183 sacook [at] cs [dot] toronto [dot] edu Office: Sandford Fleming 2303C. I am a member of the Theory Group in the Computer Science Department.

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