5.1 结构体的概念 5.2 结构体变量的定义、初始化和引用 5.3 结构体数组 5.4 指向结构体的指针 5.5 公用体 5.6 枚举 5.7 typedef 的使用

[例1]若有:ongx=-123456L;则以下能正 确输出变量X值的语句是B。 (2002年9月考题) A) printf( \x=%d\\n\, x); B) printf( \x=%ld\\n\, x); C) printf(x=%8dn,x) D) printf( x=%LDIn\, x);

1.1 C语言的特点及与其他语言的比较 1.2 简单的C程序介绍及C语言编程方法 1.3 算法的概念、特性、表示及用C语言实现

3.1 一维数组的定义和引用 3.2 二维数组的定义和引用 3.3 字符数组和字符串 3.4 指针的概念 3.5 指针变量的定义和引用 3.6 指针和数组的关系 3.7 指针和字符串 3.8 指针数组和指向指针的指针

4.1 函数的定义、说明与调用 4.2 变量的存储类、作用域和存在性，内部和外部函数 4.3 编译预处理 4.4 递归函数 4.5 指针与函数的参数传递 4.6 指向函数的指针 4.7 返回指针的函数 4.8 命令行参数

2.1 常量、变量及C的数据类型 2.2 运算符和表达式 2.3 关系运算和逻辑运算 2.4 选择结构、循环结构与C语句 2.5 基本输入输出函数 2.6 Turbo C 2.0 的使用和上机步骤

– 代数项和它们在多类别代数中的解释 – 等式规范（也叫代数规范）和等式证明系统 – 等式证明系统的可靠性和完备性（公理语义和指称语义的等价） – 代数之间的同态关系和初始代数 – 数据类型的代数理论 – 从代数规范导出的重写规则（操作语义）

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

• 递归函数和不动点算子，以及PCF语言的编程实例 • 基于完全偏序集合的，带不动点算子的类型化λ演算的论域理论模型 • 不动点归纳法，这是一种对递归定义进行推理的证明方法

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