网站首页  词典首页

请输入您要查询的计算机术语:

 

术语 quantifier
释义 quantifier
量词
In logic, a word that expresses “universal” or “existential”. The former called universal quantifier is identified by “”; the later called existential quantifier is identified by “”. For example, Y(Y=0) expresses Y=0 for all Y; X(X=a) expresses existence of an X and X=a.
在逻辑学中,表示“所有”和“存在”的一种词。前者称为全称量词,用符号“” 表示;后者称为存在量词,用符号“”表示。例如,Y(Y=0)表示对所有Y,Y=0;又如, X(X=a)表示存在一个X,X=a。
随便看

 

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

 

Copyright © 2004-2023 Winrtm.com All Rights Reserved
京ICP备2021023879号-40 更新时间:2024/10/6 10:34:06