first-order asymmetric transformation
[化] 一级不对称转换
first-order correlation
un. 一阶相关
first-order dependence
[计] 一级相关性
first-order derivative
[计] 一阶导数
first-order difference equation
[计] 一阶差分方程
first-order differential equation
[计] 一阶微分方程
first-order dynamic logic
[计] 一阶动态逻辑
first-order equation
[计] 一阶方程, 一次方程
first-order language
[计] 一阶语言
first-order logic
[计] 一阶逻辑
first-order modal logic
[计] 一阶模态逻辑
first-order predicate calculus
[计] 一阶谓词演算
first-order predicate logic
[计] 一阶谓词逻辑
first-order reaction
[机] 一级反应
first-order recursive program
[计] 一阶递归程序
first-order subroutine
[计] 一级子程序
first-order temporal logic
[计] 一组时态逻辑
first-order theory
[计] 一阶理论