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

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

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

• 使用上下文无关文法引导语言的翻译 – CFG的非终结符号代表了语言的某个构造 – 程序设计语言的构造由更小的构造组合而成 – 一个构造的语义可以由小构造的含义综合而来 • 比如：表达式x + y的类型由x、y的类型和运算符+决定 – 也可以从附近的构造继承而来 • 比如：声明int x中x的类型由它左边的类型表达式决定

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

3.6 串操作指令 3.7 程序控制指令 4.1 概述 4.2 汇编语言的基本语法 4.3 汇编语言程序的控制结构 4.4 DOS/BIOS中断调用