说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 基本语义构造
1)  basic semantic construction
基本语义构造
2)  semantic structure
语义构造
1.
After reviewing Selkirk (1984) on the stress assignment on English noun compounds, this paper reveals the relation between the inner semantic structures of modifier-head constructions and the prosodic patterns in Mandarin.
本文借鉴Selkirk (1984)对英语名名组合的重音分析,揭示了汉语定中组合的内部语义构造与韵律模式的关系,进而引进Cinque(1993)提出的"深重"原则,比照汉语的事实情况,说明深重原则与辅重原则在预测能力上的差别。
2.
Verb-complement structure in Modern Chinese is an important and different part in Teaching of Chinese as a Second Language, for its semantic structure is extremely complicated and its forms are various, showing unique features of Chinese.
现代汉语述补结构的语义构造极其复杂,表层形式变化多样,独具汉语特色,是对外汉语教学领域中的一个重点,也是外国学生学习汉语的一个难点。
3)  basic meaning
基本语义
1.
It concludes that the basic meaning of the progressive aspest is that the speaker chooses to observe a situation from an internal view, focusing on the internal structure.
由此得出英语动词进行体的基本语义是说话人选择从内部焦点观察情景,关注情景的内部结构,并借用动词进行体的形式表达自己对情景的主观看法。
4)  basic structure
基本构造
5)  basic construction
基本构造
1.
Conversely, suppose that N (?) M is an inclusion of factors of type Ⅱ1 and M (?) M1 is the basic construction for N (?) M.
另一方面,假设 N(?) M是Ⅱ1型因子的一个包含,M(?)M1是N(?)M的基本构造,[M:N]= p∈N是素数,N’∩ M=CI,N’∩M1是交换的,N,(?)M深度为2,则N是M的极大子因子。
6)  Wilson's fundamental construction
Wilson基本构造
补充资料:构造语义学


构造语义学
constructive semantics

构造语义学【以扣s。”‘独业~“cs;~脚瓜1倒巴,ce剐口日”..1 理解构造数学(con众ructlve mathematl。)命题的一类方法.特殊语义的需要是由于传统(经典)数学与构造数学(主要指苏联学派的构造数学)在一般原理上的差别.主要考虑关于构造对象(印nstructive object)的一阶语言命题;即基本算术命题(见形式算术(arlth-metic,fonnal”.与传统语义对A。\/A,(以及关于存在的命题三*A(x》的理解的主要差别是由L.E.J.Bro-uwer提出的.构造判断这样的命题需要解决下述问题:找一数:蕊l,使得A,为真(或找数。使得A伪公二凡Heyting与A.Ko脚oro详拍概括了对应于更复杂公式的问题描述原则.由5.C.KJeene以闭算术公式的实现概念形式(见递归可实现性(recursive realizability)),给出了精确的形式化(这由于算法(algorithm)的数学定义的出现而成为可能).t=r真相等的实现(realiza-tion of a true equality)是一固定常量;例如,当r=r方程没有实现时为0.合取A浅B的实现(realizationofaconjunction)是(a,b>,其中a为注的实现,b为B的实现.析取A。VA,的实现为(i,a>,其中i=0,1,a是A‘的实现.习xA(x)的实现为,其中”是一数,a是A(n)的实现.丫xA(x)的实现是一个一般方法f使得对每个自然数n,给出A(n)的实现f(n).AOB的实现是一个一般方法f使得对每个A的实现a,给出B的实现f(a)(且对于不为A的实现a不一定要有定义).这里一般方法可理解为一算法(一个部分递归函数).利用算法的数编码,“数e是公式A的实现”可以写成一算术公式(erA),其中不包含析取V且只在等式前面以自然方式出现.这样的公式称为尽于平娜(almOS‘normal)或尽于甭牢(almos‘ne,-tive).命题日e(e rA)(读“A可实现”)作为A的构造解释.在这个解释下排中律,丫x(A(x)V,A(x》是可驳的,比如,取A(x)=日夕T(x,x,夕),其中T(e,x,y)表示(解码)算法e在变量x上进行y步之后停止.双重否定律Vx(门门B(x)。B(x))也是可驳的,例如,取B(x)=A(x)V一A(x).上述定义给出了每个公式A的一个构造解释(找一实现),即使A不包含V,习.H.A.lll翻印旧王进一步给出了这个构造解释的算法,它不改变没有V,日的公式(正规公式(n ormal formulas)),且等价于无量词归纳的形式直觉主义算术的可实现性.任意公式都可化为几乎正规公式,因为习xA(x)的判断在于产生一数n及A伪)的判断.几乎正规公式的构造语义不同研究者有不同定义方式,但还没有人得到像包含V和非平凡日公式这样明显不同于经典概念的差别. A.A.MaPKoB用根据通常逻辑连接词的规则和能行。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条