Робін Мілнер: відмінності між версіями
[неперевірена версія] | [неперевірена версія] |
Вилучено вміст Додано вміст
Немає опису редагування |
Немає опису редагування |
||
Рядок 34:
== Біографія ==
Робін Мілнер народився у Ялмптоні, що біля [[Плімут_(Англія)|Плімуту (Англія)]], у родині військових. З 1947 року навчався в [[Ітонський коледж|ітонському коледжі]], після чого проходив військову службу в інженерних військах [[Британська армія|британської армії]] ({{lang-en|Royal Engineers}}).
У 1991 Мілнер отримав [[Премія Тюрінга|премію Тюрінга]] за свої наукові досягнення.
== Наукові досягнення ==
Мілнер розробив одну з найперших програм для [[Автоматичне доведення|автоматичного доведення]] під назвою LCF ({{lang-en|Logic for Computable Functions}}), для чого він також створив мову програмування [[ML]] ({{lang-en|Meta-Language}}).
== Посилання ==
Рядок 43 ⟶ 47:
== Література ==
* Виступ Робіна Мілнера з нагоди отримання [[Гонорис кауза|почесного диплому]] від [[Болонський університет|Болонського університету]] ({{lang-en|[http://www.cs.unibo.it/icalp/Lauree_milner.html]}}).
* Резюме Робіна Мілнера ({{lang-en|[http://www.cl.cam.ac.uk/archive/rm135/cv.pdf PDF]}}).
{{ВП-портали|Біографії|Англія|Математика}}
|