Перейти до вмісту

Стівен Кук

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

Стівен Артур Кук (14 грудня 1939(1939-12-14), Баффало, Нью-Йорк)  — канадський та американський математик та науковець у галузі теоретичної інформатики, лауреат премії Тюрінга. Відомий своїми значними внесками в теорію складності обчислень та складності доведення[en], насамперед через введення поняття 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. (англ.)

Див. також

[ред. | ред. код]

Примітки

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

Посилання

[ред. | ред. код]
Вікісховище має мультимедійні дані за темою: Category:Stephen Cook
Канада Це незавершена стаття про особу Канади.
Ви можете допомогти проєкту, виправивши або дописавши її.
США Це незавершена стаття про особу США.
Ви можете допомогти проєкту, виправивши або дописавши її.
науковець Це незавершена стаття про науковця.
Ви можете допомогти проєкту, виправивши або дописавши її.
Джон фон Нейман Це незавершена стаття про IT-спеціаліста чи спеціалістку.
Ви можете допомогти проєкту, виправивши або дописавши її.
Отримано з https://uk.wikipedia.org/w/index.php?title=Стівен_Кук&oldid=37528789