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!