![cover image](https://wikiwandv2-19431.kxcdn.com/_next/image?url=https://upload.wikimedia.org/wikipedia/commons/thumb/6/68/Prof.Cook.jpg/640px-Prof.Cook.jpg&w=640&q=50)
Stephen Cook
From Wikipedia, the free encyclopedia
Stephen Arthur Cook (n. 14 decembrie 1939, Buffalo, New York, SUA) este un informatician american, care a formalizat noțiunea de NP-completitudine într-o lucrare scrisă în 1971 și intitulată Complexitatea procedurilor de demonstrare a teoremelor, în care a demonstrat că problema satisfacerii expresiilor booleene este NP completă. Pentru aceasta, Cook a primit în 1982 Premiul Turing.
![]() | Acest articol biografic despre un american este un ciot. Puteți ajuta Wikipedia prin completarea lui! |
- https://www.acm.org/media-center/2009/january/acm-names-44-fellows-for-contributions-to-computing-and-it, accesat în Lipsește sau este vid:
|title=
(ajutor)
Mai multe informații Date personale, Nume la naștere ...
Stephen Arthur Cook | |
![]() | |
Date personale | |
---|---|
Nume la naștere | Stephen Arthur Cook ![]() |
Născut | (84 de ani)
Buffalo, New York, SUA |
Copii | Gordon Cook[*][[Gordon Cook (Canadian yacht racer)|]] ![]() |
Cetățenie | ![]() ![]() ![]() |
Ocupație | informatician cadru didactic universitar[*] matematician ![]() |
Limbi vorbite | limba engleză[1] ![]() |
Activitate | |
Rezidență | ![]() ![]() |
Domeniu | informatician |
Instituție | Universitatea California, Berkeley Universitatea Toronto |
Alma Mater | Universitatea Harvard Universitatea din Michigan ![]() |
Organizații | Societatea Regală din Londra Academia Națională de Științe a Statelor Unite ale Americii[*] Royal Society of Canada[*][[Royal Society of Canada (academy in Canada)|]] Academia Americană de Arte și Științe[*] Academia de Științe Göttingen[*] Association for Computing Machinery[2] ![]() |
Conducător de doctorat | Hao Wang |
Cunoscut pentru | NP-completitudine |
Premii | Premiul Turing, 1982 |
Prezență online | |
Modifică date / text ![]() |
Închide