单词盒子

quantification logic

Q 开头单词

基本解释

  • [计算机科学技术]量化逻辑

英汉例句

    双语例句

  • A majority of run parameters of Generator system have no strict relation of logic and quantification. Fault phenomenon and reason, mechanism have more uncertainty.
    发电机系统的大部分运行参数间无严格的逻辑和定量关系，其故障现象与原因及机理之间具有很大的不确定性。
  • PROLOG, a kind of first-order logic-based language, doesn't permit quantification over predicates in grammer sense , hence the expressive range suitable for this language is decreased.
    基于一阶谓词逻辑的PROLOG语言不允许量词作用于谓词，这限制了它的表达和处理范围。

词组短语

    短语

  • standard quantification logic 标准量化逻辑

专业释义

    计算机科学技术

  • 量化逻辑