Syntax and operational semantics of recursive programs based on predicate logic

Operational semantics and algebraic laws are very useful in practice.

形式化语义和代数法则在实践应用是很有用的。

There may also be operational semantics to consider when introducing a change.

在引入更改时，还可能需要考虑操作语义。

Constrasted with other semantics theories of nonmonotonic logic programming, Answer Set semantics, the kernel of Answer Set programming technology, is concise and simple, and fully utilizes the fruits acquired by the logic programming community, and effectively realizes nonmonotonic reasoning of the logic program.

作为该类编程技术的核心，Answer Set语义相对其它非单调逻辑编程语义理论简洁明了，它充分利用了逻辑编程领域的已有成果，有效地实现了逻辑程序的非单调推理。

Most model languages in the textbooks of monographs on programming semantics are so tiny languages, which cannot help to clarify the traits of real programming languages, for they failed to be used to write ordinary programs.

大部分研究程序设计语义专论中的语言模型功能都非常简单，这对阐明实际的程序设计语言是远远不够的，因为这些语言模型很少能完整地编写普通的实际程序。

( The general concept of implication is investigated in the last sections and the new concept "semantic conditioning" is introduced.)

本文最后探讨了一般的隐合、蕴含概念，提出了语义条件等新概念。

The main aim of the study is to develop a Semantic Differential Scale of University Students' interpersonal self-esteem.

本研究拟编制一个有效评定大学生的人际自我价值感的测量工具。

Eye movement experimental method and the semantic differential method is mainly used in case of the final project evaluation stage effects.

眼动实验法和语义差分法主要应用于项目案例最后效果评价阶段。

In order to interpret the relationship between attitude and behaviors, explicit and implicit attitudes of cooperation of college students are measured with semantic differential questionnaire and implicit association test.

本研究的主要结论如下：1.采用语义分化量表和内隐联想测验两种方法，分别对大学生的外显与内隐合作态度进行了测量，以期更有力地解释态度与行为之间的关系。

Semantic Field Theory and Historical Semantic Change in Cognates Thirdly, semantic relations.

历史语言意义变化与语义场关系三、语义关系问题。

Part three first reviews the semantic field theory, then analyzes its application in explaining polysemy.

第三部分主要介绍语义场理论以及该理论在解释一词多义现象时的具体应用。

Vocabulary teaching with semantic field theory is a new means to help students remember English vocabularies.

运用语义场理论进行词汇教学，是帮助学生记忆外语词汇的一种新途径。

The second chapter introduces the development of semantic field theory including its representative linguists and features.

第二部分介绍了语义场理论的形成和其重要代表语言学家以及其理论特点。

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

语义场理论对大学英语词汇教学的启示

Linguistic theories mainly concern Semantic Field Theory and Mental Lexicon Theory.

语言学基础是语义场理论，心理词汇理论。

Computational model of semantic memory impairment model for student retention

分析学生记忆力的模型

Study of cartographic semantics model based on description logic

基于描述逻辑的地图语义模型初步研究

Object description language and its denotational semantics

对象描述语言及其指称描述

Denotational semantics of an object-oriented distributed real-time language

一个面向对象的实时分布式语言的指称语义

Theory of Description, Direct Denotational Semantics and Two-Dimensional Semantics

传统描述、直接指称与二维语义理论