每日文摘
每日教程
生活就像海洋,只有意志坚强的人,才能到达彼岸。
每日文摘
每日教程
首页
名言
文案
人物
标签
著作
推荐
搜索
—— 请按键盘
空白键
开始游戏 ——
阿米尔·普努利
时序逻辑在计算机科学中的应用
阿米尔·普努利因将时序逻辑引入计算机科学而获得哥德尔奖。他的工作对软件和硬件的形式验证方法产生了重大影响,特别是在并发系统的验证中。
让项目更快完成的最好方法是尽早开始。
"The best way to get a project done faster is to start sooner."
阿米尔·普努利
"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 most dangerous kind of waste is the waste we do not recognize."
最危险的浪费是我们没有意识到的浪费。
阿米尔·普努利
设计中最难的部分是保持功能的简洁。
"The hardest part of design is keeping features out."
阿米尔·普努利
"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 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 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."
阿米尔·普努利
"The only way to learn a new programming language is by writing programs in it."
学习新编程语言的唯一方法就是用它编写程序。
阿米尔·普努利
简单是最终的复杂。
"Simplicity is the ultimate sophistication."
阿米尔·普努利
"Simplicity is the ultimate sophistication."
简单是最终的复杂。
阿米尔·普努利
预测未来的最好方法就是去发明它。
"The best way to predict the future is to invent it."
阿米尔·普努利
"The best way to predict the future is to invent it."
预测未来的最好方法就是去发明它。
阿米尔·普努利
计算的目的是洞察,而不是数字。
"The purpose of computing is insight, not numbers."
阿米尔·普努利
"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...'"
阿米尔·普努利
"The most exciting phrase to hear in science, the one that heralds new discoveries, is not 'Eureka!' but 'That's funny...'"
在科学中最激动人心的短语,预示着新发现的,不是“我找到了!”而是“这有点奇怪……”
阿米尔·普努利