您要查找的是不是:
- Formulas of first order logic 一阶逻辑的公式
- Implementation of first order logic model generation 一阶逻辑模型生成器的实现
- A new algebraic proof of completeness of first order logic 一阶逻辑完备性定理的新代数证明
- The little girl was said to have a brain of first order. 据说这小女孩拥有一流的头脑。
- 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 一阶逻辑与一阶理论
- His earlier work announced a lyric talent of the first order. 他的早期作品显露了一流的抒情才华。
- The formula of the medicine is still a secret. 此药的配方仍是秘密。
- In this paper, by using the fixed point index method, the authors discussed the periodic boundary value problem of first order differential systems. 摘要利用锥上的不动点指数研究了一阶非线性常微分方程组的周期边值问题。
- It was Hart who created the basic formula of the western film. 正是这个哈特创造了西部电影的基本格局。
- This method is held true for machining the cylinder helical screw-rod whose sectional profile is of first order continuous differentiable curve.For ... 该算法适用于各种截面廓型为一阶连续可微曲线的圆柱螺旋面螺杆加工,并可通过分段处理技术实现对截面廓型由多段曲线组合而成的螺杆进行自动编程加工。
- The micell of block copolymer conjugates releases drugs followed the rule of first order equation and had no burst effect. 键合物胶束体外释药遵从一级动力学,不存在突释现象。
- The conditions with periodic solution are discussed in detail relating to fractional linear recursive relation of first order and some useful conclusions are obtained. 对一阶分式线性递归关系具有周期解的条件进行了详细讨论,得到若干有用的结论;
- Kim B. Bruce gave a system of axioms lor second order logic L(Q). Bruce于1978年提出二阶逻辑L(Q)的概念和公理系统。
- Some solvability conditions of periodic solutions are obtained for a class of first order superquadratic non-autonomous Hamiltonian systems in light of the minimax methods of critical point theory. 摘要运用临界点理论中的极小、极大方法得到一类超二次哈密顿系统的周期解的存在性的存在性定理。
- Kim B.Bruce gave a system of axioms for second order logic L(Q). Kim B.;Bruce于1978年提出了三价逻辑L(Q)的逻辑公理系统。
- Today we will learn the formula of triangle area. 这节课我们学习三角形面积的计算公式。
- We have changed the formula of the washing powder. 我们已改变了洗衣粉的配方。
- On the basis of hypothesis of first ordered linear error this paper derived the kinematics posture error model of end operator. 摘要基于一阶线性误差假设推导了空间机器人末端操作器运动学位姿误差模型。