HotInfo Menu

Cook

Osoba 59 článků
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.

Číst více na Wikipedii
📈 Zmínky v HotInfo
28 článků poprvé 20.04.2026 naposledy 17.10.2026
před 26 týdnydnes
📰 Poslední články (59)

🔥 TOP ZPRÁVY 48h

Krimi 08:00
Světová politika 09:01
Ukrajina 08:25
Světová politika 07:25
Celebrity 07:01
Politika (obecně) 07:01
Ukrajina 06:26
Fotbal 06:01
Světová politika 06:00
Krimi 01:27
Světová politika 00:26
Maďarská politika 18.10.
Krimi 18.10.
Fotbal 18.10.
Světová politika 18.10.
Světová politika 18.10.
Hokej 18.10.
Světová politika 18.10.
Sport 18.10.
Hokej 18.10.
Sport 18.10.
Světová politika 18.10.
Německá politika 18.10.
Politika (obecně) 18.10.
Světová politika 18.10.
Světová politika 18.10.
Fotbal 18.10.
Krimi 18.10.
Fotbal 17.10.
Německá politika 17.10.
✍️ REDAKČNÍ VÝBĚR