
An Interview with Stephen Cook
Philip Frana
An Interview with Stephen Cook
Philip Frana
Detalles del libro:
Año: | 2002 |
Editor: | Charles Babbage Institute |
Páginas: | 30 páginas |
Idioma: | inglés |
Desde: | 10/02/2012 |
Tamaño: | 42 KB |
Licencia: | Pendiente de revisión |
Contenido:
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.
Categorías:
Etiquetas:
Cargando comentarios...
Escaneando listas...
El libro en números
posición en categoría
en catálogo desde
10/02/2012puntuación
17votos
5'LIKES' sociales
Nothing yet...Visitas
Descargas
Interés
Segmentación por países
Páginas de entrada
Segmentación por sitios web
evolución
Cargando...