– 多态类型系统的语法，包括直谓式的，非直谓式的和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

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

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

1.1 C语言程序的基本结构 1.2 C程序运行过程 1.3 编写简单的C语言程序 1.4 C语言基本语法成分 1.5 C语言数据类型 1.6 数据的输入与输出 1.7 算法 1.8 C语言的产生、发展及特点