Artur Con Robin Qorell Milner

Vikipediya, azad ensiklopediya
Jump to navigation Jump to search
Artur Con Robin Qorell Milner
Doğum tarixi 13 yanvar 1934(1934-01-13)
Doğum yeri
Vəfat tarixi 20 mart 2010(2010-03-20)[1] (76 yaşında)
Vəfat yeri
Vəfat səbəbi ürək tutması
Vətəndaşlığı
Elm sahəsi informatika
İş yeri
Təhsili
Üzvlüyü

Artur Con Robin Qorell Milner (ing. Arthur John Robin Gorell Milner;13 yanvar 1934(1934-01-13), Plimut, Devon qraflığı20 mart 2010(2010-03-20)[1], Kembric ) — hesablama sistemləri nəzəriyyəsi sahəsində ixtisaslaşmış britaniyalı alim.

Həyatı[redaktə | əsas redaktə]

13 yanvar 1934-cü ildə anadan olmuşdur.

1991-ci ildə o, LCF (Logic for Computable Functions) teoremlərin avtomatik isbatının aparılma sistemini, bu sistem üçün ML funksional proqramlaşdırma dilini və CCS (Calculus of Communicating Systems) qarşılıqlı təsirdə olan sistemlər üçün hesablamalar nəzəriyyəsini yaratdığına görə Türinq mükafatına layiq görülmüşdür. 2010-cu ildə “Milner CiteSeer” layihəsində ən çox istinad edilən müəlliflər siyahısında Milner 25-ci yeri tuturdu.

Ədəbiyyat[redaktə | əsas redaktə]

Əliquliyev R.M., Salmanova P.M. İnformasiya cəmiyyəti: maraqlı xronoloji faktlar. Bakı: “İnformasiya Texnologiyaları” nəşriyyatı, 2013, 169 səh.

İstinadlar[redaktə | əsas redaktə]