English translation for "类型理论"
|
- type theory
Related Translations:
接头类型: joint categoriesjoint type 理想类型: ideal typetrue type
- Example Sentences:
| 1. | This essay employs thomas schatz ' s genre theory to examine the huangmei opera film genre
本篇文章是采用汤玛斯?雪兹的电影类型理论来检验黄梅调电影。 | | 2. | Lastly , the problem of software evolution caused by introducing agent model is studied based on an architecture description language named c2 adl and software architecture type theory
最后，基于c2adl和软件体系结构的类型理论，系统地研究了引入agent模型产生的软件演化问题。 | | 3. | A new approach to domain - specific reasoning is presented that is based on a type - theoretic logical framework but does not require the user to be an expert in type theory
本文提出一种新的基于类型理论逻辑框架lf的特定论域推理途径lftop 。在此途径下，用户可以不必是类型理论方面的专家。 | | 4. | Thus , the complexity of the logical framework is hidden but the benefits of using type theory and its related tools are retained , such as precision and machine - checkable proofs
由此,逻辑框架的复杂性就被隐藏起来了,同时我们还保留了精确性和机器验证等使用类型理论系统及其相关工具的优点。 | | 5. | The text type theory , which is an important breakthrough and a significant complement of the traditional translation " equivalence principle " , is based on the divisions of text functions
摘要文本类型理论建立在以文本功能为划分标准的基础之上，是对传统翻译等值观的一个重要突破和重要补充。 | | 6. | And it also illustrates the most influential vocational instruction theory such as special factors theory , social factors theory , professional development theory , character mode theory and professional policy theory
阐述了职业指导理论中最有影响的特殊因素理论、社会因素理论、职业发展理论、人格类型理论、职业决策理论。 | | 7. | First , the article rethinks the classical theory of types of administrative acts , thinks that though the theory of the types of administrative acts has many problems , the theory of legal relationship & the theory of administrative procedure are being raised as complement theories , the position of the theory of the types of administrative acts is still unable to be displaced and is still worthy of being researched
第一章,是行政行为类型理论回顾。首先是对传统行政行为类型理论进行反思,认为传统行政行为类型理论虽然存在着不少问题,从而出现法律关系理论、行政行为过程论等补充性理论,但都不能取代行政行为类型理论的地位,理论上仍然有其存在的必要性。 | | 8. | Professor wenqian ' s theory of market types includes : the objective basis of distinguishing the market types is the comparison of market power between buyers and sellers ; the market types are determined by the market structures which are formed by values , prices , supply demand and market competition ; the typical sellers ' market , buyers ' market , balanced market , deformed sellers ' market and deformed buyers ' market have different characteristics in the structure factors and the run - mechanism ; market value and market volume are the main variables that cause transformation of these market types
摘要闻潜教授的市场类型理论认为： ( 1 )划分市场类型的客观依据是卖方与买方市场经济力量的对比； ( 2 )由市场价值、市场价格、供给和需求、市场竞争所构成的市场结构决定市场类型； ( 3 )典型卖方市场、典型实方市场、均势市场、畸型卖方市场、畸型买方市场在构成要素和运行机制上有不同的特征； ( 4 )市场价值和市场容量是引起市场类型转化的主要变量。 | | 9. | Part iii in this part , the author summarizes foreign scholar ' s theory of ideal types of law , such as r ? m ? unger gunther teuber jurgen habermas p ? nonet and p ? selznick . in ideal types sense , the author argues that economic law is substantive rational law but not formal rational law
渐次概述并比较了韦伯之后国外学者如昂格尔、田中成明、诺内特和塞尔兹尼克、图依布纳、哈贝马斯等人提出的各种法律类型理论，认为在理想类型的意义上，可以把经济法定位成一种实质理性法而非形式理性法。 |
- Similar Words：
- "类型居留问题" English translation, "类型控制参数块" English translation, "类型库" English translation, "类型扩充" English translation, "类型拉丁我倒坐着沉思结婚" English translation, "类型链接库" English translation, "类型链接库档案" English translation, "类型列表" English translation, "类型论" English translation, "类型论, 类型理论" English translation
|
|
|
