查询词典 restricted predicate calculus

Well, he conceives God in the creation of the world like a mathematician who is solving a minimum problem, or rather, in our modern phraseology, a problem in the calculus of variations .

众所周知，通过发现切线方法，函数的最大与最小值理论取得了最大进展，这归功于莱布尼茨。他认为上帝在创世中就像一个解决最小值问题--或者用我们当代的术语说，变分法问题--的数学家。

Providing also a self-contained presentation of classical isoperimetric inequalities for eigenvalues and 30 open problems, this book will be useful for pure and applied mathematicians, particularly those interested in partial differential equations, the calculus of variations, differential geometry, or spectral theory.

为eigenvalues和30个开放式问题也提供古典isoperimetric 不平等的拘谨的赠送，这本书将是对纯并且被使用数学家有用的，特别是对偏微分方程，变分法，不同几何学或者光谱的理论感兴趣的那些。

This course offers an introduction to primary convex analysis, linear programming, non-linear programming, dynamic programming, multi-objective programming, multi-level programming, calculus of variations, and optimal control, which are the optimization methods commonly used in economics and finance.

课程内容简介：本课程介绍凸分析基础、线性规划、非线性规划、动态规划、多目标规划、多层规划、变分法、最优控制，这些都是西方经济学、金融学中常用的最优化方法。

From the perspective of the variational discussion of Lagrange\'s contributions to the principles and analyzation of mechanics,the interaction between the calculus of variations and mechanics,especially the variational principles is made clear.

结合拉格朗日微积分代数化方案和18世纪可积性条件的研究，探讨了拉格朗日关于变分法基础研究的数学背景及相关工作；通过对《分析力学》中静力学约束平衡问题的细致考察，系统探讨了变分法中乘子法则的力学渊源、提出过程及意义。

Considering the characteristic of dynamic consolidation in soft soil, L'place transformation is carried out on the basis of relaxed resolution problem of dynamic consolidation in saturated soft soil proposed by Zienkiewicz. With calculus of variations as the principal theory, the function of dynamic consolidation equation is constructed, and further, dynamic consolidation equation in matrix forms is deducted.

本文针对软土地基上动力固结法的特点，在Zienkiewicz提出的饱和土体动力固结定解问题的基础上做拉氏变换，以变分原理为基本理论，构造动力固结方程的泛函，进一步推导得到动力固结方程的矩阵形式表达式。

I can __ __ __ __ __ these calculus problems.

我不了解这些微积分问题。

I'm not a great dancer, and you said you failed calculus.

我不是个很会跳舞的人，而你也说过你的微积分被当！

It's been years of that now. Now it's calculus .

那已经很多年了，现在是微积分。

As the basis of Calculus was not perfect, a lot of questions appeared.

由于当时微积分的基础并不完善，引发了许多的问题。

I mean, I took calculus and economics and all that stuff.

我微积分和经济学学的都很好。

Go to your desktop and right click in a blank space.

请到您的桌面，然后右击一个空白。

Tara appears in Buddhism, Jainism, and particularly, Tibetan Lamaism, as a complex array of manifestations: goddess of ascetism and mysticism, mother creator, protectress of all humans as they cross the sea of life.

度母出现在佛教，耆那教里面，尤其是西藏的喇嘛教，作为一系列的陈列阵容；神秘的女神，创世之母，人类横过生命之海洋的女性保护者。