Dana Scott
z Wikipédie, slobodnej encyklopédie
| Dana Stewart Scott | |
|---|---|
 americký informatik a matematik |
|
|
|
|
| Narodenie | 11. október 1932 (80 rokov) Berkeley, Kalifornia, USA |
|
Pozri aj Biografický portál |
|
Dana Stewart Scott (* 11. október 1932, Berkeley, Kalifornia, USA) je americký informatik, matematik, logik a filozof. V roku 1976 dostal Turingovu cenu za svoju prácu v oblasti teórie automatov. Výsledkom jeho spolupráce s Christopherom Stracheyom bolo položenie základov moderného prístupu k sémantike programovacích jazykov. Pracoval tiež v modálnej logike, topológii a teórii kategórií.
Iné projekty [upraviť]
Commons ponúka multimediálne súbory na tému Dana Scott
 |
Tento článok týkajúci sa biografie osobnosti je zatiaľ „výhonok“. Pomôž Wikipédii tým, že ho doplníš a rozšíriš. |
