—— 请按键盘 空白键 开始游戏 ——

关于阿米尔·普努利的名人名言哲理格言警句语录 - 每日文摘
阿米尔·普努利 时序逻辑在计算机科学中的应用

阿米尔·普努利因将时序逻辑引入计算机科学而获得哥德尔奖。他的工作对软件和硬件的形式验证方法产生了重大影响,特别是在并发系统的验证中。

"The best way to get a project done faster is to start sooner."
"The most dangerous kind of waste is the waste we do not recognize."
"The hardest part of design is keeping features out."
设计中最难的部分是保持功能的简洁。
"The best performance improvement is the transition from the nonworking state to the working state."
"The most important single aspect of software development is to be clear about what you are trying to build."
"The only way to learn a new programming language is by writing programs in it."
"Simplicity is the ultimate sophistication."
"The best way to predict the future is to invent it."
预测未来的最好方法就是去发明它。
"The purpose of computing is insight, not numbers."
"The most exciting phrase to hear in science, the one that heralds new discoveries, is not 'Eureka!' but 'That's funny...'"
在科学中最激动人心的短语,预示着新发现的,不是“我找到了!”而是“这有点奇怪……”