阿米爾·普努利
時序邏輯在計算機科學(xué)中的應(yīng)用
"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."
設(shè)計中最難的部分是保持功能的簡潔。
"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."
最好的性能改進是從非工作狀態(tài)到工作狀態(tài)的轉(zhuǎn)變。
"The most important single aspect of software development is to be clear about what you are trying to build."
軟件開發(fā)中最重要的一個方面是明確你要構(gòu)建什么。
"The only way to learn a new programming language is by writing programs in it."
學(xué)習(xí)新編程語言的唯一方法就是用它編寫程序。
"Simplicity is the ultimate sophistication."
簡單是最終的復(fù)雜。
"The best way to predict the future is to invent it."
預(yù)測未來的最好方法就是去發(fā)明它。
"The purpose of computing is insight, not numbers."
計算的目的是洞察，而不是數(shù)字。
"The most exciting phrase to hear in science, the one that heralds new discoveries, is not 'Eureka!' but 'That's funny...'"
在科學(xué)中最激動人心的短語，預(yù)示著新發(fā)現(xiàn)的，不是“我找到了！”而是“這有點奇怪……”