
An Interview with Stephen Cook
Philip Frana
An Interview with Stephen Cook
Philip Frana
Book Details:
Year: | 2002 |
Publisher: | Charles Babbage Institute |
Pages: | 30 pages |
Language: | english |
Since: | 10/02/2012 |
Size: | 42 KB |
License: | Pending review |
Content:
Stephen Arthur Cook (1939, Buffalo, Nueva York) es un reconocido científico de la computación.
Cook formalizó la cosa de NP-completitud en un famoso artículo de 1971 titulado "The Complexity of Theorem Proving Procedures" ("La Complejidad de los Procedimientos de Prueba de Teoremas"), que tambiénlas clases de complejidad P y NP.
Cook recibió el Premio Turing en 1982 por su descubrimiento: Por su avance en nuestra comprensión de la complejidad computacional de un modo significativo y profundo. Su artículo pionero, The Complexity of Theorem Proving Procedures, presentado en el ACM SIGACT Symposium on the Theory of Computing de 1971, sentó los cimientos de la teoría de NP-completitud. La exploración de los límites de la clase de complejidad NP-completo ha sido una de las actividades investigadoras más activas e importantes en las ciencias de la computación durante la última década.
Categories:
Tags:
Loading comments...
Scanning lists...
The book in numbers
rank in category
online since
10/02/2012rate score
17votes
5Social likes
Nothing yet...Views
Downloads
Interest
Countries segmentation
Source Referers
Websites segmentation
evolution
Loading...