查询词典 restricted predicate calculus

So we present an algorithm based on reachability analysis, and a more complex one which uses a stronger temporal logic (timed predicate μ, calculus) and can verify more properties.

在模型检测的算法方面，本文首先给出了时间符号迁移图上的一个可达性分析算法，随后还定义了能刻划更复杂性质的实时谓词μ演算并给出了检测这些性质的相应模型检测算法。

So anything that you may want to express on a complex object that would seem to require first-order predicate calculus can be expressed actually quite nicely within the confines of the programming language.

所以对于一个复杂对象，任何看起来需要一阶谓词演算才能描述的东西，实际都可以在编程语言范畴内实现十分精细地表述。

But what weve found is that apart from the agents mechanisms, which has been in eiffel now for a number of years, theres really no need for introducing first-order predicate calculus, or there exists operators.

但我们发现使用 eiffel 中已经存在多年的代理机制就可以解决，完全没有必要引入一阶谓词演算和 there exists 操作符。

Also, first-order predicate calculus isnt good enough anyway.

同时，从各方面来说，一阶谓词演算都不是足够好。

The problem solving and inference functions will be provided by the hardware inference mechanism,the control mechanism,parallel processing,the logic programs developed on these machines and the software system for high-order predicate calculus.

FGCS的功能可分成3类：问题的求解和推理功能、基于知识的管理功能和智能接口功能问题的求解和推理功能将由硬件推理机制、控制机制、并行处理，以及在这些机制上开发的逻辑编程及高阶谓词演算软件系统提供。

But what we've found is that apart from the agents mechanisms, which has been in Eiffel now for a number of years, there's really no need for introducing first-order predicate calculus, or there exists operators.

但我们发现使用Eiffel中已经存在多年的代理机制就可以解决，完全没有必要引入一阶谓词演算和there exists操作符。

With the publication of the Dai Wei Ji Shi Ji, a translation of Loomis' textbook Elements of Analytical Geometry and of the Differential and Integral Calculus (1851), in 1859, the differential and integral calculus was introduced into China.

19世纪后期是中国数学由传统向近现代转化的一个重要时期，微积分是近代数学乃至大部分自然科学的最基础的理论，这个理论是从1859年出版的译著《代微积拾级》中介绍到中国来的。

The objective of this investigation was to compare the pharmacodynamics of Sheng Wu Niu Huang with those of the natural calculus bovis and the artificial calculus bovis from the acute toxity, antipyretic effect, hypnotic effect, anticonvulsive effect, anti-inflammatory effect, antiviral effect and the influence on the hemorheology.

运用比较药理学方法将生物牛黄中间体与天然牛黄、人工牛黄从急性毒性试验、解热作用试验、催眠作用试验、抗惊厥作用试验、抗炎作用试验、抗病毒作用试验以及对血液流变学影响等方面进行了药效学比较研究。

Taylor Formula is a very important content of mathematics analysis ,it can focally embody the soul of " approximation" of calculus. And is extensively applied in most aspects of calculus.

泰勒公式是数学分析中非常重要的内容，集中体现了微积分"逼近法"的精髓，在微积分的各个方面都有重要的应用。

An axiomatization of the object calculus as an extension of the axiom system of the trace calculus is also contributed in this paper.

作为逻辑系统，文章还讨论了对象演算的公理化，它是Trace演算公理系统的扩充。

Anna: No, I've got a hangover.

不是，我昨晚宿醉了。

We head into the mountains in Su's new Land Cruiser, stop for lunch at a scenic restaurant and then hang around drinking beer and eating fruit as two of his employees attempt to lure the birds with a tape recording of the fowl's mating call.

我们坐上苏的巡逻车向山顶出发，在一家风景优美的餐馆吃了中饭。然后我们喝着啤酒吃着水果四处逛。