算术的

Gdel's second incompleteness theorem can be stated as follows: For any formal effectively generated theory T including basic arithmetical truths and also certain truths about formal provability, T includes a statement of its own consistency if and only if T is inconsistent .

第二，他证明了，对于任意的数学系统，如果其中包含了算术系统的话，那么我们不能在这个系统内部证明它的一致性。这就是希尔伯特第二问题答案的一部分。

The part in an instruction that specifies the kind of arithmetical or logical operation to be performed , but not the address of the operands

指令中指明将要完成的算术运算或逻辑运算类型的那一部分，而不是操作数地址的部分。

It have programmable memorizer in which some operation instructions such as logic operation, sequence operation, timing, counting is saved and runs, and then it can control kinds of mechanism and process through input and output of digital or analog signal.

它采用可以编制程序的存储器，用来在其内部存储执行逻辑运算、顺序运算、计时、计数和算术运算等操作指令，并能通过数字式或模拟式的输入输出，控制各种类型的机械或生产过程。

Computer arithmetic is the theoretical foundation of operations in microprocessor and transcendental function is an important branch of it.

计算机算术是微处理器运算的数学基础，其中一个非常重要的部分就是超越函数的计算问题。

In this article, I will add in the necessary code to carry out semantic actions on the input, and therefore provide a fully functional modular arithmetic calculator.

在这篇文章中，我将添加必要的代码进行语义动作的输入，因此提供了一个全功能的模块化算术计算器。"/页"

The following code snippet defines the parser used in my modular arithmetic calculator.

下面的代码片断在我的定义模算术计算器使用的分析器。

The MSc in Quantitative Finance is a balanced programme of finance and computational methods, which will suit numerate, competitive students looking for careers in finance that stretch their quantitative talents....

在计量金融硕士，是一个主要的金融和计算方法，平衡的方案，这对于算术，竞争学生在金融职业表述，伸展数量的人才。。。。

This thesis mainly considers how the arithmetical conditions of conjugacy classes and element order s of a finite group influence its structure respectively.

本文主要研究有限群中共轭类和元素的阶的算术条件对群结构的影响。

IFD Calc for Pocket PC is a calculator, that allows you to calculate basic and complicated arithmetic expressions.

通用计算器的掌上电脑是一个计算器，它可以让您的计算基本和复杂的算术运算。

The experimental results indicate that prime root-mean-square deviation measured by this method is almost linear with the arithmetical mean deviation of the surface-samples.

实验结果表明，应用本测量方法得到的轮廓均方根偏差最佳估计值σp与表面样品给定的轮廓算术平均偏差Ra成很好的线性关系。

With Death guitarist Schuldiner adopting vocal duties, the band made a major impact on the scene.

随着死亡的吉他手Schuldiner接受主唱的职务，乐队在现实中树立了重要的影响。

But he could still end up breakfasting on Swiss-government issue muesli because all six are accused of nicking around 45 million pounds they should have paid to FIFA.

不过他最后仍有可能沦为瑞士政府&议事餐桌&上的一道早餐，因为这所有六个人都被指控把本应支付给国际足联的大约4500万英镑骗了个精光。