模态逻辑为可能性与必然性的研究提供了精确的形式化工具。
邹崇理名人名言哲理格言警句语录 邹崇理
On new ideas: "There'll always be serendipity involved in discovery."
新发现的获得往往包含意外因素。
杰夫·贝索斯
大家乐观的时候，风险已经孕育。
王石
坚持自主创新，把关键核心技术掌握在自己手中。
钱七
生活的魅力就在于它的不可知，我们只是去为未来做努力！
董卿
仇恨会以毁灭性的方式摧毁人类身体里的灵魂。要干脆地爱一切。
罗伯特·瓦尔泽
软件开发中最重要的一个方面是明确你要构建什么。
The most important single aspect of software development is to be clear about what you are trying to build.
艾伦·佩利
Great deeds are usually wrought at great risks.
伟大的事业通常是在巨大的风险中完成的。
希罗多德
客户的需求就是我们的追求，要始终以客户为中心。
林印孙
你不讨厌，可是全无用处。
钱钟书
The true power of a database lies in its ability to connect disparate pieces of information and reveal patterns that were previously hidden.
数据库的真正力量在于它能够连接不同的信息片段并揭示以前隐藏的模式。
詹姆斯·格雷
我觉得这个名字的寓意是很好的，可能有点难但是我会努力加油，不负青春，不负他们。
杨超越
所谓的罪，如同世上根本不存在的怪物。不要试图拿什么布来遮住它，也不要错误地把它视如生命一样，紧紧地抱着它生活。
韩江
我不是说唱歌手，我是一个阅读的传奇。
I'm not a rapper, I'm a reading legend.
艾米纳姆
新事物的香味太过浓郁，他们虚脱的头脑受不了，必须靠时光冲淡这一味道。艺术品一定要积满成年灰尘后才会有人领悟。
司汤达
真正酷爱自由的人并不奔赴已有自由的地方，他们要在没有自由或失去自由的地方创造自由，夺回自由。
巴金
我是很弱的人。为了掩饰这一点，我才稍微张扬一些而已。
东野圭吾
其实你是一幅画，狠狠往这旧人心上挂。
黄伟文
现在，是苦修的时候，要忍受枯燥无味的生活和压力，但是知道你在这片土地上，在我身旁，我就充满了耐心和勇气。
加缪
男人飞蛾差点带走一个男人的梦想。
C·罗纳尔多