WikiSysop: Bot: Automatski unos stranica

2021-08-21T08:11:14Z

Bot: Automatski unos stranica

Nova stranica

{{Znanstvenik
| ime = Stephen Arthur Cook
| slika = Prof.Cook.jpg
| slika_širina = 150px
| naslov =
| datum_rođenja = [[1939.]]
| mjesto_rođenja = [[Buffalo, New York|Buffalo]], [[New York]]
| datum_smrti =
| mjesto_smrti =
| prebivalište =
| državljanstvo =
| narodnost =
| etnicitet =
| polje = [[Računarstvo]]
| radna_institucija = [[Sveučilište Kalifornije, Berkeley]]<br>[[Sveučilište Toronta]]
| alma_mater =
| doktorski_mentor =
| doktorski_studenti =
| poznat_po = [[NP-potpun|NP-potpunost]]
| autor_kratica_bot =
| autor_kratica_zoo =
| nagrade = [[Turingova nagrada]]
| religija =
| fusnote =
}}
'''Stephen Arthur Cook''' ([[Buffalo, New York|Buffalo]], [[New York]], [[1939.]]) je istaknuti [[Sjedinjene Američke Države|američki]] [[računalni znanstvenik]].

Cook je formalizirao pojam [[NP-potpun|NP-potpunosti]] u poznatom članku iz [[1971.]] ''"The Complexity of Theorem Proving Procedures"'', koji je ujedno i sadržavao [[Cookeov teorem]], dokaz da je [[problem bulovske ispunjivosti]] NP-potpun. Članak je ostavio neriješenim najveći otvoreni problem teoretskog računarstva - jesu li [[klase složenosti P i NP]] istovjetne.

Cook je primio [[Turingova nagrada|Turingovu nagradu]] za ovo otkriće:
<blockquote>''Za unapređenje razumijevanja složenosti računanja na značajan i dubokouman način. Njegov plodonosni članak, ''The Complexity of Theorem Proving Procedures,'' predstavljen 1971. na ACM SIGACT simpoziju o teorijskom računarstvu, je postavio temelje za teoriju NP-potpunosti. Istraživanje granica i prirode problema u NP-potpunoj klasi koje je nakon toga uslijedilo je bila jedna od najaktivnijih i najvažnijih istraživačkih aktivnosti računarstva u posljednjem desetljeću.''</blockquote>
Stekao je titulu prvostupnika [[1961.]] na Sveučilištu Michigana. Na Sveučilištu Harvard je stekao magisterij [[1962.]] te doktorat [[1966.]] Od [[1966.]] do [[1970.]] je bio priručni profesor na Sveučilištu Kalifornije u Berkeleyu, te je promoviran u status profesora [[1975.]], odnosno sveučilišnog profesora [[1985.]] pri [http://www.cs.utoronto.ca odsjeku za računarstvo] i [http://www.math.utoronto.ca/dept/dirfac.html odsjeku za matematiku].

== Vanjske poveznice ==
*[http://www.cs.toronto.edu/~sacook/ Web stranica Stephena A. Cooka]
*[http://genealogy.math.ndsu.nodak.edu/html/id.phtml?id=14011 Studenti Stephena A. Cooka]

{{Turingova nagrada}}

[[Kategorija: Američki računalni znanstvenici|Cook, Stephen]]
[[Kategorija: Dobitnici Turingove nagrade|Cook, Stephen]]

Stephen Cook - Povijest promjena

WikiSysop: Bot: Automatski unos stranica