该词条未找到_海词词典

您要查找的是不是：

first order logic axima system 一阶逻辑公理系统
Prenex normal form of the first order logic propositional is the key to propositional logic. 对于一阶谓词化为其前束范式问题，一般可以通过三个步骤完成，首先去掉逻辑式中的连接词；
The two-valued weak model of the first order logic with generalized quantifier Q is generalized to be valued in complete weak complemented lattices.For finite linearly-ordered weak complemented lattice, the omitting type theorem is proved. 将带广义量词Q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上，对有限的线性序弱可补格证明了省略型定理。
FIRST ORDER LOGIC AND FIRST ORDER THEORY 一阶逻辑与一阶理论
Implementation of first order logic model generation 一阶逻辑模型生成器的实现
A new algebraic proof of completeness of first order logic 一阶逻辑完备性定理的新代数证明
Proving Several Theorems in First Order Logic Based on Back-and-Forth Method 向前向后法证明一阶逻辑的几个定理
Kim B. Bruce gave a system of axioms lor second order logic L(Q). Bruce于1978年提出二阶逻辑L(Q)的概念和公理系统。
His earlier work announced a lyric talent of the first order. 他的早期作品显露了一流的抒情才华。
Kim B.Bruce gave a system of axioms for second order logic L(Q). Kim B.;Bruce于1978年提出了三价逻辑L(Q)的逻辑公理系统。
The little boy has got a brain of the first order. 这小孩有一个一流的头脑。
She was a snob of the first order. 她是天字第一号势利鬼。
Formulas of first order logic 一阶逻辑的公式
Your first order is quite small. 贵公司的首批订货辆太少。
We expect payment in advance on first order. 我们希望第一次订货要求预付货款。
It is a diamond of the first order. 这是一颗上等钻石。
I got my first order delivered from dangdang.com. 看我够好说话的吧。
first order logic 一阶逻辑
A criterion is put forward to adjudge the degree of approach of the solar collector to a first order system. 同时提出了当集热器很好的符合一阶系统时更准确得出时间常数的方法。
We expect payment in advance on first orders. 第一次订购我们希望预付货款。