可判定的的英文

• decidable
• decideable

• "可"英文翻译    approve
• "判定"英文翻译    judge; decide; vote; determi ...
• "的"英文翻译    4次方是 The fourth power of 2 i ...
• "半可判定的" 英文翻译 :    semi-decidable
• "不可判定的" 英文翻译 :    entscheidbar decidable; entscheidend decidable; undecidable
• "不可判定" 英文翻译 :    entscheidungsproblem
• "不可判定性" 英文翻译 :    [数学] undecidability
• "递归可判定" 英文翻译 :    recursively decidable
• "可判定性" 英文翻译 :    decidability; entscheidungsproblem
• "可判定子句" 英文翻译 :    decidable subclause
• "可判定子类" 英文翻译 :    decidable subclass
• "不可判定理论" 英文翻译 :    undecidable theory
• "不可判定问题" 英文翻译 :    infeasible decision problem
• "判定的" 英文翻译 :    predicting
• "本质不可判定性" 英文翻译 :    essential undecidability
• "不可判定性定理" 英文翻译 :    undecidability theorem
• "可决定性 可判定性" 英文翻译 :    decidability
• "图灵可判定语言" 英文翻译 :    recursive language
• "无乘法算术的可判定性" 英文翻译 :    decidability of arithmetic without multiplication
• "一阶逻辑的不可判定性" 英文翻译 :    the undecidability of first-order logic
• "法院判定的抵押" 英文翻译 :    judicial mortgage
• "过失比例无法判定的碰撞" 英文翻译 :    collision without possibility to establish the degree of respective faults
• "判定" 英文翻译 :    judge; decide; vote; determine; predicate; decision; criterion; judging; deciding; determining
• "可判处" 英文翻译 :    punishable
• "不可判明的" 英文翻译 :    adiagnostic

• The system ip and relations of classification of generalized tautologies among the systems ip and its 3 - valued system and the system c2 is investigated . it is proved that generalized tautologies are decidable in the system ip
  本文分两种情形b一0与p 0 ）研究了系统lp与其三元子代数及经典二值系统q之间（广川重言式的关系，指出在系统lp中广义重言式是可判定的

• 可判定的的法语：décidable