类型理论

In chapter two, with the direction of correlation theory, this thesis analyzed the human resources demand of and YangQuan Coal Industry Group, and clarified the human resources demand styles.

第二章在相关理论的指导下，对阳煤集团战略人力资源需求进行了分析，阐明了阳煤集团战略所需主要人力资源特别是战略人力资源的类型。

The paper applies the fractal theory to the research of fractal dimensions of the content of Au in Shuangqiaoshan Group, and discusses the relation.

本文利用分形理论研究了双桥山群金含量的分维数结构特征，并对其含金性进行了评价，初步探讨了双桥山群赋存矿床类型、矿床作用与其分形结构特征之间的关系。

These years,the study of moral education model mainly focus on the theory of itself and its types.

近年来，对德育模式的研究主要集中于德育模式的自身理论研究与德育模式的类型研究方面。

But there are other types of theory which might, even more appropriately, be called "expression_r theories."

但是，还有一些其他类型的理论，更精确地说，或许也可以叫做"表现论"。

Finally,the article brings some contemporaryarchitecture types into theory of the Ornamentism to probe .

文章最后把当代一些建筑类型纳入装饰主义的理论中进行探讨。

With his logic position. It can be said that the theory of types is a means to achieve Russell's dream.

可以说，类型论是罗素为实现其逻辑主义梦想而产生的一个重要理论。

They seemed to confirm his theory that these types of spiral movements may be a particularly efficient way to generate force in a small sphere of space.

他们似乎证实他的理论，这些类型的螺旋运动，可能是一个特别有效的方式来产生的力量在一个小范围的空间。

Russell 'Mathematical Logic as based on the Theory of Types' in van Heijenoort From Frege to Godel.

二罗素，'数理逻辑的基础上，理论类型'的车Heijenoort，从弗雷格的哥德尔。

Jung's theory of Psychological types theorizes that there are fundamental differences in the way people process information or act based on their personality.

荣格的心理类型推理理论表明，人们处理信息的方式与个性行为之间存在着根本性的不同。

The theory of abstract data types will provide the key to this problem, by allowing programs to access data by external properties rather than physical implementation.

抽象数据类型的理论将会提供这个问题的答案，既允许程序用外部特性而非物理实现来存取数据。

The concept of equivalent rotationally rigidity is offered and the formula of rotationally rigidity is obtained.

主要做了如下几个方面的工作：对伸臂位于顶部的单层框架—筒体模型进行分析，提出了等效转动约束的概念和转动约束刚度的表达式。

Male cats normally do not need aftercare with the exception of the night after the anesthetic.

男猫通常不需要善后除了晚上的麻醉。