HotInfo Menu

Cook

Person 59 articles
Cook
Wikipedia

Stephen Arthur Cook 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. 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.

Read more on Wikipedia
📈 Mentions on HotInfo
28 articles first seen 20.04.2026 last seen 17.10.2026
26 weeks agotoday
📰 Recent articles (59)

🔥 TOP STORIES 48h

Football 06:01
Crime 06:00
Football 17.10.
German Politics 17.10.
Politics (General) 17.10.
Ukraine 17.10.
German Politics 17.10.
Politics (General) 17.10.
Crime 17.10.
Religion 17.10.
World Politics 17.10.
Football 17.10.
World Politics 17.10.
Hockey 17.10.
World Politics 17.10.
German Politics 17.10.
Technology 17.10.
World Politics 17.10.
Hockey 17.10.
Polish Politics 17.10.
Germany — Regional 17.10.
Economy & Business 17.10.
Sports 17.10.
European Union 17.10.
World Politics 17.10.
World Politics 17.10.
Sports 17.10.
World Politics 16.10.
Football 16.10.
Politics (General) 16.10.
✍️ EDITORIAL PICKS