1. 算法的概念 2. 简单算法举例 3. 算法的特性 4. 算法的表示 5. 结构化程序设计方法

1. 宏定义 2. \文件包含\处理 3. 条件编译

西安石油大学计算机学院：《程序设计语言C Programming Language C》教学资源（PPT课件）上机实验

西安石油大学计算机学院：《程序设计语言C Programming Language C》教学资源（PPT课件）Visual C++简单操作过程

1. C文件概述 2. 文件类型指针 3. 文件的打开和关闭 4. 文件的读写 5. 文件的定位 6. 出错的检测

1. 位运算符和位运算 2. 位运算举例 3. 位段

中国科学技术大学：《程序设计语言理论》课程教学资源（参考教材）第6章 递归类型

-λ表示法和λ演算系统概述 -类型和类型系统的扼要讨论 -基于表达式的归纳、基于证明的归纳和良基归纳

中国科学技术大学：《程序设计语言理论》课程教学资源（参考教材）第2章 泛代数和代数数据类型

• 带记录和子定型的简单类型化λ演算 • 等式理论和语义模型 • 递归类型的子定型和递归记录作为对象的模型