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

• 函数式程序 –不含赋值或其它形式的改变变量值的操作 • 命令式程序 –赋值语句是典型的构造 • 本章围绕一个叫做Kernel的简单的命令式语言来讨论语义

⚫ 地址和指针的概念 ⚫ 变量的指针和指向变量的指针变量 ⚫ 数组的指针和指向数组的指针变量 ⚫ 字符串的指针和指向字符串的指针变量 ⚫ 函数的指针和指向函数的指针变量 ⚫ 返回指针值的函数 ⚫ 指针数组和指向指针的指针 ⚫ 有关指针的数据类型和指针运算的小结

实验一 C程序的运行环境和运行一个C程序的方法 实验二 数据类型、运算符和表达式 实验三 最简单的C程序设计 实验四 选择结构程序设计 实验五 循环控制 实验六 数组 实验七 函数 实验八 编译预处理 实验九 指针 实验十 结构体和共用体 实验十一 位运算 实验十二 文件

⚫ 概述 ⚫ 定义结构体类型变量的方法 ⚫ 结构体变量的引用 ⚫ 结构体变量的初始化 ⚫ 结构体数组 ⚫ 指向结构体类型数据的指针 ⚫ 共用体 ⚫ 用typedef定义类型

第一章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 概述

1. C的数据类型 2. 常量和变量 3. 整型、实型、字符型数据 4. 变量赋初值 5. 各类数值型数据间的混合运算 6. 算术运算符和算术表达式 7. 赋值运算符和赋值表达式 8. 逗号运算符和逗号表达式

1. 概述 2. 函数定义的一般形式 3. 函数参数和函数的值 4. 函数的调用 5. 函数的嵌套调用 6. 函数的递归调用 7. 数组作为函数的参数 8. 局部变量和全局变量 9. 变量的存储类别 10.内部函数与外部函数 11.运行一个多文件的程序

1. 概述 2. 定义结构体类型变量的方法 3. 结构体变量的引用 4. 结构体变量的引用和初始化 5. 结构体数组 6. 指向结构体类型数据的指针 7. 用指针处理链表 8. 共用体 9. 枚举类型 10.用typedef定义类型

1. C语句概述 2. 赋值语句 3. 数据的输入输出 4. 字符数据的输入输出 5. 格式输入与输出 6. 顺序结构程序设计举例