– 上下文无关文法 – 自上而下分析和自下而上分析 – 围绕分析器的自动 围绕分析器的自动 成展开 生

• 提出使用定型公理和推理规则的上下文有关语法 • 讨论类型化演算的等式证明系统(公理语义)和归约系统（操作语义） • 讨论类型化演算的通用模型（指称语义）及可靠性和完备性定理 • 介绍PCF语言（递归函数留待下一章）及其公理语义和操作语义

– 多态类型系统的语法，包括直谓式的，非直谓式的和type: type版本 – 直谓式多态λ演算，包括和其它两个系统之间的联系，它的等式证明系统和归约、多态声明 – 非直谓式多态λ演算的纵览 – 数据抽象和存在类型 – 类型表达式的分类

–简要介绍语法制导的翻译 – 介绍静态检查中最典型的部分 —— 类型检查 忽略其他的静态检查：控制流检查、唯一性检查、关联名字检查等

第1节 可表示性 第2节 语法的算术化 第3节 不动点引理和递归定理 第4节 不可定义性，不完全性和不可判定性 第1节 可证性条件 第2节 第二可证性条件 (D2) 的证明 第3节 第三可证性条件 (D3) 的证明 第4节 哥德尔第二不完全性定理 第5节 自然的不可判定语句

1.修辞观转喻、认知观转喻、语法转喻 2.转喻的认知模型 3.显著度的基本规律 4.语境的调控机制

第一节 调查的前期准备 一、基本知识 二、调查对象的选取 第二节 调查表的设计 一、《方言调查字表》 二、连读变调表的设计 三、词汇调查表的设计 四、语法调查表的设计 五、长篇语料的调查资料 六、其他调查表的设计 第三节 调查法和调查程序 一、调查法 二、调查的程序 三、要注意的问题 第四节 调查报告的写作

本书是用现代语言学方法编写的上海市区的方言志。学者们多年大量的调、记录,使这部书可靠、翔实,举凡上海市区方言的语音、词汇、语法、语料,搜集均较完备。重点是词汇部分,列举上海市区方独特的词和熟语八余条,分类安排,查检方便。此书不但可给语言文字工作者提供丰富的研究资料,也是上海人和关心上海的人的有益的工具书,对地方文学、戏曲的创作者和爱好者来说,也很有参考价值

• 2.1 Scala语言概述 2.1.1 计算机的缘起 2.1.2 编程范式 2.1.3 Scala简介 • 2.2 Scala基础 2.2.1 基本语法 2.2.2 控制结构 2.2.3 数据结构 2.2.4 面向对象编程基础 2.2.5 函数式编程基础 • 2.3 面向对象编程基础 2.3.1 类 2.3.2 对象 2.3.3 继承 2.3.4 特质 2.3.5 模式匹配 • 2.4 函数式编程基础 2.4.1 函数定义和高阶函数 2.4.2 针对集合的操作 2.4.3 函数式编程实例WordCount

• 汇编语言的主要特点 • 汇编语言源程序的基本结构 • 汇编语言的表达式和伪操作符