go top

finite model theory 添加释义

网络释义英英释义

  有限模型论

有限模型论

基于1个网页-相关网页

短语

Finite and Algorithmic Model Theory 有限和算法模型理论

Finite model theory

  • abstract: Finite Model Theory (FMT) is a subarea of model theory (MT). MT is the branch of mathematical logic which deals with the relation between a formal language (syntax) and its interpretations (semantics).

以上来源于: WordNet

双语例句

  • The SP mill dynamics model rigid and flexibility with clearance was built using finite element and impact theory.

    利用有限元和冲击理论建立SP压力调宽机间隙的刚体弹性体的动力学模型

    youdao

  • Firstly, we introduce the theory of finite mixture model and EM algorithm for maximum likelihood estimation.

    首先介绍有限混合模型理论应用EM算法求解极大似然估计。

    youdao

  • The compact theorem is proved, which states that theory T has model if and only if any finite subset of T has model.

    利用中介逻辑的完备性,本文证明了致性定理理论模型当其任一有子集有模型。

    youdao

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定