英文字典中文字典


英文字典中文字典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英翻中〔查看〕

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


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

































































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


  • How I Met Your Mother (TV Series 2005–2014) - Full cast . . .
    How I Met Your Mother (TV Series 2005–2014) - Cast and crew credits, including actors, actresses, directors, writers and more
  • ママと恋に落ちるまで - Wikipedia
    本シリーズは、 Craig Thomas および Carter Bays の原作による。 彼ら2人は、エグゼクティブ・プロデューサーでもあり、しばしば脚本も書いている。 本シリーズは彼ら2人が ニューヨーク市 で共に生活していた時の友情に触発されたものであり、本シリーズにもやんわり反映されている。 [1] 本シリーズは、今のところ、4人の監督のみで製作されている。 例えば、米国で放送済みの8シーズン184話のうち、 パメラ・フライマン が172話、 ロブ・グリーンバーグ が7話、 Michael Shea が4話、 ニール・パトリック・ハリス が 1話 である。
  • How I Met Your Mother - Cast Crew — The Movie . . .
    A father recounts to his children - through a series of flashbacks - the journey he and his four best friends took leading up to him meeting their mother
  • ドラマ『ママと恋に落ちるまで』主要キャスト一覧はコチラ . . .
    今回は『ママと恋に落ちるまで』（原題： How I Met Your Mother）のキャスト一覧です。 物語は、ジェイソン・シーゲル演じるマーシャルが恋人と婚約した下りから、ジョシュ・ラドナー演じる、主人公テッドが、（英語圏の父親が我が子に
  • Character List | How I Met Your Mother Wiki | Fandom
    This Character List is a basic listing of all the characters that have appeared in the sitcom How I Met Your Mother, with links to each character's personal page
  • How I Met Your Mother - Full Cast Crew - TV Guide
    Learn more about the full cast of How I Met Your Mother with news, photos, videos and more at TV Guide
  • ママと恋に落ちるまで - 海外ドラマNAVI
    海外ドラマNAVIのデータベースでは、最新・話題作から名作まで、海外ドラマの作品情報、キャスト、スタッフ、ジャンル、配信情報を一括で検索・閲覧できます。
  • Where Is the How I Met Your Mother Cast Now? - People. com
    Here's everything to know about where the cast is today, 20 years after the series first premiered
  • ママと恋に落ちるまで シーズン1 - ドラマ情報・レビュー・評価 . . .
    ジョシュ・ラドナー出演。 2030年、テッドは子供たちに母親との馴れ初めを話す。 運命は、親友マーシャルが恋人リリーにプロポーズをした事で動き出した。 負けず嫌いのテッドは、自分も永遠の愛を見つけようと決心する。 ある日、テッドはロビンという女の子に一目惚れするが、これも失敗に終わってしまう。 本作は、テッドが…
  • How I Met Your Mother Cast: Where Are They Now? Josh . . .
    Neil Patrick Harris and Cobie Smulders are among the stars who appeared in ‘How I Met Your Mother’ — see the cast now





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