first-order

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

[计] 一阶理论