橘子朗文词典

formal theory

F 开头单词

基本解释

  • [數] 形式理論

英汉例句

    雙語例句

  • 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 discipline theory 形式訓練說
  • formal authority theory 正式權限說
  • formal language theory [計]形式語言理論;情勢語言理論;形式語言理論
  • Formal set theory 集郃論
  • formal homology theory 形式同調論

专业释义

    計算機科學技術

  • 形式化理論
  • 形式理論

    • 數學

  • 形式理論
  • 正式理論