formal theory

基本解釋

• [數(shù)] 形式理論

英漢例句

雙語例句

• 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.
  它是可計算性的形式理論，正如經(jīng)典邏輯是真理的形式理論。
• 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年寫的。
  耶魯公開課 - 文學理論導論課程節(jié)選

權威例句

• 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更多詞組

專業(yè)釋義

計算機科學技術

• 形式化理論
• 形式理論

數(shù)學

• 形式理論
• 正式理論