Logical assertion的意思|示意
美 / /
英 / /
逻辑断言
Logical assertion的网络常见释义
逻辑断言 所谓流程图是用弧(arc)互相连接的一些框图，每条弧的边上都有一个“标志”(tag)，实际上就是一个逻辑断言(logical assertion)，它保证当控制经过这条弧时为真。
Logical assertion相关例句
The logical formulas are an ordered binary pair, the first element is an assertion and the second is a definable domain or approximations of undefinable domain corresponding to the assertion.
这种逻辑公式的结构是有序二元对，第一元是断言；第二元是对应于这个断言的可定义集或不可定义域集的近似集。