formal theory

基本解释

• [数] 形式理论

英汉例句

双语例句

• Formany purposes no formal theory of value is needed. We can take the market’sword for it.
  我们能够获取最近的市场价格，所以并不需要一个正式的价值评估理论。
• It is a formal theory of computability in the same sense as classical logic is a formal theory of truth.
  它是可计算性的形式理论，正如经典逻辑是真理的形式理论。
• I concluded Part 1 by explaining why it is difficult to apply a formal theory to either weed out programming bugs or prove their absence in arbitrary, large, and complex multithreaded applications.
  在对第一部分进行总结时，我解释了为什么在任意、大型、复杂的多线程应用程序中，很难应用正式的理论消除编程 bug 或证明它们不存在。

原声例句

• Now "The Theory of the Formal Method," Eikhenbaum's essay that you've read for today, was written in 1927.
  这篇，形式语言学理论“,是艾肯鲍姆，在1927年写的。
  耶鲁公开课 - 文学理论导论课程节选

权威例句

• The theory (which I support) is that innovation rarely takes place in any formal setting.
  FORBES: Getting People Face-To-Face Will Increase Collaboration At Yahoo!

• formal theory更多例句

词组短语

短语

• formal discipline theory 形式训练说
• formal authority theory 正式权限说
• formal language theory [计]形式语言理论;情势语言理论;形式语言理论
• Formal set theory 集合论
• formal homology theory 形式同调论

• formal theory更多词组

专业释义

计算机科学技术

• 形式化理论
• 形式理论

数学

• 形式理论
• 正式理论