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.

Property Value
prop-ca:almaMater
prop-ca:conegutPer
  • Complexitat de prova proposicional
  • NP-completesa
  • Teorema de Cook-Levin
prop-ca:direccioTesi
  • Hao Wang
prop-ca:llocNaixement
prop-ca:nom
  • Stephen Arthur Cook
prop-ca:ocupacio
prop-ca:organitzacio
prop-ca:premis
  • dbpedia-ca:Premi_Turing
  • *
  • * CRM-Fields-PIMS prize * John L. Synge Award * Bernard Bolzano Medal * Gerhard Herzberg Canada Gold Medal for Science and Engineering * Premi de la Fundació BBVA Fronteres del Coneixement
prop-ca:tipusInfotaula
  • científic
dbo:abstract
  • 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, 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)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 1381252 (xsd:integer)
dbo:wikiPageRevisionID
  • 17561492 (xsd:integer)
dct:subject
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, 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)
rdfs:label
  • Stephen Cook (ca)
  • Stephen Cook (ca)
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is foaf:primaryTopic of