在 中文 中使用 演算 的示例及其翻译为 英语
{-}
-
Political
-
Ecclesiastic
-
Programming
演算个ν.
The nu-object calculus- ν Obj.系统演算.
演算骑士团；在.
Knights of the Lambda Calculus.Milner对系统演算.
The Calculus of Communicating Systems.但是演算并不像谁留下和谁没有那么简单。
But the calculus isn't as simple as who remains and who does not.可计算指标的演算和分析.
Calculation and analysis of calculable indicators.但是存在着不是强规范化的有类型lambda演算。
There exist, however, typed lambda calculi that are not strongly normalizing.这种演算经常只有一个基本类型，通常考虑为o{\displaystyleo\,}。
Frequently the calculus with only one base type, usually o{\displaystyle o}, is considered.年，他已经着手设计另一台革命性的机器，可以进行任何演算。
By 1837 he had already begun the design of arevolutionary new machine that could perform any calculation.构造演算可以被当作Curry-Howard同构的扩展。
The Calculus of Constructions can be considered an extension of 由於元组关系演算是关系数据库的查询语言，因此要定義关系数据库。
Since the calculus is a query language for relational databases we first have to define a relational database.最后，他梦想能够制造出完成这些演算的机器，从而使心灵从创作性的思考中解脱出来。
Finally, he dreamed of machines capable of carrying out calculations, freeing the mind for creative thought.有类型lambda演算在为编程语言设计新类型系统的时候扮演了关键性角色；.
Typed lambda calculi play an important role in the design of type systems for programming languages;本课程教授基本进化演算、其理论、如何执行使用并用于日常的实践中。
This course teaches basic evolutionary computing, its theory, how it works, and how you can use in your daily practice.这是一个游戏，以改善自己的心理算术演算（你的孩子也可以！），但在同一时间的乐趣。
This is a game to improve your mental arithmetics and calculus(your children also can!) but having fun at the same time.根据这些数据，人们将被演算评估，判断他们会否对一党制国家构成威胁。
Based on these data, people will be evaluated by algorithms that will determine whether they pose a threat to the one-party state.如果在酷刑问题上不能接受此类演算，为何在社会保护问题上应该接纳？?
If such a calculus is unacceptable in relation to torture, why should it be entertained in relation to the right to social protection?Leonhard指出，未来的关键点会是演算，或科技，以及“androrithms”，和人情味。
The key components of the future are algorithms, or technology, and“androrithms,” or the human touch, noted Leonhard.在交互中可以交换的数据类型的选择是区分不同进程演算的关键特征之一。
The choice of the kind of data that can be exchanged in an interaction is one of thekey features that distinguishes different process calculi.演算主题包括限制，基本功能，最大值和最小值，以应用程序的第一和第二导数，和变化率。
Calculus topics include limits, first and second derivatives of the basic functions, applications to maxima and minima, and rates of change.如果就此采用危险演算分析，我认为，就这些事实而言，新西兰提出了初步确凿的证据。
If the calculus of the risk analysis were applied in this way, then on these facts a prima facie case is made out by New Zealand in my opinion.比如带有所有类型的一个类型（Type:Type）的依赖类型lambda演算由于Girard悖论而不是强规范化的。
For example the dependently typed lambda calculus with a type of all types(Type: Type) is not normalizing due to Girard's paradox.在lambda演算中，函数被认为是第一类对象，因此函数可以当作输入，或作为其它函数的输出返回。
In lambda calculus, functions are'first-class' citizens, i. e functions can be used as inputs or be returned as outputs from other functions.并且为了处理这种情况，一个重要的工具是所谓张量分析或里奇演算，对数学家来说这是新的。
And in order to handle this kind of situation, an important tool is the so-called tensor analysis,or Ricci calculus, which was new to mathematicians.这种现象要求演算建模运算具有比Church-Turing论文提供的表达性更精确的特征。
This phenomenon calls for a more precise characterisation of the expressivity of calculi modeling computation than that afforded by the Church-Turing thesis.他们通过自己的研究，有效的利他主义，学生们发现最终的慈善排名网站做太多的影响演算为他们的。
Through their own research into effective altruism, the students eventually discoveredcharity-ranking websites that do much of the impact calculus for them.研究人员通过“晶体结构预测”模型进行演算发现，在极度的压力之下，一种稳定的氦钠化合物能够形成。
Researchers performed calculations through a“crystal structure prediction” model and found that under extreme pressure, a stable helium-sodium compound can form.使用进程演算来对生物系统建模（随机π演算，BioAmbients，BetaBinder，BioPEPA，Branecalculus）。
Using process calculus to model biological systems(stochastic\pi-calculus, BioAmbients, Beta Binders, BioPEPA, Brane calculus).纯数学是最抽象的数学课程的形式，将呈现，处理不同种类的数字，结构，抽象的空间计算和演算。
Pure mathematics is the most abstract form that Mathematics courses will present, dealing with different types of numbers, structures,abstract spatial calculations and calculus.
