This HTML5 document contains 48 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

PrefixNamespace IRI
category-eshttp://es.dbpedia.org/resource/Categoría:
dcthttp://purl.org/dc/terms/
wikipedia-eshttp://es.wikipedia.org/wiki/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-eshttp://es.dbpedia.org/resource/
n20http://es.dbpedia.org/resource/Stephen_A.
prop-eshttp://es.dbpedia.org/property/
schemahttp://schema.org/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n19http://genealogy.math.ndsu.nodak.edu/html/id.phtml%3Fid=
n5http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#
n14http://www.cs.utoronto.
n21https://web.archive.org/web/20040618202131/http:/www.math.utoronto.ca/dept/dirfac.
n11http://rdf.freebase.com/ns/m.
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
n18http://es.wikipedia.org/wiki/Stephen_Cook?oldid=128617940&ns=
dbrhttp://dbpedia.org/resource/
Subject Item
dbpedia-es:Edgar_Frank_Codd
prop-es:sucesor
dbpedia-es:Stephen_Cook
Subject Item
dbr:Stephen_Cook
owl:sameAs
dbpedia-es:Stephen_Cook
Subject Item
dbpedia-es:Stephen_Cook
rdf:type
n5:Agent schema:Person wikidata:Q24229398 wikidata:Q215627 owl:Thing dbo:Person dbo:Agent foaf:Person n5:NaturalPerson wikidata:Q5
rdfs:label
Stephen Cook
rdfs:comment
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 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:
owl:sameAs
n11:09tcd
foaf:name
Ken Thompson Dennis Ritchie
dct:subject
category-es:Informáticos_teóricos_de_Estados_Unidos category-es:Alumnado_de_la_Universidad_de_Harvard category-es:Miembros_de_la_Royal_Society category-es:Miembros_de_la_Royal_Society_of_Canada category-es:Matemáticos_de_Estados_Unidos category-es:Nacidos_en_Búfalo category-es:Ganadores_del_Premio_Turing category-es:Miembros_honorarios_de_la_Association_for_Computing_Machinery category-es:Miembros_de_la_Academia_de_Ciencias_de_Gotinga
foaf:isPrimaryTopicOf
wikipedia-es:Stephen_Cook
prop-es:período
1982 2015
prop-es:predecesor
dbpedia-es:Leonard_Kleinrock dbpedia-es:Edgar_Frank_Codd
prop-es:sucesor
dbpedia-es:Dennis_Ritchie dbpedia-es:Ken_Thompson
prop-es:título
dbpedia-es:Premio_Turing dbpedia-es:Premios_Fundación_BBVA_Fronteras_del_Conocimiento
dbo:wikiPageID
419350
dbo:wikiPageRevisionID
128617940
dbo:wikiPageExternalLink
n14:ca n19:14011 n21:html
dbo:wikiPageLength
3248
prov:wasDerivedFrom
n18:0
dbo:abstract
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 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: 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. El matemático ha sido galardonado con el Premio Fundación BBVA Fronteras del Conocimiento 2015 en la categoría de Tecnologías de la Información y la Comunicación “por su importante papel a la hora de determinar qué pueden los ordenadores resolver de forma eficiente y qué no”, según señala el acta del jurado. Además, destacaron que su trabajo “ha tenido un impacto decisivo en todos aquellos campos en los que los cálculos complejos son de vital importancia”.
Subject Item
wikipedia-es:Stephen_Cook
foaf:primaryTopic
dbpedia-es:Stephen_Cook
Subject Item
n20:_Cook
dbo:wikiPageRedirects
dbpedia-es:Stephen_Cook
Subject Item
dbpedia-es:Stephen_A_Cook
dbo:wikiPageRedirects
dbpedia-es:Stephen_Cook
Subject Item
dbpedia-es:Dennis_Ritchie
prop-es:predecesor
dbpedia-es:Stephen_Cook
Subject Item
dbpedia-es:Ken_Thompson
prop-es:predecesor
dbpedia-es:Stephen_Cook