谓词演算
_
predicate calculus
исчисление предикатов; исчисление предикатов, логика предикатов
predicate calculus
пословный:
| 谓词 | 演算 | ||
грам.
1) предикатив (в китайской грамматике: глагол и прилагательное)
2) сказуемое, предикат; см. 谓语
|
мат. исчисление, вычисление, действие; упражняться в решении математических задач; математические упражнения
|