评价理论以赋值语义为中心,研究作者/说话者如何与持相同观点者联合,与持不同观点者保持距离。
互联网摘选
模型的结构语义由类型范畴图表来指代,行为语义则由范畴附带的进程行为迹来表示,模型间的映射关系用范畴理论中的态射和函子来形式化描述。
互联网摘选
从理论和实现的角度,探讨了一个用户界面工具环境的设计,为解决界面与应用语义的适当分离提供一种可行方案。
互联网摘选
具体如下:首先,本文结合构件的静态结构特征和动态行为特征,基于谓词逻辑、集合论以及进程代数π演算,提出了一种构件的形式语义模型。
互联网摘选
Semantic Field Theory and Historical Semantic Change in Cognates Thirdly, semantic relations.
历史语言意义变化与语义场关系三、语义关系问题。
互联网摘选
第三部分主要介绍语义场理论以及该理论在解释一词多义现象时的具体应用。
互联网摘选
运用语义场理论进行词汇教学,是帮助学生记忆外语词汇的一种新途径。
互联网摘选
第二部分介绍了语义场理论的形成和其重要代表语言学家以及其理论特点。
互联网摘选
According to semantic field theory, words are related, which form a complete vocabulary system.
该理论认为:语言系统中的词汇在语义上是互相联系的,他们共同构成一个完整的词汇系统。
互联网摘选
Pedagogical Implications of Semantic Field Theory to College English Vocabulary Instruction
语义场理论对大学英语词汇教学的启示
互联网摘选
Theory of Description, Direct Denotational Semantics and Two-Dimensional Semantics
传统描述、直接指称与二维语义理论
互联网摘选
它可以用来研究计算机程序语言的指称语义的Domain理论。
互联网摘选
讨论计算机程序设计语言的Domain理论中的拓扑方法。
互联网摘选
巴威斯等对外延模型论语义学和可能世界语义学的批判,揭示了既有逻辑语义研究的不足,促使人们对自然语言的逻辑语义问题进行更深刻的认识和反思。
互联网摘选
According to this theory, a text is a composite entity of three metafunctions.
根据韩礼德的语言元功能理论,任何语篇都是三种元功能的构建体。
互联网摘选
本文着重讨论如何应用光程函数理论来确定IV型光栅的记录参数和工作参数,并给出设计实例。
互联网摘选
对审美在当前社会中应有的地位给予客观的评定,审美的规范作用不可忽视。
互联网摘选
在这种研究背景下,本文以证据理论中的mass函数为基本工具,研究随机信息系统的知识约简与知识发现问题。
互联网摘选
