1) text type theory
文本类型理论
1.
The text type theory is an important breakthrough and a significant complement of the traditional translation standard"Equivalence Principle".
文本类型理论是对传统"等值观"翻译标准的一项重大突破和重要补充。
2.
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.
文本类型理论建立在以文本功能为划分标准的基础之上,是对传统翻译等值观的一个重要突破和重要补充。
3.
The text type theory, proposed by the German translation theorist K.
德国翻译理论家赖斯和英国翻译家纽马克提出的文本类型理论不仅为翻译过程提供了一系列具体、可操作的方法,同时也为翻译研究、翻译方法及翻译批评的科学化、标准化、具体化提供了理论依据。
2) text typology theory
文本类型理论
1.
The text typology theory is advocated by German scholar K·Reiss and British scholar P·Newmark on the basis of the function of language.
文本类型理论是德国学者莱斯与英国学者纽马克根据语言功能对文本进行功能划分的理论。
3) Text Typology
文本类型理论
1.
After the demonstration of the divergences between Chinese and American company profiles in terms of content and structure, the thesis addresses the translation problems from two perspectives: the selection of information and the organization of information in the text typology framework.
本文引用文本类型理论,通过对企业简介文本类型及文本功能的分析,指出以文本功能为主导的翻译策略在企业简介的翻译中是合情合理、行之有效的。
5) Literature Typology
文学类型理论
1.
Literature Typology of Limited Views of Ideas and Letters——On Literature Typology of Literary Theories;
论《管锥编》的文学类型理论——兼及《文学理论》的类型理论
6) text type
文本类型
1.
Newmark s translation theory in different text types;
纽马克翻译理论在不同文本类型中的体现
2.
The article starts from the three functions of language: concept function,communication function and text function,and points out different text types share the same translation criterion-functional equivalence,while they have different translation strategies.
本文从语言的概念功能、人际功能和语篇功能入手,说明不同文本类型有不同的翻译策略,同时指出三类文本有共同的翻译标准,即"功能对等"。
补充资料：类型理论
类型理论
type theory
Ieixing川un类型理论(tyPetheory)为避免集合论悖论而建立的数学理论，主要研究集合的分层、分类方法(包括公理化方法)。 近20年来，它在计算机科学中得到广泛应用。20世纪初B.Russe}1提出了类型论作为公理集合论乃至数学的基础，30年后A.Church用人演算和类型的概念定义了高阶逻辑的形式系统。但在经典数学中，类型理论始终未受到广泛关注，直到60年代末才有大的改观。原因有三:第一，20世纪初可构造性数学虽成为数学的一独立分支，但由于W，Brou~开创的直觉主义并没有得到很多支持，一般人的信念是数学的主要部分不可能构造地研究，改变这一信念的是E.Bishol〕的工作，构造性地重建了经典分析的核心部分，表明了构造数学是可以与经典数学相媲美的。60年代E.Bish明〕及其追随者在构造数学领域中作出的重要成果使直觉主义得到发扬光大。直觉主义逻辑的证明论启用了将类型作为基本概念的方法。基本思想是将一个可构造命题看成类型，即类型的元素为该命题的一个证明。这便是“命题当作类型”观点(柯里一霍华德观点，或称解释)。J.Y.。rard首先使用该原则给出二阶直觉主义逻辑的类型表示，并证明该逻辑是典范化的。P.N伪rti介L6f也提出了他的类型理论，为可构造性数学提供了基础。第二，T()l飞〕S理论的出现，建立了〕DR)S的内逻辑与直觉主义逻辑两者间的联系，在更广泛的范围内揭示了范畴结构的逻辑特征，对类型理论的认识更深人了。第三，也是最重要的是计算机科学的推动作用，高级程序语言不断涌现，相应的类型系统也得到研究。另一方面，在计算机上实现了用类型论求解数学问题的系统。 以“类型理论”名称出现者，颇为广泛，有分枝类型论、简单类型论(罗素)、T理论(K.G妇el)、F理论和F。理论(J.Y.悦rard)等，其中与计算机科学有关的有以下几种: (1)逻辑类型理论，它包含内逻辑。该理论目的是为构造数学提供类型论基础。通常所说的构造演算即是逻辑类型系统。本质上是高阶直觉逻辑的类型表示。逻辑类型系统的著名的子系统有:多态入演算，马丁洛夫类型理论和逻辑框架。 (2)程序类型理论，研究程序语言的类型系统。新型程序语言、程序设计方法学、语义理论的迅速发展迫切需要类型系统的研究。使用“类型”这一概念大致有两个含义:一指论域的多种组合形式，二指语法范畴的分层结构。该理论涉及的类型研究包括下述基本内容:(表达式a有类型A，记为a:A，读作a为A的一个居元。反过来也说A有居元a。) 不动点操作:设A为类型，不动点算子Y:(A~A)~A，使得对于每个f:A一A，有Yf:A且Y(f)=f(Y(f))。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条