Robota.sk - za lepším zamestnaním, robotou a pracou

alebo nájdi dovolenku:

Robota.sk Za lepším zamestnaním.

Hľadať zamestnanie pre fulltextom

Dana Scott

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

čítajte viac o Dana Scott

Encyklopédia: ROBOTA.SK > Osobnosti USA > Filozofi USA >

Albert Einstein
Estetici USA
Logici USA

Príbuzné výrazy:

Text je dostupný za podmienok Creative Commons Attribution/Share-Alike License 3.0 Unported; prípadne za ďalších podmienok.
Podrobnejšie informácie nájdete na stránke Podmienky použitia.