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

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

• 直观地介绍余归纳的定义、余归纳的证明原理和余代数 • 形式地介绍递归类型 • 形式地介绍归纳类型和余归纳类型 • 解释 – 代数方法是从“构造的”角度研究抽象数据类型 – 余代数方法是从“观察的”的角度描述像对象、自动机、进程、软件构件等基于状态的系统

《汉字文化》课程教学资源（经典阅读）语言及语言学_认知能力与语言学理论

第一节语言和言语 一、语言和言语区分的历史回顾 语言和言语的区分,最早是由德国的 语言学家、普通语言学的创始人洪堡 特提出的。 索绪东在《普通语言学教程》 史对语言和言语的区分作了 统的理论阐述。其目的是为子 纯化语言究对象

文字的几种类型 假说与试验 文字与视觉 文字与读音 人脑对文字的处理

一、结构主义的方法论原则 二、转换生成理论的基本概念 转换规则的必要性

北京大学：《理论语言学系列课程 Theoretical Linguistics——理论语言学》电子教案_1、材料与理论

北京大学：《理论语言学系列课程 Theoretical Linguistics——索绪尔语言学理论 On Saussure’s linguistic theory》课程教学大纲（陈保亚）

北京大学：《理论语言学系列课程 Theoretical Linguistics——索绪尔语言学理论》课程电子教案