语义

axiomatic semantics

公理语义

公理语义(axiomatic semantics) 运用数学中的公理化方法给出的计算机语言的语义. 不同的人在了解程序的含义时有不同的要求. 例如,有的人只关心程序的数据输入和输出,而不关心程序是否正确终止. 公理语义就是研究如何将这些不同的要求形式化,

semantical decision problem

语义判定问题

semantic equivalence 语义等价 | semantical decision problem 语义判定问题 | semantical paradox 语义悖论

semantical decision problem

语义判断问题

semantic equivalence 语义等价 | semantical decision problem 语义判断问题 | semantical paradox 语义悖论

semantic demotion

语义降级

语义协商:semantic negotiation | 语义降级:semantic demotion | 语义表征:semantic representation

semantic differential method

语义区别法 语意区别法

semantic differential 语义区别 | semantic differential method 语义区别法 语意区别法 | semantic differential scale 语义区分量表

semantic inconsistency

语义不一致

语义特征:semantic feature | 语义不一致:semantic inconsistency | 语义调解:semantic mediate

semantic memory model

语义记忆模型 语意记忆模型

semantic memory 语义记忆 | semantic memory model 语义记忆模型 语意记忆模型 | semantic network 语义网络

semantic mutuality

语义互选

语义网络:Semantic Net | 语义互选:semantic mutuality | 语义技能:Semantic skills

semantic narrowing

语义狭义化

semantic broadening语义广义化 | semantic narrowing语义狭义化 | semantic shift语义演变

semantic prosody

语义韵

语义韵(semantic prosody)是语料库语言学近年兴起的课题.本文介绍和讨论语义韵研究的三种常用方法:基于数据的方法、数据驱动的方法和基于数据与数据驱动相结合的折中方法.文章通过对语义韵的实例研究,揭示研究中的理念及具体步骤,

uniovular twin：真孪生

uncompetitative inhibition 非竞争性抑制 | uniovular twin 真孪生 | unit membrane 单位膜

play off one against the other：挑拨离间, 从中得利

play off (难分胜负的)延长赛 使出丑 嘲弄 以...冒充 假装有病 | play off one against the other 挑拨离间, 从中得利 | play off one against another 挑拨离间, 从中得利