东南教育网您的位置:首页 >教育行情 >

罗宾·米尔纳(关于罗宾·米尔纳介绍)

导读 大家好,小钱来为大家讲解以上的问题。罗宾·米尔纳,关于罗宾·米尔纳介绍这个很多人还不知道,我们一起来看看!1、 罗宾·米尔纳(Robin

大家好,小钱来为大家讲解以上的问题。罗宾·米尔纳,关于罗宾·米尔纳介绍这个很多人还不知道,我们一起来看看!

1、 罗宾·米尔纳(Robin Milner),英国计算机科学家。

2、生于1934年1月13日,1991年获得世界计算机领域最高奖“图灵奖”。

3、在计算机程序设计语言方面,米尔纳和戈顿等人一起提出了形式化逻辑系统的数学模型,实现了他称之为LCF的一个系统——“可计算函数的逻辑”。

4、另一方面的贡献是关于并发计算(concurrent computing)和并行计算(parallel computing)。

关于罗宾·米尔纳到此分享完毕,希望能帮助到您。

免责声明:本文由用户上传,如有侵权请联系删除!