十一 30

/ 吕娜

名人堂

又一位图灵奖得主去世了,他是受人尊敬的时序逻辑领域大师艾米尔• 伯努利(AmirPnueli)。今年11月2日,这位1996年度图灵奖得主因脑出血去世,享年68岁,只剩那些熠熠生辉的科技成就留给后人。

艾米尔• 伯努利于1941 年出生于以色列的Nahalal,在以色列理工学院取得数学学士学位,1967 年在魏茨曼学院以一篇关于海洋潮汐计算的毕业论文取得应用数学博士学位。而后伯努利留校任教。

在计算机出现后的最初几十年里,计算机实质上是一个巨大的计算器,数字被录入,计算结果被输出。直到20世纪70年代,科学家们才意识到需要正确地验证这些计算结果。随着电脑变得更强大,软件更先进,多任务和变化的数据核查变得更加困难。因此,程序员不得不考虑到时间推移下系统的行为。在这个契机下,时序逻辑被引入计算科学,这是计算科学发展历史的重要转折点。

时序逻辑也叫时态逻辑(temporal logic),是计算机科学里一个很专业很重要的领域。时序逻辑被用来描述为表现和推理关于时间限定的命题的规则和符号化的任何系统,主要用于形式验证。20 世纪60 年代Arthur Prior提出介入的基于模态逻辑的特殊的时间逻辑系统,这一理论后来被艾米尔•伯努利等逻辑学家进一步发展。 阅读全文 »

标签:
阅读:11,773 次
preload preload preload
京ICP备06065162