decidable adj.可決定的，可判定的。
adj. 可決定的，可判定的。 “decidable proposition“ 中文翻譯： 可決策命題“decidable subclass“ 中文翻譯： 可判定子類“decidable subclause“ 中文翻譯： 可判定子句“entscheidbar decidable“ 中文翻譯： 不可判定的“entscheidend decidable“ 中文翻譯： 不可判定的“recursively decidable“ 中文翻譯： 遞歸不可分; 遞歸可判定“semi-decidable“ 中文翻譯： 半可判定的“decidability“ 中文翻譯： 可決定性 可判定性; 可判定性“decicaine“ 中文翻譯： 德次卡因; 丁卡因“decic“ 中文翻譯： 德契奇“decidabledeterminable“ 中文翻譯： 可決定的“deciboyleunitofpressure“ 中文翻譯： 分波義耳“decide“ 中文翻譯： vt. 1.決定，決心。 2.使下決心，使決斷；使解決。 3.裁決，判決。 vi. 1.決定，決心，選定。 2.判決。 That decides me. 那使我下了決心。 decide against 決心不…，決定不采取；決定反對；判決(某人)敗訴。 decide between 于…中抉擇其一，判斷。 decide for [in favour of] 決定；判定(某人)勝訴。 decide on [upon] (a course of action) 決心，決定(采取某種行動)。 “deciboyle“ 中文翻譯： 分波義耳
decide |
|
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中廣義重言式是可判定的 |
|
For the decidable cases of arithmatical sentences , we give the upper and lower bounds of their computational complexity 對具可決定性的算術句型，我們并給出了其計算繁度的上界與下界。 |