线性分析的逻辑流 logic flow
提出的线性时序逻辑 LinearTemporalLogic ; LTL
的线性逻辑斯蒂克模型 LLTM ; linear logistic trait model
线性时序逻辑是一个已经确立的规则。
逻辑与线性思维的关键是知道应该从你的心理空间里排除什么。
The key to logical, linear thinking is knowing what to exclude from your mental space.
巴斯先生用来实现这一转化过程的工具是线性时序逻辑，一种可以表达过去和未来的详细约束的数理逻辑系统。
The tool Mr Barth is employing to effect this transition is linear temporal logic, a system of mathematical logic that can express detailed constraints on the past and the future.
应用推荐