go top

finite model property 添加释义

网络释义英英释义

  有限模型性质

"canonical" and "finite model property" are different conceptions,which are relevant to the system s completeness.

基于6个网页-相关网页

Finite model property

  • abstract: In logic, we say a logic L has the finite model property (fmp for short) if there is a class of models M of L (i.e.

以上来源于: WordNet

双语例句

  • "Canonical" and "finite model property" are different conceptions, which are relevant to the systems completeness.

    系统典范性有限模型性质与“完全性”紧密相关却又有本质不同概念

    youdao

  • From the example of the system KW, the paper shows that finite canonical model and filtration are two different ways to prove finite model property, but they have something in common on techniques.

    通过KW系统说明有限典范模型模型证明系统有限模型性质两种不同方法技术许多共性

    youdao

  • The property of the near field subwavelength imaging in a metal thin-film structure is investigated using finite difference time domain method based on Drude model.

    采用基于等离子体物理模型的时域有限差分方法模拟金属薄膜成像特性采用薄膜传输矩阵方法计算了金属薄膜对倏逝波分量的放大作用。

    youdao

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

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

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