Стівен Кук
Перейти до навігації
Перейти до пошуку
Стівен Артур Кук (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-спеціаліста чи спеціалістку. Ви можете допомогти проєкту, виправивши або дописавши її. |
Категорії:
- Народились 14 грудня
- Народились 1939
- Доктори наук
- Уродженці Баффало
- Інформатики
- Лауреати премії Тюрінга
- Науковці США
- Математики США
- Канадські науковці
- Канадські математики
- Випускники Гарвардського університету
- Випускники Мічиганського університету
- Члени і члени-кореспонденти Національної академії наук США
- Американські емігранти до Канади