temporal logic发音

意思翻译

时序逻辑；时间逻辑

相似词语短语

logic───n.逻辑；逻辑学；逻辑性

cartesian logic───笛卡尔逻辑

effectual logic───有效逻辑

temporal hours───时间

temporal process───[解剖]颞突

temporal artery───[医]颞动脉

temporal bone───n.颞骨; 寿台骨；[解剖]颞骨

temporal lobes───[解剖]颞叶

sophism logic───诡辩逻辑

双语使用场景

Temporal logic always has the ability to reason about a time line.───时序逻辑总是有能力原因时限。

Linear temporal logic is an established discipline.───线性时序逻辑是一个已经确立的规则。

And here is a bit of temporal logic for you. It is raining today.───这里有点时序逻辑，今天下雨。

For seminal work introducing temporal logic into computing science and for outstanding contributions to program and systems verification.───他将时序逻辑引入计算机科学，为程序和系统的检测验证方面提供一种有力的工具。

Then we ll take a look at a tool for processing temporal logic assertions.───然后，我们将研究用于处理时态逻辑断言的工具。

Anylogic which views time as a sequence of states is a temporal logic, and any logic which uses only two truth values is a binary logic.───任何逻辑的观点作为一个时间序列的国家是一个时序逻辑，任何逻辑仅使用了两个真值是一个二元逻辑。

Carries a broad discussion of the philosophical and mathematical foundations of temporal logic.───提供了关于时态逻辑哲学和数学基础的广泛讨论。

In this article, we ll examine some of the bug patterns most positively affected by the use of temporal logic.───在本文中，我们将研究一些错误模式，使用时态逻辑能会对它们产生最积极的影响。

英语使用场景