decidable 中文意思是什麼
decidable
解釋
adj. 形容詞 可決定的,可判定的。-
For the decidable cases of arithmatical sentences, we give the upper and lower bounds of their computational complexity
對具可決定性的算術句型,我們並給出了其計算繁度的上界與下界。 -
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中廣義重言式是可判定的
分享友人