一阶递归程序

英语翻译

first-order recursive program

拓展翻译

一阶
first order

一阶差分方程
first-order difference equation

一阶导数
first-order derivative

一阶地址
one-level address

一阶动态逻辑
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 predicate logic

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

一阶语言
first-order language

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

一般递归函数
general recursive function

验证程序
approver; certification program; proving routine
validation procedures

验证条件生成程序
verification condition generator

遥测数据分析程序
telemetric data analyzer

遥测数据监督程序
telemetric data monitor