Направо към съдържанието

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

16 байта изтрити ,  преди 10 години
редакция без резюме
Редакция без резюме
Редакция без резюме
 
==Работата на Скот за този период му носи награди:==
Харолд Pender - награда за прилагането му на понятия от логиката и алгебра за развитието на математическата семантика на езиците за програмиране от 1990 г.;
В 1997 Rolf Schock - награда в логиката и философията на [[Кралска шведска академия на науките]] за неговите концептуално ориентирани логични работи, особено създаването на домейн теория.
Болцано - награда за заслуги в областта на математическите науки от Чешката академия на науките от 2001 г..
EATCS Award за 2007 г. за неговия принос към теоретичните компютърни науки.
 
==Източници==
14

редакции