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 SPRÁVY 48h

Svet 31.08.
Nemecká poli 31.08.
Svet 31.08.
Svetová poli 31.08.
Svetová poli 31.08.
Katastrofy a 31.08.
Maďarská pol 31.08.
Politika (vš 31.08.
Svetová poli 31.08.
Iné 31.08.
Svetová poli 31.08.
Maďarská pol 31.08.
Politika (vš 31.08.
Politika (vš 31.08.
Svetová poli 08:39
Svetová poli 19:29
Svetová poli 31.08.
Maďarská pol 18:03
Svetová poli 16:21
Katastrofy a 13:40
Ukrajina 06:01
Ekonomika a 31.08.
Krimi 31.08.
Svetová poli 31.08.
Futbal 31.08.
Svetová poli 18:07
Nemecká poli 17:01
Technológie 15:25
Iné 13:35
Politika (vš 13:00
✍️ REDAKČNÝ VÝBER