A | B | C | D | E | F | G | H | CH | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9
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. |
Stephen Arthur Cook | |
americký informatik | |
Narodenie | 14. december 1939 (83 rokov) Buffalo, New York, USA |
---|---|
Odkazy | |
Webstránka | toronto.edu |
Commons | Stephen Cook |
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.
Text je dostupný za podmienok Creative Commons Attribution/Share-Alike License 3.0 Unported; prípadne za ďalších podmienok. Podrobnejšie informácie nájdete na stránke Podmienky použitia.
Alan Perlis
Alfred Aho
Allen Newell
Barbara Liskovová
Brian Kernighan
Butler Lampson
Charles Bachman
Charles Eric Leiserson
Charles Simonyi
Charles Thacker
Christos Papadimitriou
Claude Elwood Shannon
Dana Scott
David Johnson
Delbert Ray Fulkerson
Dennis Ritchie
Douglas Engelbart
Edmund Clarke
Edward Feigenbaum
Edward Forrest Moore
Ernest Allen Emerson
Fernando Corbató
Frances Allenová
Frederick Brooks
George Dantzig
Grace Hopperová
Herbert Simon
Imrich Chlamtac
Ivan Sutherland
James Gray
Jeffrey Ullman
Jimmy Wales
John Backus
John Cocke
John George Kemeny
John Hopcroft
John McCarthy
Joseph Kruskal
Juris Hartmanis
Ken Thompson
Leonard Adleman
Leonid Anatolievič Levin
Lila Tretikovová
Manuel Blum
Martin Hellman
Marvin Minsky
Mary Ann Horton
Michael Oser Rabin
Mihalis Yannakakis
Nancy Lynchová
Peter Shor
Radžív Mótvání
Radia Perlmanová
Raj Reddy
Ralph Merkle
Richard Hamming
Richard Karp
Richard Stearns
Robert Floyd
Robert Kahn
Robert Metcalfe
Robert Tarjan
Ronald Rivest
Ružena Bajcsyová
Sergey Brin
Seymour Ginsburg
Seymour Papert
Shawn Fanning
Stephen Cole Kleene
Stephen Cook
Stephen Smale
Stephen Wolfram
Steve Jobs
Steve Wozniak
Susan Wojcicki
Terry Winograd
Vannevar Bush
Vinton Cerf
Whitfield Diffie
Zohar Manna
Text je dostupný za podmienok Creative
Commons Attribution/Share-Alike License 3.0 Unported; prípadne za ďalších
podmienok.
Podrobnejšie informácie nájdete na stránke Podmienky
použitia.
www.astronomia.sk | www.biologia.sk | www.botanika.sk | www.dejiny.sk | www.economy.sk | www.elektrotechnika.sk | www.estetika.sk | www.farmakologia.sk | www.filozofia.sk | Fyzika | www.futurologia.sk | www.genetika.sk | www.chemia.sk | www.lingvistika.sk | www.politologia.sk | www.psychologia.sk | www.sexuologia.sk | www.sociologia.sk | www.veda.sk I www.zoologia.sk