Chinese translation for "一阶逻辑的不可判定性"

the undecidability of first-order logic

Related Translations:

判定书:  award

判定抽样:  judgement asampling

判定边界:  decision boundary

问题判定:  problem determination

一般判定:  general estimation

判定债权人:  judgment creditor

判定验证:  decision verification

判定系统:  decision making systemdecision system

执行判定:  commit decision

迷路判定:  maze decision

Similar Words：

"一阶滤波器" Chinese translation, "一阶逻辑" Chinese translation, "一阶逻辑表达的公理规格说明" Chinese translation, "一阶逻辑表达的术语规格说明" Chinese translation, "一阶逻辑表达式" Chinese translation, "一阶马尔柯夫过程" Chinese translation, "一阶马尔柯夫链" Chinese translation, "一阶马尔科夫链" Chinese translation, "一阶马尔可夫过程" Chinese translation, "一阶马尔可夫型" Chinese translation