Resultado de búsqueda
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. He is a university professor emeritus at the University of Toronto, Department of Computer Science and Department of Mathematics.
- On the Minimum Computation Time of Functions (1966)
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 ...
- Doctor en Ciencias
- Canadiense y estadounidense
- Stephen Arthur Cook
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.
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...
- Madrid
Stephen A Cook - A.M. Turing Award Laureate. PHOTOGRAPHS. Stephen Arthur Cook. Canada – 1982. CITATION. For his advancement of our understanding of the complexity of computation in a significant and profound way.
12 de ene. de 2016 · Stephen Cook, el matemático premiado por «rendirse» ante un ordenador. Ha sido reconocido por la Fundación BBVA por determinar qué problemas no pueden resolver las computadoras de manera...
8 de ene. de 2016 · Stephen Cook, un paso más allá de Turing. El matemático Stephen Arthur Cook (Buffalo, Nueva York, 1939) ha sido galardonado con el premio Fundación BBVA Fronteras del Conocimiento en la ...
