Dana Stewart Scott (* 11. října 1932, Berkeley, USA) je americký informatik, matematik, logik a filosof. V roce 1976 získal společně s Michaelem O. Rabinem Turingovu cenu za práci v oblasti teorie automatů. Výsledkem jeho spolupráce s Christopherem Stracheyem bylo položení základů moderního přístupu k sémantice programovacích jazyků. Pracoval též na poli modální logiky, topologie a teorie kategorií.
| Property | Value |
|---|
| prop-cs:almaMater
| |
| prop-cs:datumNarození
| |
| prop-cs:jméno
| |
| prop-cs:místoNarození
| |
| prop-cs:obor
| |
| prop-cs:obrázek
| |
| prop-cs:ocenění
| |
| prop-cs:pracoviště
| |
| prop-cs:wikiPageUsesTemplate
| |
| dbpedia-owl:abstract
|
- Dana Stewart Scott (* 11. října 1932, Berkeley, USA) je americký informatik, matematik, logik a filosof. V roce 1976 získal společně s Michaelem O. Rabinem Turingovu cenu za práci v oblasti teorie automatů. Výsledkem jeho spolupráce s Christopherem Stracheyem bylo položení základů moderního přístupu k sémantice programovacích jazyků. Pracoval též na poli modální logiky, topologie a teorie kategorií.
|
| dbpedia-owl:almaMater
| |
| dbpedia-owl:award
| |
| dbpedia-owl:birthDate
| |
| dbpedia-owl:birthPlace
| |
| dbpedia-owl:mainDomain
| |
| dbpedia-owl:thumbnail
| |
| dbpedia-owl:wikiPageID
| |
| dbpedia-owl:wikiPageLength
| |
| dbpedia-owl:wikiPageOutDegree
| |
| dbpedia-owl:wikiPageRevisionID
| |
| dbpedia-owl:wikiPageWikiLink
| |
| dbpedia-owl:wikiPageWikiLinkText
|
- Dana Scott
- Dana Scottem
- Danem Scottem
|
| dcterms:subject
| |
| rdf:type
| |
| rdfs:comment
|
- Dana Stewart Scott (* 11. října 1932, Berkeley, USA) je americký informatik, matematik, logik a filosof. V roce 1976 získal společně s Michaelem O. Rabinem Turingovu cenu za práci v oblasti teorie automatů. Výsledkem jeho spolupráce s Christopherem Stracheyem bylo položení základů moderního přístupu k sémantice programovacích jazyků. Pracoval též na poli modální logiky, topologie a teorie kategorií.
|
| rdfs:label
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| foaf:name
| |
| is dbpedia-owl:wikiPageRedirects
of | |
| is dbpedia-owl:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
