一阶谓词演算

英语翻译

first order predicate calculus; first-order predicate calculus

拓展翻译

一阶谓词逻辑
first-order predicate logic

一阶
first order

一阶差分方程
first-order difference equation

一阶导数
first-order derivative

一阶地址
one-level address

一阶递归程序
first-order recursive program

一阶动态逻辑
first-order dynamic logic

一阶方程
first-order equation

一阶理论
first-order theory

一阶逻辑
first order logic; first-order logic

一阶码
one-level code

一阶模态逻辑
first-order modal logic

一阶微分方程
first-order differential equation

一阶语言
first-order language

一阶约化密度矩阵
first order reduced density matrix

演算
figure; perform mathmatical calculations
D-calculus

演算翻译
algorithm translation

演算设备
arithmetic unit

演算语言
algorithmic language

眼压加一
T+1