类型理论

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 split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。