| rdfs:comment
| - Stephen Arthur Cook, OC, OOnt (nascut el 14 de desembre de 1939) és un prestigiós informàtic i matemàtic que ha fet contribucions importants en els camps de la complexitat computacional i la complexitat de proves. És professor de la Universitat de Toronto, als departaments d'Informàtica i de Matemàtiques. (ca)
- Stephen Arthur Cook (* 14. prosince 1939 Buffalo, New York, USA) je americký informatik. Je znám především díky svému článku The Complexity of Theorem Proving Procedures z roku 1971, ve kterém formalizoval pojem NP-úplnosti a dokázal, že existuje NP-úplný problém. Tento článek otevřel jeden z největších nevyřešených problémů současné informatiky, a to zda P = NP. Tato otázka byla zařazena mezi sedm tzv. Problémů tisíciletí vyhlášených v roce 2000 Clayovým matematickým institutem. Za vyřešení každého z těchto problémů je vypsána odměna milion dolarů Problém se dotýká celé řady vědních oborů — teoretické informatiky, matematiky, logiky, kryptografie, ale i filosofie. V roce 1982 obdržel Cook Turingovu cenu. V září 2008 navštívil pražskou Podzimní školu logiky. (cs)
- Stephen Arthur Cook OOnt (* 14. Dezember 1939 in Buffalo, New York) ist Professor der Informatik an der University of Toronto in Kanada. Sein Hauptbetätigungsfeld ist die Komplexitätstheorie; Cook arbeitet neben seiner Lehrtätigkeit aber auch an der Schnittstelle von Logik und Berechenbarkeitstheorie. Cook wurde in der theoretischen Informatik berühmt durch den Satz von Cook: „SAT ist NP-vollständig“. 1982 bekam er für diese Entdeckung den Turing Award. 1990 hielt er einen Plenarvortrag auf dem ICM in Kyoto (Computational complexity of higher type functions). (de)
- ستيفن آرثر كوك (من مواليد 14 ديسمبر 1939) حائز على وسام كندا، ووسام أونتاريو، وهو عالم كمبيوتر أمريكي كندي، وعالم رياضيات قدم مساهمات كبيرة في مجالات نظرية التعقيد وبرهان التعقيد. وهو أستاذ جامعي في جامعة تورنتو في قسم علوم الكمبيوتر، وقسم الرياضيات. (ar)
- Stephen Arthur Cook (14 Desember 1939 - sekarang) merupakan seorang ilmuan komputer dan matematikawan Amerika - Kanada yang telah memberikan kontribusi besar pada bidang teori kompleksitas dan kompleksitas bukti . Dia adalah seorang profesor universitas di University of Toronto, Departemen Ilmu Komputer dan Departemen Matematika. (in)
- Stephen Arthur Cook OC OOnt (born December 14, 1939) is an American-Canadian computer scientist and mathematician who has made significant contributions to the fields of complexity theory and proof complexity. He is a university professor at the University of Toronto, Department of Computer Science and Department of Mathematics. (en)
- Stephen Arthur Cook (né en 1939 à Buffalo dans l'État de New York) est un informaticien et mathématicien américano-canadien, qui a apporté plusieurs contributions majeures à la théorie de la complexité. Il est actuellement professeur à l'université de Toronto, dans le département d'informatique, et dans le département de mathématiques. Il a obtenu le prix Turing en 1982. (fr)
- Stephen Arthur Cook (Buffalo, 14 dicembre 1939) è un informatico e matematico statunitense, conosciuto per i suoi contributi nella teoria della complessità computazionale. Ha ricevuto il premio Turing nel 1982. (it)
- 스티븐 아서 쿡(Stephen Arthur Cook, 1939년 12월 14일~ )은 미국의 전산학자이다. 1971년 ACM 《SIGACT Symposium on the Theory of Computing》에 실린 논문 〈The Complexity of Theorem Proving Procedures〉에서 NP-완전의 개념을 확립한 것으로 유명하다. 이 논문에 들어있는 는 충족 가능성 문제가 NP-완전임을 증명하는 것이다. 이 논문에서 P와 NP가 같은지를 질문했는데 이를 P-NP 문제라고 부르며, 컴퓨터 과학의 가장 중요한 문제로 밀레니엄 문제 중 하나이기도 하다. (ko)
- Stephen Andrew Cook (Buffalo, 14 december 1939) is een Amerikaans theoretisch informaticus en hoogleraar aan de Universiteit van Toronto. In 1971 bewees hij dat er beslissingsproblemen bestaan waartoe alle NP-problemen in polynomiale tijd gereduceerd kunnen worden. Hiervoor ontving hij in 1982 de Turing Award. (nl)
- スティーブン・クック（Stephen A. Cook, 1939年12月14日 - ）は、米国・カナダの計算機科学者・数学者。専門は計算理論、特に計算複雑性理論の論理学的側面やの研究に従事している。2012年現在、トロント大学計算機科学科と数学科の教授である。 (ja)
- Stephen Arthur Cook (ur. 14 grudnia 1939 w Buffalo, Nowy Jork) – amerykański informatyk, za wkład w rozwój teorii złożoności obliczeniowej otrzymał nagrodę Turinga w 1982 roku. (pl)
- Stephen Arthur Cook, (Buffalo, 14 de dezembro de 1939) é um cientista da computação e matemático estadunidense-canadense, que teve maior contribuição no campo da teoria da complexidade e complexidade de prova. É professor de informática da Universidade de Toronto, Departamento de Ciência da Computação e Departamento de Matemática. Seu campo de interesse principal é a complexidade computacional, interessando-se também por lógica e computabilidade. Cook tornou-se famoso na teoria da computação pelo Teorema de Cook: O é NP-completo. Por esta descoberta recebeu o Prêmio Turing de 1982. (pt)
- 史蒂芬·亞瑟·库克（Stephen Arthur Cook，1939年12月14日－，計算機科學家，計算複雜性理論的重要研究者。 1971年，在他的論文《The Complexity of Theorem Proving Procedures》，他整理了NP完備性的目標，亦產生了——布爾可滿足性問題是NP完備的證明。 1982年，库克获得图灵奖。因為其論文開啟了NP完備性的研究，令這個领域於之後的十年成為計算機科學中最活躍和重要的研究。 库克現為多倫多大學的計算機科學和數學系教授。 (zh)
- Стівен Артур Кук (англ. Stephen Cook; 14 грудня 1939, Баффало, штат Нью-Йорк, США) — канадський та американський математик та науковець у галузі теоретичної інформатики, лауреат премії Тюрінга. Відомий своїми значними внесками в теорію складності обчислень та , насамперед через введення поняття NP-повної задачі та теорему Кука — Левіна. Його число Ердеша 3. (uk)
- Stephen Arthur Cook (1939, Búfalo (Nueva York)) es un reconocido científico de la computación. Cook formalizó el concepto de NP-completitud en un famoso artículo de 1971 titulado "The Complexity of Theorem Proving Procedures" ("La complejidad de los procedimientos de demostración de teoremas"), donde también formuló el problema de la relación entre las clases de complejidad P y NP. Cook recibió el Premio Turing en 1982 por su descubrimiento: (es)
- Стивен Артур Кук (англ. Stephen Arthur Cook; род. 14 декабря 1939 года, Буффало, США) — американский учёный в области теории вычислительных систем. Знаменит своей работой над теорией сложности вычислений, лауреат премии Тьюринга. В своей работе «The Complexity of Theorem Proving Procedures» Кук доказал, что задача выполнимости булевых формул является NP-полной. Тем самым он поднял вопрос о равенстве классов сложности P и NP, один из сложнейших вопросов теории вычислительных систем, на который до сих пор нет ответа. (ru)
|
.jpg)
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)