Стівен Кук

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку
Стівен Кук
англ. Stephen Arthur Cook
Стівен Кук у Празі, вересень 2008 року.
Стівен Кук у Празі, вересень 2008 року.
Стівен Кук у Празі, вересень 2008 року.
Ім'я при народженні англ. Stephen Arthur Cook
Народився 14 грудня 1939(1939-12-14) (84 роки)
Баффало, Нью-Йорк
Країна США США
Діяльність інформатик, викладач університету, математик
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
Відомий завдяки: 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.

Посилання[ред. | ред. код]

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