一阶动态逻辑

英语翻译

first-order dynamic logic

拓展翻译

一阶模态逻辑
first-order modal logic

一组时态逻辑
first-order temporal logic

一阶
first order

一阶差分方程
first-order difference equation

一阶导数
first-order derivative

一阶地址
one-level address

一阶递归程序
first-order recursive program

一阶方程
first-order equation

一阶理论
first-order theory

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

一阶码
one-level code

一阶微分方程
first-order differential equation

一阶谓词逻辑
first-order predicate logic

一阶谓词演算
first order predicate calculus; first-order predicate calculus

一阶语言
first-order language

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

业务动态分析
dynamic business analysis

英国劳氏船舶动态日报
Lloyd's shipping index

永久动态存储器
permanent dynamic storage

油层动态
performance of the reservoir