Стівен Кук

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

Стівен Кук
англ. Stephen Arthur Cook
Стівен Кук у Празі, вересень 2008 року.
Ім'я при народженні	англ. Stephen Arthur Cook
Народився	14 грудня 1939(1939-12-14) (79 років) Баффало, Нью-Йорк
Громадянство	США
Діяльність	інформатик, викладач університету, математик
Alma mater	Гарвардський університет, Мічиганський університет
Сфера інтересів	Теоретична інформатика
Заклад	Торонтський університет, Університет Каліфорнії (Берклі)
Науковий керівник	Hao Wang
Аспіранти, докторанти	Toniann Pitassi
Член	Лондонське королівське товариство, Національна академія наук США, Королівське товариство Канади, Американська академія мистецтв і наук, Геттінгенська академія наук і Association for Computing Machinery
Відомий завдяки:	NP-повна задача, Теорема Кука — Левіна
Діти	Гордон Кук
Нагороди	Премія Тюрінга (1982)
Особ. сторінка	cs.utoronto.ca/~sacook/
Стівен Кук у Вікісховищі?

Зміст

Публікації

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

Див. також

• NP-повна задача
• Теорема Кука — Левіна
• Теорія складності обчислень

Посилання

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