查询词典 propositional calculus

An adequate version of CCS is developed, and weak bisimulation of this calculus is proved to be a congruence relation.

提出了一个CCS的变形系统，证明了系统的弱互模拟是同余关系。

High School: Algebra, Geometry, Advanced Algebra, Trigonometry, Pre-Calculus conics and limits

高中：代数，几何，高等代数，三角学，？圆锥和极限

In the refutation tree of predicate calculus, the proved conjunctive formula.

在谓词演算的反驳树中，被证明的合式公式。

Firstly, the approach formulates a cost functional to turn the inverse problem into a constrained minimization problem according to least squares criterion, then the resulting constrained minimization problem is transformed into an unconstrained minimization problem by using a penalty function technique, and then the closed Fr chet derivatives of the Lagrange function with respect to the properties are derived based on the calculus of variations, finally, one can solve the resulting problem by using any gradient-based algorithm and the finite-difference time-domain method.

该方法首先以最小二乘准则构造目标函数，将逆问题表示为约束最小化问题；接着应用罚函数法转化为无约束最小化问题；然后基于变分计算导出闭式的拉格朗日函数关于特征参数的Fr chet导数；最后借助梯度算法和时域有限差分法迭代反演德拜模型参数。

But, in fact, the application of contour integral is more important, its application in integral calculus, physics and engineering science is quite extensive.

但更重要的是其应用，周线积分在积分学、力学、工程学方面应用相当广泛。

This paper probes into its application in integral calculus especially--- utilizing contour integral to calculate relational real integral.

本文重点探讨它在积分学当中的应用——利用周线积分计算有关的实积分。

To formalize this algorithm,crosscutting contract calculus and a set of contract elaboration rules are presented.

为了形式化这个算法，提出Crosscutting Contract演算和一组契约求解规则，并通过定义和证明契约完备性来保证契约求解过程的正确性。

This paper describes the general principle, calculus for thin film comparative method of cryoscopy ,and concerned problems in the measure.

介绍了熔点下降薄层比较法的原理、计算方法和测量时需注意的问题。

The improved voltage model of rotor flux is proposed in the paper. It eliminates the influence to actual system function in the voltage model of rotor flux for the proper drift problem and cumulative error of pure integral calculus tache.

提出了改进的电压型转子磁链估算模型，消除了电压型转子磁链估算模型中纯积分环节所固有的漂移问题和积累误差对实际系统性能的影响。

When propagating light\|ray passes through two fixed points in the gradient index mediums and a cuspidal variable\|point （at this point the trace equation of propagating light\|ray is non\|differentiable） at the borderline of two different GRIN mediums, the mathematical relationship, which the trace equation of propagating light\|ray and borderline equation of two different GRIN mediums should satisfy, is derived by the Fermat's principle and calculus of variation.

当光线通过梯度折射率介质中两个固定点和两个GRIN介质界线上的可动尖点（光线轨迹方程的不可微点）时，由费马原理和变分法运算推得传输光线的轨迹方程与两种不同GRIN介质的界线方程应满足的微分关系式。

Sodium citrate; calcium carbonate; calcium hydroxide; potassium bicorbonate; magnesium carbonate; ferrous sulphate; Zinc sulphate; copper sulphate; manganese sulphate; potassium iodide; sodium selenite.

柠檬酸钠；碳酸钙；氢氧化钙；碳酸氢钾；碳酸镁；硫酸亚铁；硫酸锌；硫酸铜；硫酸锰；碘化钾；亚硒酸钠。

All this to say that I'm glad filmmaking hasn't become completely ironic. I can enjoy an ironic film as much as the next person, but they usually involve a message of some sort. One that's delivered in a smirkingly clever way that requires little in the way of talent.

所有这些都是说，我很高兴电影制作没有变成完全讽刺艺术，我可以和下一个人一样享受讽刺电影的乐趣，虽然他们经常会被划归到一定级别，技术方面不需要很高的才能。