查询词典 constructive mathematics

Measure wotd is close.accurate.succinct and generally used. It not only concentrate foundation mathematics langrage pithy, but also deeply reveals the connotation of foundation mathematics. The subtle expression of measure woad states accurately the different meanings betWeen notions.

量词的作用在于严密、精确、简洁、通用，它不仅浓缩精炼了数学基础理论，同时深刻地揭示了数学基础理论的内涵，量词的微妙变化，准确地勾勒出概念之间的本质区别。

Laplace transform has broad application of space, Laplace transform the complex function addressed in practical applications are very important, LaPlace integral transformation in pure mathematics and applied mathematics are in a powerful tool.

拉普拉斯变换有着广阔的应用空间，拉普拉斯变换在复变函数论及实际应用中都很重要，拉普拉斯积分变换在纯数学以及应用数学中都是一个有力的工具。

Intuitionism clashed with classical mathematics in so far as Brouwer held that there are no truths beyond experience and hence that the law of the excluded middle could not be applied to all mathematical statements (in particular infinitary parts of mathematics are indeterminate with respect to some properties).

直觉发生冲突，只要布劳威尔认为，有经验之外没有真理，因此，该排中律不能适用于所有（在数学部分，特别是infinitary数学命题是对一些性质不确定的古典数学）。

With the help of the concepts of Lebesgue measure and Lebesgue integral in real function,the mathematics model of concurrent design of life-oriented progressive die is advanced. Which were the Lebesgue measure and Lebesgue integral of die substructures and a general mathematics model of the relation between progressive die structure and die substructures.

运用实变函数中的Lebesgue测度和Lebesgue积分的概念，结合面向寿命的级进冲模并行设计的特点，建立了面向寿命的级进冲模并行设计数学模型—模具子结构的Lebesgue测度和Lebesgue积分，提出了级进冲模结构与模具子结构关系的一般数学表达式。

This article rests on the higher vocational education the mire goal,had pointed out mathematics education in the higher vocational education status,the function and the duty,and aims at in the present higher professional col- leges and universities mathematics education existence question,unifies some experience,proposed set of brand-new reforms mentalities and the concrete reform plan and the measure.

本文依据高等职业教育的培养目标，指出了数学教育在高等职业教育中的地位、作用及任务，并针对目前高职院校中数学教育存在的问题，结合一些实践经验，提出了一套全新的改革思路和具体的改革方案及措施。

The model includes the mathematics model of the linear system and mathematics model of the non- linear system.

模型包括线性系统的数学模型及非线性系统的数学模型。

After that according to conclusion of real checkout four surfaces by the curve log mathematics model the peeling optimization mathematics model is set up. Then comparison total solving the key technology and theory problems for the peeling veneer process from the beginning of changer the log centering checkout and the data procession to the final centering optimization process.

随后根据实测原木四个截面检测的结果，根据弯曲原木的数学模型建立起旋切定心优化的数学模型，从而比较完整地解决了旋切原木从上木、定心检测、数据坐标转换处理到优化定心过程中的主要关键理论、工艺问题。

Logic value in mathematics teaching indicts the significance of logic in mathematics teaching.

数学教学的逻辑价值是指逻辑在数学教学中的意义。

Mathematics ; logic ; mathematics teaching ; logic value

数学；逻辑；数学教学；逻辑价值

But it is not a whole failure. Russell' contribution lies in his study of mathematics logicism promoting the development of mathematics logic.

但这种失败只是部分失败，其成功之处在于，罗素的数学逻辑主义研究对数理逻辑的发展作出了重要的贡献。

We are in a good position to meet your requirements.

我们完全可以满足你方的需求。

We are all pervade d with a sense of disaster.

我们普遍有大祸降临的感觉。