一、命题演算推理形式系统P(和N)语法 二、语法的核心是推理:a? 三、P是符号演算。 四、公式的含义:真、假、永真等语义

人类语言的一个普遍现象是,定语从句标记( relative clause marker)大都是 由指代词演化而来的。根据我们的研究(李讷、石毓智1997:石毓智、李讷 1998),汉语史上先后出现的两个主要结构助词“之”和“底”原来都用作指代 词。结构助词的主要功能之一就是作定语从句标记。我们还从历史动因和语义功能 等角度论证了,指代词和结构助词之间的可能发展关系

量表的概念(Scales)： 总加量表：李克特量表（Likert scale) 累积量表：格特曼量表（含鲍格达斯社会距离量表） 语义差异量表(semantic differential scales)

什么是自然语言处理 机器翻译（Machine Translation） 信息抽取的结果 自然语言处理所涉及的学科 基于规则的自然语言处理方法（理性方法，传统方法） 形态还原算法 基于规则的歧义字段消歧方法 句法分析——组成分分析 自底向上句法分析 句法分析与逻辑程序设计 增加句法符号和规则带来的问题 合一文法 语义组合 机器翻译

• 离散数学和计算机科学的关系 – 离散数学的特点、与计算机科学的关系 • 基本知识 – 偏序集合、最小上界、完全偏序集合、函数序、函数的单调性和连续性 • 递归函数的定义式的求解 – 函数的不动点、递归函数定义、递归函数定义的解、不动点算子、最小不动点定理 • 编程语言递归函数的数学语义

1.概念、语义从何而来？ 2.框架 3.认知域 4.意象图式 5.认知模式及其特点 6.心智空间理论、概念融合理论 7.认知模式对语言的解释

第2章PL/0编译程序 本章目的:以PL/0编译程序为实例,学习编译程序实现的基本步骤和相关技术 1PL/0编译程序的结构 2PL/0编译程序的分析工作(词法,语法和语义)实现 3PL/0编译程序的错误处理方法 4目标代码生成和类 pcode代码解释器

本章目的：以PL/0为实例,学习编译程序实现的基本步骤和相关技术。 2.1 PL/0语言和类pcode的描述 2.2 PL/0编译程序的结构 2.3 PL/0编译程序的语法语义分析 2.4 PL/0编译程序的错误处理 2.5 类pcode代码解释器

以语言为研究对象的科学，研究探索语言的本质、结构和发展规律。这本书是理论语言学的入门书，讲述三方面的问题：语言在社会中的地位和作用，语言的结成体系（语音、语汇和语义、语法），语言的发展变化。学生通过本课程的学习，能比较系统地掌握语言学的基本概念、基本理论和基础知识，为提高语言理论水平、进一步学习和深入研究其他语言课程奠定必要的语言理论基础。 第一章 语言的社会功能 第二章 语言是符号系统 第三章 语音 第四章 语法 第五章 词义 第六章 文字和书面语 第七章 语言随社会的发展而发展 第八章 语言的接触 第九章 语言系统的发展

自然语言是人与人交流思想的工具，程序语言是人和计算机之间传达信息的工具。为了描述程序语言，本章将引进有关形式语言的基本概念。文法是程序语言的生成系统，自动机是程序语言的识别系统，用文法来精确定义一个语言，然后根据这个文法构造识别这个语言的自动机，因此文法对程序语言和编译程序的构造来说意义重大。随着计算机的发展，形式语言学发展很快。N.Chomsky将文法分成四类，程序语言的词法可用正规文法描述，语法可用上下文无关文法描述，语义则要借助于上下文有关文法来描述。因此我们的注意力是针对这几类文法，特别是上下文无关文法