请输入您要查询的英文单词:

 

单词 existential quantifier
释义
existential quantifier
  • 简明释义
  • 存在量词:一种量词(例如在句子“for some x, 2x + 5 = 8”中的“for some”),它断言存在至少一个被称为存在运算符的变量值。
  • 网络释义
  • 1

    ?存在量词

    量词全称量词(Universal Quantifiers)存在量词 (Existential Quantifiers)2.3 谓词逻辑法CISICCISICCISICCISICCISICCISICCISICCISICCISICCISICCISICCISICCISICCISICCISICCISICCISICCISIC武汉工程大学 智能...

  • 双语例句
  • 1
    The disadvantage of Spark compared to a standard EBNF-based tool is that it is more verbose and that it lacks direct occurrence quantifiers (i.e., existential "+", possible "*", limited "?").
    Spark 与标准的基于 EBNF 的工具相比缺点在于,它比较冗长,而且缺少直接的出现计量符(即表示存在的“+”,表示可能性的“*”和表示有限制性的“?”)
随便看

 

英汉双解词典包含3185865条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。

 

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/1/25 23:09:04