Стівен Кук

Стівен Кук
Стівен Кук
англ. Stephen Arthur Cook
	Стівен Кук у Празі, вересень 2008 року.
Ім'я при народженні	англ. Stephen Arthur Cook
Народився	14 грудня 1939 (86 років); Баффало, Нью-Йорк
Країна	США
Діяльність	інформатик, викладач університету, математик
Alma mater	Гарвардський університет, ; Мічиганський університет
Галузь	Теоретична інформатика
Заклад	Торонтський університет,; Університет Каліфорнії (Берклі)
Науковий ступінь	доктор наук
Науковий керівник	Hao Wang
Аспіранти, докторанти	Toniann Pitassid; Anna Lubiwd; Mark Bravermand; Walter Savitchd; Arvind Guptad; Michael Soltysd; H. James (Howard) Hooverd; Paul William Beamed; Romas Aleliunasd; Valentine Kabanetsd; François Pittd; Bruce M. Kaprond; Pierre Murdock McKenzied; Xudong Fud; Patrick William Dymondd; Antonina Kolokolovad; Roberto Lins de Carvalhod; Alan Ramsay Skelleyd; Tomoyuki Yamakamid; Tsuyoshi Moriokad; Phuong The Nguyend; Steven Perrond; Leslie Michael Goldschlagerd; Derek C. Oppend; Daniel Brandd; Martin Dowdd; Gloria Kissind; Stephen Bellantonid; Robert A. Reckhowd; Akitoshi Kawamurad; Dai Tri Man Led; Lila A. Fontesd; R. Dustin Wehrd; Kaveh Ghasemlood; Robert Robered
Членство	Лондонське королівське товариство; Національна академія наук США; Королівське товариство Канади; Американська академія мистецтв і наук; Геттінгенська академія наук; Association for Computing Machinery
Відомий завдяки:	NP-повна задача, ; Теорема Кука — Левіна
Діти	Гордон Кукd
Нагороди	Премія Тюрінга (1982)
Особ. сторінка	cs.utoronto.ca/~sacook/
	Стівен Кук у Вікісховищі

Стівен Артур Кук (нар. 14 грудня 1939 , Баффало, Нью-Йорк ) — канадський та американський математик та науковець у галузі теоретичної інформатики, лауреат премії Тюрінга. Відомий своїми значними внесками в теорію складності обчислень та складності доведення, насамперед через введення поняття NP-повної задачі та теорему Кука — Левіна. Його число Ердеша 3.

Публікації

Cook, Stephen A. (1971). The complexity of theorem-proving procedures (PDF). Proceedings of the third annual ACM symposium on Theory of computing. ACM: 151—158. Архів оригіналу (PDF) за 5 жовтня 2016. Процитовано 15 травня 2016. (англ.)

Див. також

Примітки

↑ Stephen Cook. Mathematics Genealogy Project.
↑ ^а ^б ^в ^г ^д ^е ^ж ^и ^к ^л ^м ^н ^п ^р ^с ^т ^у ^ф ^х ^ц ^ш ^щ ^ю ^я ^аа ^аб ^ав ^аг ^ад ^ае ^аж ^аи ^ак ^ал Математичний генеалогічний проєкт — 1997.
↑ https://www.acm.org/media-center/2009/january/acm-names-44-fellows-for-contributions-to-computing-and-it

Посилання

Перелік публікацій на DBLP (англ.)

Це незавершена стаття про особу Канади.
Ви можете допомогти проєкту, виправивши або дописавши її.

Це незавершена стаття про особу США.
Ви можете допомогти проєкту, виправивши або дописавши її.

Це незавершена стаття про науковця.
Ви можете допомогти проєкту, виправивши або дописавши її.

Це незавершена стаття про IT-спеціаліста чи спеціалістку.
Ви можете допомогти проєкту, виправивши або дописавши її.

[genealogy-1] Stephen Cook. Mathematics Genealogy Project.

[<span_class="wikidata_cite_citetype_Q7094076_citetype_Q33002955_citetype_Q114955954"_data-entity-id="Q829984">Математичний_генеалогічний_проєкт<span_class="wef_low_priority_links">_—_1997.</span></span><div_style="display:none">[[d:Track:Q829984]]</div>-2] а ^б ^в ^г ^д ^е ^ж ^и ^к ^л ^м ^н ^п ^р ^с ^т ^у ^ф ^х ^ц ^ш ^щ ^ю ^я ^аа ^аб ^ав ^аг ^ад ^ае ^аж ^аи ^ак ^ал Математичний генеалогічний проєкт — 1997.

[[https://www.acm.org/media-center/2009/january/acm-names-44-fellows-for-contributions-to-computing-and-it_https://www.acm.org/media-center/2009/january/acm-names-44-fellows-for-contributions-to-computing-and-it]<span_class="wef_low_priority_links"></span><div_style="display:none"></div>-3] ttps://www.acm.org/media-center/2009/january/acm-names-44-fellows-for-contributions-to-computing-and-it

[1]

[2]

[3]

Стівен Кук
англ. Stephen Arthur Cook
Стівен Кук у Празі, вересень 2008 року.
Ім'я при народженні	англ. Stephen Arthur Cook
Народився	14 грудня 1939 (86 років) Баффало, Нью-Йорк
Країна	США
Діяльність	інформатик, викладач університету, математик
Alma mater	Гарвардський університет, Мічиганський університет
Галузь	Теоретична інформатика
Заклад	Торонтський університет, Університет Каліфорнії (Берклі)
Науковий ступінь	доктор наук
Науковий керівник	Hao Wang^[1]
Аспіранти, докторанти	Toniann Pitassi^d Anna Lubiw^d^[2] Mark Braverman^d^[2] Walter Savitch^d^[2] Arvind Gupta^d^[2] Michael Soltys^d^[2] H. James (Howard) Hoover^d^[2] Paul William Beame^d^[2] Romas Aleliunas^d^[2] Valentine Kabanets^d^[2] François Pitt^d^[2] Bruce M. Kapron^d^[2] Pierre Murdock McKenzie^d^[2] Xudong Fu^d^[2] Patrick William Dymond^d^[2] Antonina Kolokolova^d^[2] Roberto Lins de Carvalho^d^[2] Alan Ramsay Skelley^d^[2] Tomoyuki Yamakami^d^[2] Tsuyoshi Morioka^d^[2] Phuong The Nguyen^d^[2] Steven Perron^d^[2] Leslie Michael Goldschlager^d^[2] Derek C. Oppen^d^[2] Daniel Brand^d^[2] Martin Dowd^d^[2] Gloria Kissin^d^[2] Stephen Bellantoni^d^[2] Robert A. Reckhow^d^[2] Akitoshi Kawamura^d^[2] Dai Tri Man Le^d^[2] Lila A. Fontes^d^[2] R. Dustin Wehr^d^[2] Kaveh Ghasemloo^d^[2] Robert Robere^d^[2]
Членство	Лондонське королівське товариство Національна академія наук США Королівське товариство Канади Американська академія мистецтв і наук Геттінгенська академія наук Association for Computing Machinery^[3]
Відомий завдяки:	NP-повна задача, Теорема Кука — Левіна
Діти	Гордон Кук^d
Нагороди	Премія Тюрінга (1982)
Особ. сторінка	cs.utoronto.ca/~sacook/
Стівен Кук у Вікісховищі