可判定的的英文

可 approve
判定 judge; decide; vote; determi ...
的 4次方是 The fourth power of 2 i ...
半可判定的 semi-decidable
不可判定的 entscheidbar decidable; entscheidend decidable; undecidable
不可判定 entscheidungsproblem
不可判定性 [數(shù)學(xué)] undecidability
遞歸可判定 recursively decidable
可判定性 decidability; entscheidungsproblem
可判定子句 decidable subclause
可判定子類 decidable subclass
不可判定理論 undecidable theory
不可判定問(wèn)題 infeasible decision problem
判定的 predicting
本質(zhì)不可判定性 essential undecidability
不可判定性定理 undecidability theorem
可決定性可判定性 decidability
圖靈可判定語(yǔ)言 recursive language
無(wú)乘法算術(shù)的可判定性 decidability of arithmetic without multiplication
一階邏輯的不可判定性 the undecidability of first-order logic
法院判定的抵押 judicial mortgage
過(guò)失比例無(wú)法判定的碰撞 collision without possibility to establish the degree of respective faults
判定 judge; decide; vote; determine; predicate; decision; criterion; judging; deciding; determining
可判處 punishable
不可判明的 adiagnostic

千萬(wàn)人都在用的超大詞匯詞典翻譯APP

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 ）研究了系統(tǒng)lp與其三元子代數(shù)及經(jīng)典二值系統(tǒng)q之間（廣川重言式的關(guān)系，指出在系統(tǒng)lp中廣義重言式是可判定的