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

⚫ 程序的几个要素 ⚫ 算法的概念 ⚫ 简单算法举例 ⚫ 算法的特性 ⚫ 算法的表示 ⚫ 结构化程序设计方法 ⚫ 算法的实现

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);

第一章VHDL的程序结构和软件操作 1-1 VHDL程序的基本结构 1-2软件操作—Max+plusⅡ的操作 第二章 VHDL语言要素 第三章 VHDL顺序语句 第四章 VHDL并行语句 4.1 并行语句概述 4.2 并行信号赋值语句 4.3 进程语句（process） 4.4 元件例化语句 4.5 生成语句（for-generate） 第五章 组合逻辑电路的设计和分析 5.1 概述 5.2 编码器 5.3 译码器 5.4 简单数字显示系统 5.5 其它 第六章 时序逻辑电路的设计和分析 6.2 触发器 6.3 计数器 6.4 分频器 6.5 寄存器 6.1 概述

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

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

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

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

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