Стівен Кук — Вікіпедія

Стівен Кук
англ. 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[3]
Відомий завдяки:NP-повна задача,
Теорема Кука — Левіна
ДітиГордон Кукd
НагородиПремія Тюрінга (1982)
Особ. сторінкаcs.utoronto.ca/~sacook/

Стівен Артур Кук (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. (англ.)

Див. також

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

Примітки

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

Посилання

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