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!