Stephen Cook
Sari la navigare
Sari la căutare
| Stephen Arthur Cook | |
| Date personale | |
|---|---|
| Născut | (86 de ani) Buffalo, New York, SUA |
| Naționalitate | american |
| Activitate | |
| Rezidență |  Statele Unite ale Americii Canada |
| Domeniu | informatician |
| Instituție | Universitatea California, Berkeley Universitatea Toronto |
| Conducător de doctorat | Hao Wang |
| Cunoscut pentru | NP-completitudine |
| Premii | Premiul Turing, 1982 |
Modifică date / text  | |
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! |
Categorii:
- Nașteri în 1939
- Nașteri pe 14 decembrie
- Articole biografice fără fotografii
- Articole Wikipedia cu control de autoritate
- Cioturi Biografii Americani
- Informaticieni americani
- Laureați ai Premiului Turing
- Americani în viață
- Oameni de știință americani din secolul al XX-lea
- Oameni de știință americani din secolul al XXI-lea
- Oameni din Buffalo, New York