算术的

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成很好的线性关系。

We have no common name for a mime of Sophron or Xenarchus and a Socratic Conversation; and we should still be without one even if the imitation in the two instances were in trimeters or elegiacs or some other kind of verse--though it is the way with people to tack on 'poet' to the name of a metre, and talk of elegiac-poets and epic-poets, thinking that they call them poets not by reason of the imitative nature of their work, but indiscriminately by reason of the metre they write in.

索夫农 、森那库斯和苏格拉底式的对话采用的模仿没有一个公共的名称；三音步诗、挽歌体或其他类型的诗的模仿也没有——人们把&诗人&这一名词和格律名称结合到一起，称之为挽歌体诗人或者史诗诗人，他们被称为诗人，似乎只是因为遵守格律写作，而非他们作品的模仿本质。

The relationship between communicative competence and grammar teaching should be that of the ends and the means.

交际能力和语法的关系应该是目标与途径的关系。