| 释义 |
atom
原子
1.The atomic formula is called atom for short in predicate calculus.
在谓词演算中,有时将原子公式简称为原子。
2.A member of the Herbrand base is called atom in automatic theorem proving.
在自动定理证明中,海尔勃朗基的成员也称为原子。
3.A basic unit of data structure. An atom corresponds to a single record which h as one or more data fields.
数据结构的基本单位,一个原子对应于带有一个或多个数据域的单个记录。
4.An operator or operand in a computer instruction.
计算机指令中的操作符或操作数。 |