Дейна Скот: Разлика между версии

8 байта добавени ,  преди 3 години
м
замяна с n-тире
м (Премахване на Категория:Информатици; Добавяне на Категория:Американски информатици, ползвайки HotCat)
м (замяна с n-тире)
 
== Hагради ==
* 1990 - награда „Харолд Пендър“ за прилагането на понятия от логиката и алгебрата за развитието на математическата семантика на езиците за програмиране;
* 1997 - награда „Ролф Шок“ в логиката и философията на [[Кралска шведска академия на науките]] за неговите концептуално ориентирани трудове по логика, особено създаването на домейн теория;
* 2001 - награда „Болцано“ на Чешката академия на науките за заслуги в областта на математическите науки;
* 2007 - EATCS Award заради приноса му към теоретичните компютърни науки.
 
== Външни препратки ==