查询词典 statement calculus

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操作符。

The logical system Qs is obtained from the pure predicate calculus by adding a binary predicate constant S which denotes the sanctions, an individual constant c denoting the state institutions, and some definitions of deontic modal words but not adding axioms or deducible means.

它以狭义谓词演算为基础，在其形式语言中添加专指"制裁"行为的谓词常项，添加专指"国家机关"这种法人的个体常项，添加规范词的定义，但不添加推演工具，就可次生出关于法律规范的逻辑。

Next to calculus, and to other thoughts that have been carried out to completion, the number and variety of premonitory thrusts is overwhelming.

紧接着微积分以及其他业已完成的思想，预兆性突破的数量和种类是势不可挡的。

By investigating Euler\'s application of variational mathematics to mechanics, especially his principle of least action,the mechanics background of his research and its influence on Lagrange are revealed.6.By the discussion of Lagrange\'s innovation and generalization of the calculus of variations,the reason why Lagrange puts forward his method of variation by comparing Euler\'s method is explained.

深入细致地分析了拉格朗日对变(来源：ABC论文2d网www.abclunwen.com)分法所做的变革和发展：(1)通过比较欧拉方法和拉格朗日方法，探讨了拉格朗日变分方法——δ-方法提出的动因；(2)详细论述了拉格朗日早期对变分法发展所作的重要贡献；(3)探究了拉格朗日δ-方法由非参数形式向参数形式转变的原因。7。

The calculus of variations; Euler's equation; the principle of least action;δ-method; the multiplier rule

基础科学，数学，古典数学变分法；欧拉方程；最小作用原理；δ-方法；乘子法则

This subject combines the basic principle of the calculus of variation and and reply and change basic theories of the function according to fracture mechanics, use mechanics, mathematics knowledge to set up corresponding mathematical model, derive out a series of mechanics and mathematics theory formula, work out procedure carry on number value calculate, to include edge crackle round stress intensity factor of component go on, ask, solve.

本课题结合变分法的基本原理并根据断裂力学和复变函数的基本理论，运用力学、数学知识建立相应的数学模型，推导出一系列的力学及数学理论公式，编制程序进行数值计算，对含边缘裂纹圆形构件的应力强度因子进行求解。

No prior preparation in probability and statistics is required, but familiarity with basic algebra and calculus is assumed.

初次学习本课程的学生不需要具备任何概率与统计学的基础，但要求学生熟悉基本的代数学和微积分知识。

Objective:To compare the response control and attention of Schizophrenic patients with that of the healthy controls by Integrated Visual and Auditorycontinuous performance test. To quantitate the impairment of cognitive function in patients, and to explore the relationship between cognitive function and the severity of the disorder.

目的：探讨精神分裂症病人在IVA持续操作测试中的反应控制能力、注意力等，并与健康人进行比较，从而量化精神分裂症病人的认知功能损害，并进一步探讨其认知功能与疾病严重程度的关系。

Main effective factors including subcooling degree, mechanical vibration, gas hydrate reformation, environment temperature, noncondensing gas and surfactant are analyzed.

指出过冷度、机械振动、重复生成水合物、环境温度、不凝性气体、添加剂是影响气体水合物生成的主要因素，还对R152a水合物的放冷进行了实验研究。