temporal logic

常見例句

He constructed several software development environments using the tools that included a set of hierarchical languages based upon temporal logic.
他使用包括一組基于時(shí)間邏輯的分等級語言的工具建立了若干軟件開發(fā)環(huán)境。
An Academy member, Professor Tang is well known for his work in temporal logic and perhaps best known for a set of tools he developed, known as the XYZ tools.
作為一名院士，唐教授以其對時(shí)間邏輯的研究著稱，而他最廣為人知的工作也許是他開發(fā)的一組工具，稱為XYZ工具。
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.
巴斯先生用來實(shí)現(xiàn)這一轉(zhuǎn)化過程的工具是線性時(shí)序邏輯，一種可以表達(dá)過去和未來的詳細(xì)約束的數(shù)理邏輯系統(tǒng)。