类型理论

On the base of Frege's study, Russell put forward the theory of types to settle Russell's paradox. On the base of non-set, Russell brought forward axiom of infinity and axiom of option as the premises and built a system. He tried to defined the non-negative integer in logic terms and derive the theorems of arithmetic from the laws of logic by deductive method.

罗素在弗雷格研究的基础上，提出逻辑类型论来解决罗素悖论，以非集合论理论为基础，以无穷公理和选择公理为前提，利用逻辑概念定义数学概念，并构造系统，通过逻辑演绎法从逻辑公理推导数学定理。

It is shown that the weak plane of sedimentary structure such as the bedding of weak plane type, sets or cosets plane, bedded plane and unconformity interface will produce main influence on the mechanical properties of sedimentary rock mass.

基于沉积结构面的成因类型，通过理论分析和实验研究，分析了沉积结构面的变形与破坏特征，研究了沉积结构面力学特征及其力学效应，提出了弱面型层理、层系或层系组界面和岩层面以及不整合面均为沉积构造弱面，这些弱面对沉积岩体力学性质产生重要的影响。

The objective was to study the target of benzimidazole carbamate drugs against Cysticerci cellulosae and give theoretical basis for type evolution and new drug design.

研究苯并咪唑氨基甲酸酯类抗囊药物对猪带绦虫囊尾蚴的作用靶点，为药物的类型衍化和新药开发提供理论依据。

Based on the QSAR equation for MDR modulators, a new type of MDR modulators was designed with benzimidazole moiety as their parent nucleus, and four compounds of this type were synthesized and characterized.

在MDR逆转剂构效关系的理论指导下，选定苯并咪唑为母核，设计了一类新的MDR逆转剂候选化合物，合成了4个这种类型的新化合物。

Specifically, we research the stability andsensitivity analysis of perfect equilibrium of bimatrix game through the relation ofperfect equilibrium and linear programming.

第一章为背景知识，介绍了博弈论的出现，发展，以及现况，描述了博弈论的类型以及理论结构。叙述了非合作博弈论的一些成果，并通过经典例子来认识非合作博弈。

Biogeography The study of the distribution of plants and animals, both past and present, and its interpretation in terms of ecology, in particular the distribution of world vegetation types and the interactions between humans and their environment.

生物地理学：研究过去和现在动植物分布，以及根据生态学理论对此做出的解释。特别是研究世界植被类型的分布以及人与环境之间的相互作用。

In this paper, detailed research related to geography teaching language literature on the basis of the scientific theory of modern education and their own teaching practice, the type of language teaching geography, the role, standards and other aspects of study, by their geographical application of the medium of instruction Some view.

本文在详研相关地理教学语言文献资料的基础上，结合现代教育科学理论和自己的教学实践，对地理教学语言的类型、作用、标准等方面展开分析探讨，提出了自己对地理教学语言应用的几点看法。

Whilst no documentary evidence exists to support the theory that Caldara was a pupil of Giovanni Legrenzi during his time in Venice, it is clear that his musical training, his experience of performances in the innovative musical climate of Venice and the composition of music in three of the genres that were to dominate his compositional output ie opera, oratorio and cantata provided Caldara with a sound basis for his future musical career.

虽然没有文件证据支持的理论，卡尔达拉是在他在威尼斯的时间乔瓦尼莱格伦齐的学生，很明显，他的音乐训练，他的经验在威尼斯音乐创新的气候表演和音乐组成的三该类型的是他的成分占主导地位的输出，即歌剧，清唱剧和大合唱提供了一种对他未来的音乐生涯的良好基础卡尔达拉。

Chapiter 2 discusses the theory of assets portfolios, which starts to analyze investor, arid deduces framed investor"s feasible set arid efficient set, discUss different forms and characteristic of efficient portfolio, and systematic analyzes the effect of portfolio, risk diversification, followed briefly summarizes the formation, development, application and limit of the "theory of portfolio, created by Markowitz.

本章从投资者开始分析，给出了框定投资者的可行集和有效集，并讨论了各种不同的有效组合类型及其性质，同时系统研究了资产组合的效应——风险分散，最后简要综述了马柯维茨投资组合理论的产生、发展、应用与局限。

At first I analyze classicalism, nation intervention and new regional ism.

笔者首先将区域经济合作理论学说划分为古典主义、国家干预主义和新区域主义三种类型。

What would he tell Judith and the children?

他将怎样告诉朱迪丝和孩子们呢？

I this is at that time, the opinion with peacockish true girl is full of in a heart.

这就是当时的我，一个心中布满虚荣的女孩子真实的想法。