查询词典 simple theory of types
- 与 simple theory of types 相关的网络例句 [注:此内容来源于网络,仅供参考]
-
The paper is based on field work, the author classified the folk temple into 3 types: 1, the simple temples spontaneously built by root class: peasants, 2, the great temple which have symbolic meanings, 3, the temple as part of tour buildings which have some official backgrounds. In the following section, the author analysised the causes of the classification in theory, thereof, he discussed the function and value of folk religion.
本文在实地调查的基础上分析了民间寺庙的三种类型-一是较为自发和简易的"三间房"类型;二是带有象徵意味的较为雄壮气派的类型;三是带有旅游参观性质的具有一定官方背景的类型;并分析各种类型寺庙的建立原因,分别给予理论上的解释,由此进一步讨论了民间宗教的功能及其价值。
-
We know that the simple theory of types have already eliminated Russell paradox, but why Russell introduced the theory of order types .
指出简单类型论已经消除了罗素悖论,但为什么罗素要引入很少有人接受的分支类型论呢?
-
Therefore, this article first comparative analyze the branchesb between simple type theory and the theory of order type then described the reason is that Russell want to hold on his perspective of the position of philosophy, from simple theory of types to the theory of order types is a necessity across.
为此,本文首先比较分析了简单类型论与分支类型论在内容构建的区别,并进而从罗素实在论的哲学立场角度出发,分析了从简单类型论到分支类型论的跨越是有着必然性的。
- 推荐网络例句
-
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.
这种做法不仅鼓励了更多的反应,而且减少跟风的可能性。
-
The new PS20 solar power tower collected sunlight through mirrors known as "heliostats" to produce steam that is converted into electricity by a turbine in Sanlucar la Mayor, Spain, Wednesday.
聚光:照片上是建在西班牙桑路卡拉马尤城的一座新型PS20塔式太阳能电站。被称为&日光反射装置&的镜子将太阳光反射到主塔,然后用聚集的热量产生蒸汽进而通过涡轮机转化为电力