Stephen Cook
 |
Tomuto článku alebo sekcii chýbajú odkazy na spoľahlivé zdroje, môže preto obsahovať informácie, ktoré je potrebné ešte overiť. Pomôžte Wikipédii a doplňte do článku citácie, odkazy na spoľahlivé zdroje. |
| Stephen Arthur Cook | |
 americký informatik | |
| Narodenie | 14. december 1939 (85 rokov) Buffalo, New York, USA |
|---|---|
| Odkazy | |
| Webstránka | toronto.edu |
| Commons |  Stephen Cook |
Stephen Arthur Cook (* 14. december 1939, Buffalo, New York, USA) je americký informatik a matematik v súčasnosti pôsobiaci v Kanade. Je známy predovšetkým vďaka svojej práci v oblasti výpočtovej zložitosti a teórie zložitosti dôkazov (pri automatickom dokazovaní viet). V roku 1971 v článku The Complexity of Theorem Proving Procedures sformalizoval pojem NP-úplnosti a ukázal, že problém splniteľnosti logickej formuly je NP-úplný. V tomto článku tiež prišiel s jedným z najvýznamnejších dosiaľ otvorených problémov v teoretickej informatike - P verzus NP problémom. V roku 1982 dostal najmä vďaka tejto práci Turingovu cenu.
|
Tento článok týkajúci sa biografie osobnosti je zatiaľ „výhonok“. Pomôž Wikipédii tým, že ho doplníš a rozšíriš. |