Стівен Кук
Стівен Артур Кук (14 грудня 1939, Баффало, Нью-Йорк) — канадський та американський математик та науковець у галузі теоретичної інформатики, лауреат премії Тюрінга. Відомий своїми значними внесками в теорію складності обчислень та складності доведення[en], насамперед через введення поняття NP-повної задачі та теорему Кука — Левіна. Його число Ердеша 3.
Публікації ред.
- 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. (англ.)
Див. також ред.
Примітки ред.
Посилання ред.
- Перелік публікацій на DBLP (англ.)
Вікісховище має мультимедійні дані за темою: Category:Stephen Cook |
Це незавершена стаття про особу Канади. Ви можете допомогти проєкту, виправивши або дописавши її. |
Це незавершена стаття про особу США. Ви можете допомогти проєкту, виправивши або дописавши її. |
Це незавершена стаття про науковця. Ви можете допомогти проєкту, виправивши або дописавши її. |
Це незавершена стаття про IT-спеціаліста чи спеціалістку. Ви можете допомогти проєкту, виправивши або дописавши її. |