15 vzťahy: Buffalo (New York), Formula (logika), Informatika, Kanada, Matematik, New York (štát USA), NP-úplný problém, Spojené štáty, Teoretická informatika, Turingova cena, Výpočtová zložitosť, 14. december, 1939, 1971, 1982.
Buffalo (New York)
Buffalo je mesto ležiace na západe štátu New York v USA.
Nový!!: Stephen Cook a Buffalo (New York) · Pozrieť viac »
Formula (logika)
Formula alebo logická formula je ľubovoľný konečný rad (postupnosť) základných (primitívnych) symbolov formalizovaného jazyka (výrokovej, predikátovej) logiky.
Nový!!: Stephen Cook a Formula (logika) · Pozrieť viac »
Informatika
Informatika je veda o informácii a jej automatickom spracovaní (je to veda o algoritmickom riešení problémov).
Nový!!: Stephen Cook a Informatika · Pozrieť viac »
Kanada
Kanada je severoamerický štát, ktorý pozostáva z desiatich provincií a troch teritórií.
Nový!!: Stephen Cook a Kanada · Pozrieť viac »
Matematik
Matematik je osoba, ktorého primárnou oblasťou štúdia je matematika.
Nový!!: Stephen Cook a Matematik · Pozrieť viac »
New York (štát USA)
New York New York (oficiálne State of New York) je štát nachádzajúci sa na východnom pobreží Spojených štátov amerických, v Stredoatlantickej oblasti severovýchodného regiónu USA.
Nový!!: Stephen Cook a New York (štát USA) · Pozrieť viac »
NP-úplný problém
NP-úplný problém je taký problém, ktorý patrí do triedy NP (je vypočítateľný v nedeterministickom polynomiálnom čase) a ľubovoľný iný problém z triedy NP je naň polynomiálne redukovateľný (tzn. je NP-ťažký).
Nový!!: Stephen Cook a NP-úplný problém · Pozrieť viac »
Spojené štáty
Spojené štáty americké (anglickyUnited States of America), skráteným názvom Spojené štáty, skrátene USA (alebo aj US), je demokratická federatívna prezidentská republika v Severnej Amerike, rozkladajúca sa medzi Atlantickým oceánom na východe a Tichým oceánom na západe.
Nový!!: Stephen Cook a Spojené štáty · Pozrieť viac »
Teoretická informatika
Teoretická informatika je teoretická zložka informatiky.
Nový!!: Stephen Cook a Teoretická informatika · Pozrieť viac »
Turingova cena
Cena A. M. Turinga (angl. ACM A.M. Turing Award) je ocenenie, udeľované každoročne Asociáciou výpočtovej techniky (ACM) jednotlivcom za ich technický prínos počítačovej komunite.
Nový!!: Stephen Cook a Turingova cena · Pozrieť viac »
Výpočtová zložitosť
Výpočtová zložitosť alebo výpočtová náročnosť je pojem z teórie algoritmov, vyjadruje nakoľko je výpočet podľa zvoleného algoritmu zložitý.
Nový!!: Stephen Cook a Výpočtová zložitosť · Pozrieť viac »
14. december
Žiadny popis.
Nový!!: Stephen Cook a 14. december · Pozrieť viac »
1939
Žiadny popis.
Nový!!: Stephen Cook a 1939 · Pozrieť viac »
1971
Žiadny popis.
Nový!!: Stephen Cook a 1971 · Pozrieť viac »
1982
Žiadny popis.
Nový!!: Stephen Cook a 1982 · Pozrieť viac »