Repeat-until语句的操作语义与指称语义的等价性证明

在计算机科学中，形式语义学以数学为工具，精确地定义和解释计算机程序设计语言的含义或语义．其中操作语义学和指称语义学是形式语义学的两大类别．本文使用简单的命令式语言IMP的语法，首先给出了repeat—until循环语句的操作语义，然后详细推导出了其指称语义，并在此基础上详细证明了它们二者之间的语义等价性．     

谈形式语义学

形式语义学是以数学为工具,利用符号和公式,精确地定义和解释计算机程序设计语言的语义。形式语义学可分为四大类,本文对这四类形式的语义学作了阐述,并提出了发展形式语义学的迫切性。     

语义学在汉英翻译中的应用探微——兼谈双语修养的地位

本文首先对语义学从概念上进行了界定，叉从汉英翻译的现状入手，运用语义学理论从词级语义结构、句级语义结构和篇章语义结构三方面探讨了如何进行准确地道的汉英翻译，然后对英汉比较语义学在汉英翻译实践中所涉及的双语修养的重要性进行阐述。     

认知语义学评析

认知语义学批判传统语义理论,强调基于身体的经验和想像,将注意力转向人类的推理。通过对认知语义学六个主要观点即经验观、概念化、百科观、原型观、意象图式观和隐喻观进行简要的介绍并加以评析,分析结果表明认知语义学虽能解释一些传统语义学无法解释的语言现象但研究覆盖面较小,认知语义学理论亟待发展和完善。     

论形式语义学

阐述了形式语义学关于"语法"、"句法和语义",以及"语词和语句"等概念。传统语言学所谓语法讲究对语言符号串线形排列的成分分析,现代生成语言学的Chomsky学派认为语法就是有关语言层次结构的由小到大的生成规则,类型逻辑语法等形式语义学理论所谓的语法是指基于逻辑推演的关于自然语言的运行规律;形式语义学强调句法和语义的对应,这是形式语义学的灵魂;形式语义学在语句领域取得了较大成功,而语词领域是语言学侧重的研究方向。从形式语义学比较语言学的不足可以看到其未来发展的思路。     

具有广播功能的CSP操作语义

并发程序设计语言的形式语义定义,是当今语义学研究中比较活跃的领域之一,语言的形式操作语义为语言的准确实现,提供直接的依据。本文给出了带广播功能的CSP(Communicating Sequential Processes)的形式操作语义。     

语义理论与语言教学

本文简要地阐述了当代语义学的一些基本理论和观点 ,并就语义理论指导词汇教学进行了初步的实践和探讨 ,文章从并置理论与词汇搭配学习 ,结构语义学与词语运用能力的提高 ,语义场理论与词汇量扩大 ,语义成份分析与同义词教学等几个方面进行讨论 ,并指出 :运用语义理论指导教学有益于课堂教学质量的提高     

英语反义词的语义辩证分析

现代语义学认为反义词除具有相反性外，还有互补性、渐进性和相互依赖性等。根据现代语义学理论，本文从这三个方面对英语反义词进行深层次分析，探讨反义词语义关系的相同性。     

比喻句的语义学探析

传统修辞学对比喻句的构成通常停留在外部句法结构层面，本文运用现代语义学相关理论对比喻句的深层语义关系展开探讨，并对比喻句基本语义类型进行了归纳分析。     

言语义刍论

随着语言研究的不断深入,人们对语义的组成、语义的性质等越来越关注,特别是电子计算机在语言领域的广泛应用,人们对计算机处理自然语言(例如机器翻译)的准确性、可读性的要求不断提高,这些都促使语义学研究不断向广度和深度发展。但是,语义是个极为复杂的问题,仅就语义的分类来说,便众说纷纭。有的分得很细,如英国语言学家利奇在他的名著《语义学》中将语义分了七类;有的分得较粗,如贾彦     

结构主义词汇语义学对英语词汇教学的影响

结构主义语义学是语义学发展的第三阶段,是现代语义学的一个重要分支。结构主义阶段的词汇语义学强调词的语义成分分析和意义的结构关系。英语词汇教学影响着学习者英语能力的提高,而在英语词汇教学中运用语义成分分析和意义的结构关系,可以帮助学生加深对词汇间含蓄语义关系的理解,增强学生学习英语的兴趣,从而提高运用语言的能力和英语交际能力。     

从语义选择与限制看词汇的搭配

词汇搭配受多种因素的影响,如结构、语法、语义和文化因素等。因而词与词之间的搭配是有限制的,有些甚至根本不能搭配。本文将从语义学的角度,运用语义选择与限制、语义等级、语义韵等相关理论分析词汇搭配的合理性。     

言内语义语境与言外语境语义

语境研究已成为当前语言学界的中心课题,语义学也把语境视为一个重要对象。言内语义语境是利用语言知识来解释语境对语义的解释制约作用;言外语境语义则是用非语言知识来分析语境对语义的解释制约作用。由此得出语义研究离不开语境。     

信息时代的产品形态语义设计初探

通过论述产品形态语义的概论,认为形态语义产生起源于用品“交流”的商品属性,产品的使用功能及人们的经验积累是形成产品形态语义的重要基础。今天,信息时代产品外形的“黑箱”化对产品形态语义学提出了新的要求。     

藏文消息域框架语义系统的设计与研究

文章以框架语义学为理论基础,以消息域为研究对象,探索藏文自然语言处理中藏语框架语义分析的理论和方法,探讨了用框架描述消息域的知识方式,并用语义框架项的描述及消息域框架间的层级关系设计了藏文消息域框架语义系统,为藏文典型实例的分析提供支撑.     

语义场理论和语义分析在英语词汇教学中的应用

针对目前中国学生在英语词汇学习中常犯的一些错误,提出在词汇教学中引入语义学理论,并且运用语义成分分析法和语义场理论,使学生了解英语词汇系统内部的各种语义关系和组合搭配原则,帮助他们扩大词汇量,增强词汇辨析能力,从而提高运用语言的能力和英语交际能力。     

语义学视野下法律语义的不确定性分析

法律语言是贯穿于法律的制定、研究和运用过程中的文字表意系统。导致法律语义不确定的原因是多方面的，语言本身的不确定性和客观世界的复杂性是其主要原因。在语义学的视角下，法律语义不确定的表现形式比较多样。     

壮语拉寨话亲属词的语义成分分析

本文运用现代语义学的原理和方法，系统分析描写了壮语拉寨话亲属词的语义成分，并总结了壮语拉寨话亲属词的语义特点     

形状形容词"直"的逻辑语义分析

“直”是高频的形状形容词,在传统词汇语义分析的基础上,运用逻辑语义学理论以“直”为个案考察形状形容词“直”在不同分布中的语义结构关系,旨在初步建立汉语形状形容词的逻辑语义模型及理解模式,可以为进一步形式化提供语义信息和知识,从而为中文信息处理的词义分析提供一种新的思路。     

语境对语义的作用探析

语境是语义学中一个重要的范畴。以丰富的例句从以下四个方面：使语言中的多义和歧义现象获得明确的单一性；影响语义的感情色彩；语义的语体色彩及填补或丰富语言本身的意义探讨了语境对语义的作用，旨在唤起读者学会在不同的语境中择取语义的自觉意识。