数学符号

First of all, based on the aid of AIS (Automatic Identification System), which can give us the target ship's accurate data and will implement in 2002, we study own ship's relative motion to target vessels, define DCPA and its sign, give mathematic model of collision avoidance, produce the optimal opportunity and action taking of collision avoidance, and obtain a graph of action-taking.

论文首先在2002年将要开始实施的船舶自动识别系统所能提供的准确目标船信息的基础上，研究本船相对于目标船的运动，定义DCPA的大小和符号，推导出船舶避碰数学模型，给出船舶最佳避让行动与时机，得出避让行动曲线图，并且明确最佳避让行动时机不是某个点，而是一个时间段。

Leibniz's discoveries of Boolean algebra and of symbolic logic, also relevant to mathematics, are discussed in the preceding section.

莱布尼茨发现的也与数学相关的布尔代数和符号逻辑，如前所述。

Magnitude is the basic representation during basic mathematical processes, with a consistence across notation and tasks.

数量表征是基础数学认知加工的基本心理表征，具有跨符号与跨任务的稳定性。

The number in basic education of mathematics can be defined as the meaning of number, the method of calculation, the representation of symbol and the basic character, the four of which have intimate connection.

基础教育数学课程"数"的内容可以概括为数的意义、计数方法、符号表示和基本性质四个基本方面。

The product rule and chain rule, the notion of higher derivatives, Taylor series, and analytical were introduced by Isaac Newton in an idiosyncratic notation which he used to solve problems of mathematical physics .

该产品的规则和链的规则，概念，更高的衍生物，泰勒级数，并分析介绍了牛顿的特殊符号，他用来解决问题的数学物理。在他的出版物，牛顿改写他的想法，以适应数学习语的时间，取代的计算几何无穷小的等价论点被认为是无可指责的。

In a mathematical or logical expression, a symbol that may be replaced by the name of any element of a set .

占位符号数学或逻辑用语，可以用其它元素的名称代替的符号

Deploying rock-solid numerics with world-class symbolics, Maple 9.5 offers full computing support for any activity involving mathematics. Supporting this powerful technology is a rich user environment unsurpassed in ease-of-use and an extensive range of features to shorten the learning curve and to maximize productivity gains.

它是当今世界上最优秀的几个数学软件之一，它以良好的使用环境、强有力的符号计算、高精度的数值计算、灵活的图形显示和高效的编程功能，为越来越多的教师、学生和科研人员所喜爱，并成为他们进行数学处理的工具。

If you hope the certificate, when seeks for the Fermat's theorem with ten year the primary proof defeat to be possible to come back, you definitely may prove, from the Maxwell time, these smatters to mathematics the human in starts with more and more complex mark cover mathematics thought insufficiency, hides constructs the natural law in the studio, gains God's favor.

如果你希望证明，当用十年的时间寻找费马大定理的初等证明的失败可回来，你完全可证明，自麦克斯韦时代起，那些对数学一知半解的人就在开始用越来越复杂的符号掩盖数学思维的不足，躲在书房里构造自然规律，获取上帝的宠幸。

"Formalists believed mathematics to be the manipulation of configurations of symbols according to prescribed rules, a "game" independent of any physical interpretation of the symbols."

形式主义相信数学是按照预先规定好的规则来操纵一些符号的配置，是与这些符号的任何物理解释无关的一种「游戏

"Formalists believed mathematics to be the manipulation of configurations of symbols according to prescribe d rules, a "game" independent of any physical interpretation of the symbols."

形式主义相信数学是按照预先规定好的规则来操纵一些符号的配置，是与这些符号的任何物理解释无关的一种「游戏

Since historical times,England ,where the early inhabitants were Celts, has been conquered three times .

从有历史以来，英国，在此地早期居住的是凯尔特人，已经被征服了三次。

Bluetooth OBEX File Transfer Enables the sending and receiving of files on your phone via Bluetooth.

蓝牙OBEX文件移动允许经过蓝牙传送和接受文件。。。。