罗宾·米尔纳
删除回忆
精选回答
1、罗宾·米尔纳(Robin Milner),英国计算机科学家。
2、生于1934年1月13日,1991年获得世界计算机领域最高奖“图灵奖”。
3、在计算机程序设计语言方面,米尔纳和戈顿等人一起提出了形式化逻辑系统的数学模型,实现了他称之为LCF的一个系统——“可计算函数的逻辑”。
4、另一方面的贡献是关于并发计算(concurrent computing)和并行计算(parallel computing)。
水样年华 2023-12-15 19:39:20
相关推荐
腿毛少怎么变多
腿毛的多与少主要是由基因遗传及自身的内分泌所决定的,从理论上来说雄性激素越多,雌性激素相对越少的情况下会促进荷尔蒙的释放,毛发的数量也会增多。所以在平常的生活中适当的进行一些运动,可以刺激体内产生雄性激素,会有...
展开详情凄凉的反义词
1、凄凉的反义词是欢乐,喜庆,温馨,繁荣,热闹,和煦。2、凄凉,指悲苦;寂寞;悲凉;冷落。形容环境孤寂、冷清。见北魏·杨炫之《洛阳伽蓝记·建中寺》:有一凉风堂,本腾避暑之处,凄凉常冷,经夏无蝇,有万年千岁之树也...
展开详情红枣泥包子怎么做
1、主料:面粉180g,枣泥适量,元贞糖1小勺,酵母(干)适量。2、水80g,加入1小勺白糖搅匀后倒入酵母粉(铺平水面)。3、面粉180克加入酵母水拌成絮状,揉成团(期间觉得干的话可以用手沾水,一点点的揉进去)...
展开详情