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.

PropertyValue
dbpedia-owl:abstract
  • 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.
  • Стивен Артур Кук (англ. Stephen Arthur Cook, 14 декабря 1939 года, Буффало, США) — американский учёный в области теории вычислительных систем. Знаменит своей работой над теорией сложности вычислений, лауреат премии Тьюринга.В своей работе «The Complexity of Theorem Proving Procedures» Кук доказал, что задача выполнимости булевых формул является NP-полной. Тем самым он поднял вопрос о равенстве классов сложности P и NP, один из сложнейших вопросов теории вычислительных систем, на который до сих пор нет ответа.
  • Stephen Arthur Cook (Buffalo, 14 de dezembro de 1939) é um informático estadunidense.É professor de informática da Universidade de Toronto. Seu campo de interesse principal é a complexidade computacional, interessando-se também por lógica e computabilidadeCook tornou-se famoso na teoria da computação pelo Teorema de Cook: O problema da satisfabilidade booleana é NP-completo. Por esta descoberta recebeu o Prêmio Turing de 1982.
  • Stephen Arthur Cook (1939, Buffalo, 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 Prueba de Teoremas"), que también las clases de complejidad P y NP.Cook recibió el Premio Turing en 1982 por su descubrimiento:Por su avance en nuestra comprensión de la complejidad computacional de un modo significativo y profundo. Su artículo pionero, The Complexity of Theorem Proving Procedures, presentado en el ACM SIGACT Symposium on the Theory of Computing de 1971, sentó los cimientos de la teoría de NP-completitud. La exploración de los límites de la clase de complejidad NP-completo ha sido una de las actividades investigadoras más activas e importantes en las ciencias de la computación durante la última década.Recibió su licenciatura en 1961 por la Universidad de Míchigan. En la Universidad de Harvard, recibió su título de máster en 1962, y se doctoró en 1966. Desde 1966 hasta 1970 fue profesor asistente en la Universidad de California, Berkeley. Se unió al profesorado de la Universidad de Toronto en 1970 como profesor asociado, siendo ascendido a profesor en 1975 y profesor universitario en 1985 en el Departamento de Informática y en el de Matemáticas.
  • 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).
  • 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.
  • スティーブン・クック(Stephen A. Cook, 1939年12月14日 - )は、米国・カナダの計算機科学者・数学者。専門は計算理論、特に計算複雑性理論の論理学的側面や証明複雑性の研究に従事している。2012年現在、トロント大学計算機科学科と数学科の教授である。
  • 스티븐 아서 쿡(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가 같은지를 질문했는데, 이 질문은 컴퓨터 과학의 가장 중요한 문제이며, 수많은 사람들이 연구하고 있으나 아직도 해결되지 않았다.
  • Stephen Arthur Cook, OOnt (born December 14, 1939) is a renowned American-Canadian computer scientist and mathematician who has made major contributions to the fields of complexity theory and proof complexity including co-discovering the theory of NP-completeness with Allan Borodin and Leonid Levin. He is currently a University Professor at the University of Toronto, Department of Computer Science and Department of Mathematics.
  • 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.
  • Stephen Arthur Cook (ur. 14 grudnia 1939 w Buffalo) – amerykański informatyk, ceniony za fundamentalny wkład w rozwój teorii złożoności obliczeniowej, za co otrzymał nagrodę Turinga w 1982 roku.
  • 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 (Cook-Levinova věta). 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.
dbpedia-owl:thumbnail
dbpedia-owl:wikiPageID
  • 582150 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 3040 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 36 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 109170738 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
prop-fr:initiale
  • C
prop-fr:middle
  • A
prop-fr:nom
  • Cook
prop-fr:prénom
  • Stephen
prop-fr:wikiPageUsesTemplate
dcterms:subject
rdfs:comment
  • 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.
  • Stephen Arthur Cook (Buffalo, 14 de dezembro de 1939) é um informático estadunidense.É professor de informática da Universidade de Toronto. Seu campo de interesse principal é a complexidade computacional, interessando-se também por lógica e computabilidadeCook tornou-se famoso na teoria da computação pelo Teorema de Cook: O problema da satisfabilidade booleana é NP-completo. Por esta descoberta recebeu o Prêmio Turing de 1982.
  • 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.
  • スティーブン・クック(Stephen A. Cook, 1939年12月14日 - )は、米国・カナダの計算機科学者・数学者。専門は計算理論、特に計算複雑性理論の論理学的側面や証明複雑性の研究に従事している。2012年現在、トロント大学計算機科学科と数学科の教授である。
  • 스티븐 아서 쿡(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가 같은지를 질문했는데, 이 질문은 컴퓨터 과학의 가장 중요한 문제이며, 수많은 사람들이 연구하고 있으나 아직도 해결되지 않았다.
  • Stephen Arthur Cook, OOnt (born December 14, 1939) is a renowned American-Canadian computer scientist and mathematician who has made major contributions to the fields of complexity theory and proof complexity including co-discovering the theory of NP-completeness with Allan Borodin and Leonid Levin. He is currently a University Professor at the University of Toronto, Department of Computer Science and Department of Mathematics.
  • 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.
  • Stephen Arthur Cook (ur. 14 grudnia 1939 w Buffalo) – amerykański informatyk, ceniony za fundamentalny wkład w rozwój teorii złożoności obliczeniowej, za co otrzymał nagrodę Turinga w 1982 roku.
  • Стивен Артур Кук (англ. Stephen Arthur Cook, 14 декабря 1939 года, Буффало, США) — американский учёный в области теории вычислительных систем. Знаменит своей работой над теорией сложности вычислений, лауреат премии Тьюринга.В своей работе «The Complexity of Theorem Proving Procedures» Кук доказал, что задача выполнимости булевых формул является NP-полной.
  • Stephen Arthur Cook (1939, Buffalo, 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 Prueba de Teoremas"), que también las clases de complejidad P y NP.Cook recibió el Premio Turing en 1982 por su descubrimiento:Por su avance en nuestra comprensión de la complejidad computacional de un modo significativo y profundo.
  • 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“.
  • 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 (Cook-Levinova věta). 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.
rdfs:label
  • Stephen Cook
  • Stephen A. Cook
  • Stephen Cook
  • Stephen Cook
  • Stephen Cook
  • Stephen Cook
  • Stephen Cook
  • Stephen Cook
  • Stephen Cook
  • Кук, Стивен Артур
  • スティーブン・クック
  • 스티븐 쿡
owl:sameAs
http://www.w3.org/ns/prov#wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is dbpedia-owl:wikiPageDisambiguates of
is dbpedia-owl:wikiPageRedirects of
is dbpedia-owl:wikiPageWikiLink of
is foaf:primaryTopic of