Stephen Cook
Americko-kanadský informatik a matematik / From Wikipedia, the free encyclopedia
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š. |
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. |
Rýchle fakty Narodenie, Odkazy ...
Stephen Arthur Cook | |
americký informatik | |
Narodenie | 14.12.193914. december 1939 (84 rokov) Buffalo, New York, USA |
---|---|
Odkazy | |
Webstránka | toronto.edu |
Commons | Stephen Cook |
Zavrieť