英语词汇first-order temporal logic怎么读，是什么意思，单词翻译、读音、固定搭配用法和短语词组及例句-英汉双解词典

1
The aim of this article is to establish the completeness theorem of elementary first-order temporal logic.
本文的目的是：为基本的一阶时态逻辑建立一个完备性定理。
2
We may also use the first-order temporal logic to set some specific formal systems for various fields of studies.
我们也能使用一阶时态逻辑，为各种研究领域建立一些特定的形式系统。
3
Three temporal logics i. e. first-order predicate calculus, modal logic and reified logic are discussed.
讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。

单词	first-order temporal logic
释义	first-order temporal logic 简明释义一组时态逻辑网络释义 1 ?一阶时态逻辑系统一阶时态逻辑系统双语例句 1 The aim of this article is to establish the completeness theorem of elementary first-order temporal logic. 本文的目的是：为基本的一阶时态逻辑建立一个完备性定理。 2 We may also use the first-order temporal logic to set some specific formal systems for various fields of studies. 我们也能使用一阶时态逻辑，为各种研究领域建立一些特定的形式系统。 3 Three temporal logics i. e. first-order predicate calculus, modal logic and reified logic are discussed. 讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。
随便看	foreground operation foreground paging foreground partition foreground picture foreground point foreground priority foreground process foreground process group foreground processing foreground processing foreground processor foreground program foreground programming foreground region foreground rotation foreground routine foregrounds foreground scheduler foreground scheduler task foreground signal foreground star foreground system foreground task foreground window foreguard