您要查找的是不是:
- Predicate logic of first order 一阶谓词逻辑
- Model representation method based on first order predicate logic is proposed. This method is applied in DSS. Finally, its utility and inference mechanism are analyzed. 给出了一种应用于决策支持系统,基于一阶谓词逻辑的模型表示方法,并分析了此种表示方法的实用性和推理机制.
- Representing the meta-meta model with a first order language based on predicate logic, the meta-model turns out to be the interpretation of that formal language. 用基于谓词逻辑的一阶语言表示该元元模型,使不同元模型成为该形式语言的不同解释。
- The little girl was said to have a brain of first order. 据说这小女孩拥有一流的头脑。
- In two-valued predicate logic a class of special interpretations of first language with nonempty finite domains is introduced. 摘要在二值谓词逻辑中引入了一阶语言的一类特殊解释,该类解释中的解释域取为非空有限集。
- A MODEL REPRESENTATION METHOD BASED ON FIRST ORDER PREDICATE LOGIC 一种基于一阶谓词逻辑的模型表示方法
- pure predicate calculus of first order 一阶纯谓词演算
- His earlier work announced a lyric talent of the first order. 他的早期作品显露了一流的抒情才华。
- first order predicate logic 一阶谓词逻辑
- In this paper, by using the fixed point index method, the authors discussed the periodic boundary value problem of first order differential systems. 摘要利用锥上的不动点指数研究了一阶非线性常微分方程组的周期边值问题。
- 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. 对一阶分式线性递归关系具有周期解的条件进行了详细讨论,得到若干有用的结论;
- Predicate logic of higher order 高阶谓词逻辑
- I had to concede the logic of this. 我得承认这件事情有它的逻辑。
- The logic of this was weird to say the least. 至少可以说,这个逻辑推理是奇怪的。
- 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. 摘要运用临界点理论中的极小、极大方法得到一类超二次哈密顿系统的周期解的存在性的存在性定理。
- Mathematical Logic of Winning Strategy for Games? 围棋必胜法的数理逻辑观照?
- Class implements the core logic of the utility. 类实现实用程序的核心逻辑。
- On the basis of hypothesis of first ordered linear error this paper derived the kinematics posture error model of end operator. 摘要基于一阶线性误差假设推导了空间机器人末端操作器运动学位姿误差模型。