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í.

PropertyValue
prop-cs:almaMater
prop-cs:datumNarození
  • 11 (xsd:integer)
prop-cs:jméno
  • Dana Stewart Scott
prop-cs:místoNarození
prop-cs:obor
prop-cs:obrázek
  • Scott Dana small.jpg
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
  • 1932-10-11 (xsd:date)
dbpedia-owl:birthPlace
dbpedia-owl:mainDomain
dbpedia-owl:thumbnail
dbpedia-owl:wikiPageID
  • 711096 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 2288 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 47 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 16172942 (xsd:integer)
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
  • Dana Scott
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
foaf:name
  • Dana Stewart Scott
is dbpedia-owl:wikiPageRedirects of
is dbpedia-owl:wikiPageWikiLink of
is foaf:primaryTopic of