【计】 一组时态逻辑

linear first-order differential equation【数】

first-order language

first-order derivative

first-order predicate calculus

first-order difference equation

first-order asymmetric transformation

first-order dispersive filter

first-order predicate logic