数学符号

It consists both of the mathematical study of logic and the application of this study to other areas of mathematics.

数理逻辑是数学的一个分支，其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。

Cartographic symbol and the mathematical expression of cartography can make scientific thinking comparative.

地图符号和地图学概念的数学化表述，可使科学思维具有可比性。

Modifications also exist for other languages, for mathematical and technical material , and for musical notation.

其它的语言、数学和技术资料、音乐符号都可用布拉耶盲字来表示。

In this paper, two methods of size normalization of expression notation are studied.

符号的归一化是数学表达式识别中的一个最常见，而又最重要的预处理算法之一。

The computational forms of conservative and nonconservative full—potential equations in an arbitrary non—orthogonal coordinate system have been developed by using simple and convenient mathematical derivation.

一、用简便易懂的数学推导，给出了一般曲线坐标系上守恒及非守恒型全位势方程的计算形式，对推导中引进的符号从物理上作了解释。

In mathematics, a cross is a plus sign.

数学中，十字形是表示相加的符号。

Because the DNA sequence from mathematical point of view is a string of four symbols, a very long string of four symbols which somehow contains information about everything in our body.

DNA序列在数学的角度上看是一条含有四个符号的、承载着人类一切信息的长链。

Their mathematical achievements included positional notation and the use of zero; in astronomy, they accurately calculated a solar year, compiled precise tables of positions for the Moon and Venus, and were able to predict solar eclipses.

他们的数学成就包括位置符号和使用的零，在天文学，他们准确地计算出太阳年，编制为月球和金星阵地的确切表，并能预测日食。

By using logical symbols and quantifier, and logical expressions can be used to express the English?

使用逻辑符号和量词，可以用逻辑表示式来表达英语语句，这在数学命题，逻辑编程和人工智能中特殊实用。

Wittgenstein increasingly comes to believe that logic was a straightjacket, not a tool, and that it deluded us into thinking of words as fixed symbols that could be manipulated according to a mathematical calculus.

维特根斯坦越来越来认为，逻辑是一种约束，而不是一种工具，它蒙骗我们进入思想的话是固定的符号，可以操纵根据一个数学演算。

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文件移动允许经过蓝牙传送和接受文件。。。。