temporal logic的意思

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.───在本文中，我們將研究一些錯誤模式，使用時態邏輯能會對它們產生最積極的影響。

英語使用場景