Such actions to seek knowledge and to understand what information we already knew were captured by the Latin phrase 'sapere aude' or 'dare to know'.
这些探索知识并且理解已知信息的行为可以用拉丁文‘Sapere aude’或英文‘dare to know’描述。
The book sets up a "Ten Questions about COVID-19" section, which explains the knowledge of COVID-19 (including how it spreads) , helping children readers to understand the virus basing on reason and science.
本书设置了“关于新冠病毒的十个问题”部分,解释了关于新冠病毒的知识(包括它是如何传播的),帮助儿童读者在理性和科学的基础上理解病毒。
We certainly have not given up on formal methods, but we realize that they are still quite difficult to understand, require specialized knowledge, and do not have great tool support.
我们当然没有放弃正式的方法,但我们认识到,它们仍然是相当难以理解,需要专业的知识,而且没有很好的工具支持。
应用推荐