所谓流程图是用弧(arc)互相连接的一些框图,每条弧的边上都有一个“标志”(tag),实际上就是一个逻辑断言(logical assertion),它保证当控制经过这条弧时为真。
基于2012个网页-相关网页
作为模态逻辑的继承,与数理逻辑的又一外延,时态逻辑断言推理则有效地解决这方面出现的难题。
As is inherited from modal logic and another extension of mathematic logic, temporal logic assertion inference can solve such problems.
在实例的应用程序中,可以使用更复杂的逻辑来收集断言的用户标识。
In actual applications, there would be a more complex logic to collect the user identity for assertion.
恰恰相反,这是一种略带威胁口吻的断言:我说的是对的,逻辑站在我这一边。
Instead it is a slightly threatening way of asserting: I'm right and I have logic on my side.
应用推荐