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.
| Stephen Arthur Cook | |||
 americký informatik | |||
| Narodenie | 14. december 1939 (81 rokov) Buffalo, New York, USA | ||
|---|---|---|---|
| Odkazy | |||
| Webstránka | toronto.edu | ||
| Commons |  Stephen Cook | ||
| |||
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.