该词条未找到_海词词典

您要查找的是不是：

first order modal logic system 一阶模式逻辑系统
His earlier work announced a lyric talent of the first order. 他的早期作品显露了一流的抒情才华。
See also deontic logic, modal logic. 亦请参阅deontic logic、modal logic。
The book contains an excellent discussion of modal logic. 这本书包含了有关模态逻辑的精彩探讨。
The little boy has got a brain of the first order. 这小孩有一个一流的头脑。
She was a snob of the first order. 她是天字第一号势利鬼。
Your first order is quite small. 贵公司的首批订货辆太少。
There exists the similar relation between the necessitation and modal logic. 对必然化规则和模态逻辑系统来说有类似的结果。
We expect payment in advance on first order. 我们希望第一次订货要求预付货款。
Monadic Boolean algebras also have an important connection to modal logic. 一元布尔代数还与模态逻辑有重要联系。
It is a diamond of the first order. 这是一颗上等钻石。
His theory is consistent and Quine's criticism of modal logic is untenable. 其理论是融贯的，奎因对模态逻辑的批评是不成立的。
I got my first order delivered from dangdang.com. 看我够好说话的吧。
Prenex normal form of the first order logic propositional is the key to propositional logic. 对于一阶谓词化为其前束范式问题，一般可以通过三个步骤完成，首先去掉逻辑式中的连接词；
Historical development of modal logic passed the syntactic period,the classic period,and the modern period. 模态逻辑的历史发展经历了语形时期、经典时期和现代时期;
As a new and developing academic subject,modal logic has produced many modal systems which stem from diverse sources. 模态逻辑作为一个新兴的逻辑学科,产生了非常之多的模态系统,这些系统的起源是多元的;
We can extend to you a special first order discount of 2%. 你是第一次订货，我们可以特地给你打2%25的折扣。
Finish the first order, the sales contract come into effect. 签定第一个合同,并执行完毕后,代理协议生效。
Descartes axiom and wisdom axiom in knowledge logic are isombrphic, both of which are corresponding to axiom E in modal logic. 笛卡尔公理与知道逻辑中的智慧公理(格拉底公理)逻辑上是同构的,它们均对应于模态逻辑中的E公理。
The little girl was said to have a brain of first order. 据说这小女孩拥有一流的头脑。