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

1、介绍语义描述的一种形式方法：语法制导的翻译，它包括两种具体形式： –语法制导的定义 –翻译方案 2、介绍语法制导翻译的实现方法

第一节 自动标引的基本原理 ◼ 自动标引的定义、类型 ◼ 自动标引的意义 ◼ 自动标引的流程 ◼ 自动标引的原理 第二节 自动标引方法和技术 ◼ 统计标引法（课堂只讲这种方法） ◼ 概率标引法：根据文献满足提问的概率来估计 ◼ 句法分析标引法 ◼ 语义分析标引法 ◼ 人工智能标引法 第三节 汉语文本自动标引 ◼ 汉语自动分词方法 • 基于匹配的分词方法 • 基于统计的分词方法 • 基于理解的分词方法

§ 对象接口与对象实现 § OMG IDL的语法与语义 § 使用值类型 § 使用接口库 § 设计对象接口的准则

▪ Why Semantic Web ▪ What’s Semantic Web ▪ What’s Ontology ▪ Semantic Web Services

7.1 框架 7.2 语义网络 7.3 类与对象

▪ Why Metadata ▪ What’s Metadata ▪ What’s XML ▪ Question

电子科技大学：《语言学通论 General Linguistics》课程教学资源（课件讲稿）语义学——Componential Analysis

电子科技大学：《语言学通论 General Linguistics》课程教学资源（课件讲稿）语义学——Semantics（Sense Relations）

• 1 古代汉语的同义词 1.1同义词的确定 1.2 同义词的时代性 1.3 同义词的运用 1.4 同义词的辨析 • 2 古代汉语的反义词 2.1 反义词的对应关系 2.2 反义词的语义类型 2.3 反训词