| 术语 | 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条计算机术语英汉翻译词条，基本涵盖了全部常用计算机术语的翻译及用法，是计算机学习及翻译工作的有利工具。