听声词典

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 形式同调论

专业释义

    计算机科学技术

  • 形式化理论
  • 形式理论

    • 数学

  • 形式理论
  • 正式理论