HotInfo Menu

Cook

Osoba 52 článkov
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.

Čítať viac na Wikipédii
📈 Zmienky v HotInfo
21 článkov prvýkrát 20.04.2026 naposledy 01.09.2026
pred 26 týždňamidnes
📰 Posledné články (52)

🔥 TOP STORIES 48h

World 31.08.
German Polit 31.08.
World 31.08.
World Politi 31.08.
World Politi 31.08.
Disasters 31.08.
Maďarská pol 31.08.
Politics (Ge 31.08.
World Politi 31.08.
Iné 31.08.
World Politi 20:34
Maďarská pol 31.08.
Politics (Ge 31.08.
Politics (Ge 31.08.
World Politi 20:34
World Politi 08:39
World Politi 19:29
Disasters 13:40
World Politi 31.08.
Iné 20:29
Maďarská pol 18:03
World Politi 16:21
Ukraine 06:01
Economy & Bu 31.08.
Crime 31.08.
World Politi 31.08.
Football 31.08.
World Politi 18:07
German Polit 17:01
Technology 15:25
✍️ EDITORIAL PICKS