算术

The most important development in mathematical logic for the philosophy of mathematics was Godel's proof that any axiomatic system powerful enough to formalise arithmetic will be incomplete in the sense that there will be truths which are not provable within the system.

数理逻辑中最重要的数学哲学的发展是哥德尔的证明，任何公理系统足够强大以正式算术将在这个意义上不完全会有真理不属于系统内证明的。

To lose one's balance .Balance a budget; a balanced budgetThe state of being in equilibrium.

设立这一项目是为了使整个借方和贷方达到算术上的平衡。

That is the arithmetic of Bedlam .

这是乱七八糟的算术。

We can use software to do most calculation but not use hardware. The most basic circuit doing calculation in the computer is binary adder. For example, we can use of addition to do subtracting, continuous adding to do multiplication, and continuous subtracting to do division.

在电脑的世界里，可以做任何数字系统且复杂的演算，但是大多数的演算都藉由软体来解决，而非用硬体直接进行各种演算，电脑的硬体或其他数位电路在做算术运算时，最基本的电路往往只有二进位加法器而已，至於减法可藉由补数的加法解决，乘法等於连续的加法，除法则是连续的减法，可见加法器在运算数位系统中的重要性。

Topic : expressed in a binary tree arithmetic expressions on the basis of the design of a four decima...

题目内容：在以二叉树表示算术表达式的基础上，设计一个十进制的四则运算的计算器。

In this thesis, we first discuss the algorithms of arithmetic operations over binary fields using a polynomial basis representation.

本文首先讨论了有限域上基本算术运算的算法，对有限域上的椭圆曲线理论进行了研究，分析了椭圆曲线上的核心算法——数乘算法。

Since the algorithm of binary arithmetic codec in JPEG2000 standard is not efficient enough and not suitable for VLSI implementation.

针对JPEG2000标准中的二进制算术编码算法编码效率较低，不适合硬件实现的特点，对算法进行了一定的改进。

Jpeg2000 international standards of binary arithmetic algorithm elaborate.

Jpeg2000国际标准中的二进制算术算法详细讲解。

The binary arithmetic operations have the conventional priority levels.

二元算术运算符的优先级符合我们的正常习惯。

We propose a full hardware implementation of Context-Based Adaptive Binary Arithmetic Encoder.

我们在此论文中提出在H.264/AVC中全文自适应二进制算术编码的全硬体架构设计的编码器。

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.

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