Property |
Value |
dbo:abstract
|
- Dana Stewart Scott (nacido en 1932) es el Profesor Emérito de Ciencias de la Computación, Filosofía y Lógica Matemática en Carnegie Mellon University; Se encuentra jubilado y vive en Berkeley, California. Su carrera investigadora alcanzó los campos de las Ciencias de la Computación, Matemáticas y Filosofía, y ha sido caracterizada por combinar una preocupación por elucidar conceptos fundamentales rigurosa pero informalmente, al mismo tiempo que afrontaba los difíciles problemas matemáticos que yacen bajo dichos conceptos. Su trabajo sobre teoría de autómatas le hizo ganar el Premio Turing de la ACM en 1976, mientras que su trabajo en colaboración con Christopher Strachey en los años 1970 fijó los cimientos para los enfoques modernos en semántica de lenguajes de programación. Ha trabajado también en lógica modal, topología y teoría de categorías. Es el redactor jefe de la nueva revista Logical Methods in Computer Science (en inglés). (es)
- Dana Stewart Scott (nacido en 1932) es el Profesor Emérito de Ciencias de la Computación, Filosofía y Lógica Matemática en Carnegie Mellon University; Se encuentra jubilado y vive en Berkeley, California. Su carrera investigadora alcanzó los campos de las Ciencias de la Computación, Matemáticas y Filosofía, y ha sido caracterizada por combinar una preocupación por elucidar conceptos fundamentales rigurosa pero informalmente, al mismo tiempo que afrontaba los difíciles problemas matemáticos que yacen bajo dichos conceptos. Su trabajo sobre teoría de autómatas le hizo ganar el Premio Turing de la ACM en 1976, mientras que su trabajo en colaboración con Christopher Strachey en los años 1970 fijó los cimientos para los enfoques modernos en semántica de lenguajes de programación. Ha trabajado también en lógica modal, topología y teoría de categorías. Es el redactor jefe de la nueva revista Logical Methods in Computer Science (en inglés). (es)
|
dbo:award
| |
dbo:employer
| |
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
| |
dbo:wikiPageRevisionID
| |
prop-es:empleador
| |
prop-es:fechaDeNacimiento
| |
prop-es:imagen
|
- Scott Dana small.jpg (es)
- Scott Dana small.jpg (es)
|
prop-es:nombre
|
- Dana Stewart Scott (es)
- Dana Stewart Scott (es)
|
prop-es:período
| |
prop-es:predecesor
| |
prop-es:premios
|
- Premio Turing 1976 (es)
- Tarski lectures 1989 (es)
- Premio Turing 1976 (es)
- Tarski lectures 1989 (es)
|
prop-es:sucesor
| |
prop-es:título
| |
prop-es:área
| |
dct:subject
| |
rdf:type
| |
rdfs:comment
|
- Dana Stewart Scott (nacido en 1932) es el Profesor Emérito de Ciencias de la Computación, Filosofía y Lógica Matemática en Carnegie Mellon University; Se encuentra jubilado y vive en Berkeley, California. Su carrera investigadora alcanzó los campos de las Ciencias de la Computación, Matemáticas y Filosofía, y ha sido caracterizada por combinar una preocupación por elucidar conceptos fundamentales rigurosa pero informalmente, al mismo tiempo que afrontaba los difíciles problemas matemáticos que yacen bajo dichos conceptos. Su trabajo sobre teoría de autómatas le hizo ganar el Premio Turing de la ACM en 1976, mientras que su trabajo en colaboración con Christopher Strachey en los años 1970 fijó los cimientos para los enfoques modernos en semántica de lenguajes de programación. Ha trabajado t (es)
- Dana Stewart Scott (nacido en 1932) es el Profesor Emérito de Ciencias de la Computación, Filosofía y Lógica Matemática en Carnegie Mellon University; Se encuentra jubilado y vive en Berkeley, California. Su carrera investigadora alcanzó los campos de las Ciencias de la Computación, Matemáticas y Filosofía, y ha sido caracterizada por combinar una preocupación por elucidar conceptos fundamentales rigurosa pero informalmente, al mismo tiempo que afrontaba los difíciles problemas matemáticos que yacen bajo dichos conceptos. Su trabajo sobre teoría de autómatas le hizo ganar el Premio Turing de la ACM en 1976, mientras que su trabajo en colaboración con Christopher Strachey en los años 1970 fijó los cimientos para los enfoques modernos en semántica de lenguajes de programación. Ha trabajado t (es)
|
rdfs:label
|
- Dana Scott (es)
- Dana Scott (es)
|
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
foaf:name
|
- John Backus (es)
- Dana Stewart Scott (es)
- John Backus (es)
- Dana Stewart Scott (es)
|
is dbo:wikiPageRedirects
of | |
is prop-es:estudiantesDoctorales
of | |
is prop-es:predecesor
of | |
is prop-es:sucesor
of | |
is owl:sameAs
of | |
is foaf:primaryTopic
of | |