Стівен Кук
Стівен Артур Кук (англ. Stephen Arthur Cook нар.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-спеціаліста. Ви можете допомогти проєкту, виправивши або дописавши її. |