A-A+

decidable

音标与读法

这里为大家介绍下decidable 是什么意思,希望能帮助到各位朋友。

中英文翻译

adj.

可决定的,可判定的。

例句与用法

1.For the decidable cases of arithmatical sentences , we give the upper and lower bounds of their computational complexity

对具可决定性的算术句型,我们并给出了其计算繁度的上界与下界。

2.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中广义重言式是可判定的

单词网DanCi.583316.coM

Copyright © 58单词网 583316.Com.  SiteMap.  

分享到: