查询词典 arithmetic computer

On the base of Frege's study, Russell put forward the theory of types to settle Russell's paradox. On the base of non-set, Russell brought forward axiom of infinity and axiom of option as the premises and built a system. He tried to defined the non-negative integer in logic terms and derive the theorems of arithmetic from the laws of logic by deductive method.

罗素在弗雷格研究的基础上，提出逻辑类型论来解决罗素悖论，以非集合论理论为基础，以无穷公理和选择公理为前提，利用逻辑概念定义数学概念，并构造系统，通过逻辑演绎法从逻辑公理推导数学定理。

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.

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

This paper gives the arithmetic of purchaser and bargainer.

给出了最佳副本选择算法。

That is the arithmetic of Bedlam .

这是乱七八糟的算术。

How to assess the controler's performance, do the faulty detection and forecast it is not only this paper concerns but also attracts many scientists and engineers to research it. This paper uses minimum variance as bench mark, does the performance assessment for the deaerator's control system with filter and correlation arithmetic.

如何评估控制系统的性能，预报故障的发生，并诊断引起控制性能下降的原因，已经引起了学术界和工业界的广泛重视，本文在这方面进行的研究具有一定的实际意义。

This arithmetic can reduce the complexity greatly.3. EBFB was a new class of even-length biorthorgonal wavelet filter banks base on Parametric Bernstein. Due to the uncertainty of parameters of the Bernstein Polynomial, a design method for optimizing EBFB filter banks based on genetic algorithms was presented.

EBFB小波滤波器是基于伯恩斯坦多项式的偶数长双正交小波滤波器组，本文针对伯恩斯坦多项式中参数的不确定性，提出了一种基于遗传算法的EBFB双正交小波滤波器组的优化设计方法。

Some problems in arithmetic bewilder me .

一些代数难题把我弄糊涂了。

The algorithm is modified. The binary arithmetic codec used in JPEG2000 system based on pipeline architecture is presented.

并且采用了流水线的结构，分别设计了基于优化算法的MQ编码器和解码器，从而大大改进了编码和解码的效率。

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.

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

"The operators will suffer a temporary decrease in the number of consumers and short message services as people may not like having to provide their ID cards for a phone number," Xu Junqi, vice-dean with the Policy-Making Institute of the Telecommunications Research Centre under MII, said yesterday.

信息产业部下属的通信决策研究院副主任徐俊其昨天说：&实行手机实名制后，人们可能不太情愿用身份证注册手机号，所以通信运营商会暂时面临用户减少和短信用户减少的问题。&

I don't believe in make-believe!

我不相信这些虚构的故事。