Descripción
El profesor Stephen A. Cook es un pionero de la teoría de la complejidad computacional. Su trabajo sobre la completitud NP y el problema P vs. NP sigue siendo un foco central de este campo. Cook ganó el Premio Turing en 1982 por "su avance en nuestra comprensión de la complejidad de la computación de una manera significativa y profunda". Este volumen incluye una selección de artículos seminales que encarnan el trabajo que lo llevó a este premio, ejemplificando la síntesis de ideas y técnicas de Cook de la lógica y la teoría de la computación, incluida la completitud NP, la complejidad de la prueba, la aritmética acotada y la computación paralela y de espacio acotado. Estos artículos van acompañados de contribuciones de destacados investigadores en estas áreas, que transmiten a un lector general la importancia de las ideas de Cook y su impacto duradero en la comunidad investigadora. El libro también contiene material biográfico, la conferencia de Cook sobre el Premio Turing y una entrevista. Juntos, estos proporcionan un retrato de Cook como un líder e innovador reconocido en matemáticas y ciencias de la computación, así como un mentor y colega amable.
Autor: Bruce M. Kapron
Editorial: ACM
Publicado: 22/05/2023
Páginas: 426
Tipo de encuadernación: Tapa blanda
Peso: 1.60 libras
Tamaño: 9.25h x 7.50w x 0.87d
ISBN13: 9798400707773
ISBN10: 840070777X
Categorías BISAC:
- Informática | Ciencias de la Computación
- Informática | Teoría de la Información
- Matemáticas | Matemáticas Discretas