计算机术语“quantifier”的中英文意思、释义、翻译及用法-计算机英汉双解词典

术语	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。
随便看	automatic calling unit(ACU) automatic carriage automatic carriage return automatic catalog search automatic centering automatic check automatic check interrupt automatic coding automatic computer automatic constant automatic control panel automatic data migration automatic data processing(ADP) automatic data processing system automatic date and time indication automatic deactivation automatic decimal alignment automatic decimal tab automatic device backup automatic dialing automatic dictionary automatic digital computer automatic digital network automatic directory automatic document classification

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