每日文摘
阿米尔·普努利
时序逻辑在计算机科学中的应用
阿米尔·普努利因将时序逻辑引入计算机科学而获得哥德尔奖。他的工作对软件和硬件的形式验证方法产生了重大影响，特别是在并发系统的验证中。
📝 阿米尔·普努利 的名言
20句名言
让项目更快完成的最好方法是尽早开始。
阿米尔·普努利
时序逻辑在计算机科学中的应用
"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...'"
阿米尔·普努利
时序逻辑在计算机科学中的应用
🎲 随机 · 灵感闪现
✨ 名言如星，拾光而行
