英文字典中文字典


英文字典中文字典51ZiDian.com



中文字典辞典   英文字典 a   b   c   d   e   f   g   h   i   j   k   l   m   n   o   p   q   r   s   t   u   v   w   x   y   z       







请输入英文单字，中文词皆可：

quantifier    
n. 数量词,量记号

数量词,量记号

quantifier
量词

quantifier
量词

quantifier
n 1: (logic) a word (such as `some' or `all' or `no') that binds
the variables in a logical proposition [synonym: {quantifier},
{logical quantifier}]
2: (grammar) a word that expresses a quantity (as `fifteen' or
`many')

An operator in {predicate logic} specifying for which
values of a variable a formula is true. Universally
quantified means "for all values" (written with an inverted A,
{LaTeX} \forall) and existentially quantified means "there
exists some value" (written with a reversed E, {LaTeX}
\exists). To be unambiguous, the set to which the values of
the variable belong should be specified, though this is often
omitted when it is clear from the context (the "universe of
discourse"). E.g.

Forall x . P(x) <=> not (Exists x . not P(x))

meaning that any x (in some unspecified set) has property P
which is equivalent to saying that there does not exist any x
which does not have the property.

If a variable is not quantified then it is a {free variable}.
In {logic programming} this usually means that it is actually
universally quantified.

See also {first order logic}.

(2002-05-21)


请选择你想看的字典辞典：
单词字典翻译
quantifier查看　quantifier　在百度字典中的解释百度英翻中〔查看〕
quantifier查看　quantifier　在Google字典中的解释Google英翻中〔查看〕
quantifier查看　quantifier　在Yahoo字典中的解释Yahoo英翻中〔查看〕

安装中文字典英文字典查询工具!


中文字典英文字典工具:
选择颜色:
输入中英文单字

































































英文字典中文字典相关资料:


  • Vault 7: CIA Hacking Tools Revealed - WikiLeaks
    Today, Tuesday 7 March 2017, WikiLeaks begins its new series of leaks on the U S Central Intelligence Agency Code-named "Vault 7" by WikiLeaks, it is the largest ever publication of confidential documents on the agency
  • Vault 7 - Wikipedia
    Vault 7 is a series of documents that WikiLeaks began to publish on 7 March 2017, detailing the activities and capabilities of the United States Central Intelligence Agency (CIA) to perform electronic surveillance and cyber warfare
  • Fuite massive sur WikiLeaks : un ex-informaticien de la CIA est . . .
    Joshua Schulte, un ancien informaticien de la CIA, a été condamné à 40 ans de prison pour avoir transmis en 2017 au site WikiLeaks des outils de cyberespionnage, « la plus grave fuite de
  • WikiLeaks : un ancien informaticien de la CIA reconnu coupable d
    En 2010, le site WikiLeaks a commencé à divulguer une série de documents classifiés Joshua Schulte, alors informaticien à la CIA, a été l'une des sources de l'organisation Les enquêtes liées
  • Affaire WikiLeaks : un ancien informaticien de la CIA . . . - Le Parisien
    Un ancien ingénieur logiciel de la Central Intelligence Agency (CIA) américaine qui avait été reconnu coupable d’avoir commis le plus grand vol d’informations classifiées de l’histoire de
  • Un informaticien de la CIA responsable d’une fuite massive de données . . .
    Un de ses anciens informaticiens a été condamné, jeudi 1 er février, à quarante ans de prison pour avoir transmis, en 2017, au site WikiLeaks des outils de cyberespionnage
  • De WikiLeaks aux Pentagone papers… Les plus grosses fuites du secret . . .
    Le rédacteur en chef de The Atlantic a reçu par texto le plan d’attaque des Etats-Unis contre les Houthis au Yémen Cette fuite d’informations secret-défense est loin d’être une première pour les
  • WikiLeaks - Vault 7: Projects
    Today, September 7th 2017, WikiLeaks publishes four secret documents from the Protego project of the CIA, along with 37 related documents (proprietary hardware software manuals from Microchip Technology Inc ) The project was maintained between 2014 and 2015
  • Vault 7 — Wikipédia
    Vault 7 est une série de documents que WikiLeaks a commencé à publier le 7 mars 2017, qui détaille des travaux de la Central Intelligence Agency (CIA) dans le domaine de la surveillance électronique et de la cyberguerre
  • WikiLeaks — Wikipédia
    En 2017, WikiLeaks publie Vault 7 qui détaille des activités de la Central Intelligence Agency (CIA) dans le domaine de la surveillance électronique et de la cyber-guerre





中文字典-英文字典  2005-2009