1)theory of types类型论
英文短句/例句
1.typological theory of higher nervous activity高级神经活动类型论
2.Errors of Motive of in Civil Law: A Transition from Theory of Types to Theory of Requirements;民法动机错误论考——从类型论到要件论之嬗变
3.Intelligent Routing and Service Composition in Enterprise Service Bus Based on Type Theory;基于类型论的ESB智能路由及服务组合
4.The Transformation of the Theory of Types;从罗素的逻辑主义立场看他的类型论
5.behavioral styles theory行为类型理论 行为类型理论
6.Type of conclusions and classification of theories in two-valued propositional logic二值命题逻辑理论的结论类型和分类
7.biological theory of sex type性别类型的生物学理论
8.The Fiction Genre Theory and Its Critical Practice--An Outline to the Study of the Fiction Genre Theory;小说类型理论与批评实践——小说类型学研究论纲
9.Literature Typology of Limited Views of Ideas and Letters--On Literature Typology of Literary Theories;论《管锥编》的文学类型理论——兼及《文学理论》的类型理论
10.Aktionsarts,Situation Types and Aspects;试论行为类型、情状类型及其与体的关系
11.Study on the Typological Theory and Its Simple Calculus Classes;基于类型化理论及其简单类型演算的研究
12.The Theory of Type and Prototype:Tunneling Towords the Deep Mentality of Human Being;典型与原型理论:向人类深层心理掘进
13.Cause of Indeterminacy of Legal Concept and Its Remedy;论法认识论中不确定法律概念与类型
14.On the Categories of Well-rounded Philology Works Published in the Last Century;试论百年来文字学通论性著作的类型
15.THE SIGNIFICANCE OF WEBB S DOCTRINE ON "IDEAL TYPE" AND LEGAL METHODOLOGY --On the Molding of Type in Law Science;韦伯的“理想类型”及其法学方法论意义——兼论法学中“类型”的建构
16.The Pattern of Religious Culture:Toward a New Theory for China s Ethnological and Anthropological Studies;宗教文化类型——中国民族学·人类学理论新探
17.Hippocrates theory of temperament types希波克拉底气质类型理论
18.Chapter one is review of the theory of types of administrative acts.第一章,是行政行为类型理论回顾。
相关短句/例句
Type theory类型理论
1.Describing and Verifying Web Service Using Type Theory;类型理论在Web服务描述和验证方面的应用
3)type of speech言论类型
4)the types of mental personality theories理论类型
5)research essays论文类型
1.Research and analysis on types and authors of aerobic research essays in CNKI1994～2002;CNKI1994～2002年收录的健美操科研论文类型及作者情况分析
6)Argumentation type论证类型
延伸阅读
类型论类型论types, theory of 中.简单类型论中还可以考虑初始序数田。，…，田。，其中陀是任意预先给定的自然数.简单类型论具有简单的直觉集合论模型.V。可以取任意一个无限集，每个后继层次V。*、都是由其前一层次V。的一些子集组成.关系‘、是自然而然的.在足够强的公理集合论的框架中，用集合论模型的存在性可以得到简单类型论的相容性(consistency)的形式证明.例如，在Zer-11℃10系统中就可以建立这样的相容性证明.从 Zer-n℃10一Fraenkel系统ZF出发，去掉替换公理，保留分离公理就得到Zerrrrlo系统.类型论【ty衅，theoryof;THn0B TeopH，】 一种一阶形式理论(见形式系统(for俄l}system))，它的一个变种是简单类型论(simPle theory of tyPes)，描述如下.“类型论”一词没有严格的固定的含义.它表示的是如下所述的一种形式理论.首先，这个形式系统中含有语言工具，可以表示如下用语词描述的关系:“序列
