第1章 C语言概述 第2章 数据类型运算符与表达式 第3章 C程序设计——顺序程序设计 第4章 选择结构程序设计 第5章 循环控制 第6章 函数 第7章 预处理命令 第8章 数组 第9章 指针 第10章 结构体与共用体 第11章 位运算 第12章 文件

2.1 例子语言 2.2 文法和语言的关系 语言的定义 文法的定义 文法与语言的关系 2.3 Chomsky对文法、语言分类 2.4文法产生语言 2.5 无用非终结符 2.6 推导树 2.7 空串定理（自学） 2.8 消除左递归 2.10 语言之间的运算及运算封闭性 2.11 正则表达式和正则集

本章内容： 介绍几种常用的中间表示：后缀表示、图形表示和三地址代码； 用语法制导定义和翻译方案的方法来说明程序设计语言的结构怎样被翻译成中间形式； 7.1 中间语言 7.2 说明语句 7.3 赋值语句 7.4 布尔表达式的翻译 7.5 控制语句的翻译 7.6 过程调用的处理 7.7 类型检查

• 介绍几种常用的中间代码表示 • 抽象语法树（上一章已介绍） • 有向无环图 • 三地址代码 • 用语法制导定义和翻译方案来说明源语言的各种构造怎样被翻译成中间表示 • 声明（和类型） • 表达式和赋值 • 类型检查和类型转换 • 控制流 • 过程

1 C语言程序设计入门 2 数据类型、运算符和表达式 3 顺序结构和常用语句 4 选择结构程序设 5 循环结构程序设计 6 数组 7 函数 8 编译预处理 9 指针 10 结构体与共用体

第一章 绪论 第二章 写作系统的考察 第三章 写作主体素质的提升 第四章 写作主体能力的培养 第五章 写作过程的审视 第六章 写作表达方式的选择 第七章 写作技法的运用

2.2.2 逻辑函数的最小项表达式 2.2.1 最小项的定义及性质 2.2.4 用卡诺图化简逻辑函数 2.2.3 用卡诺图表示逻辑函数

第1章 Visual Basic程序设计概述 1.1 Visual basic 简介 1.2 VB集成开发环境 1.3 建应用程序过程 1.4 VB帮助系统 第2章 VB可视化编程基础 2.1 VB对象概念 2.2 窗体和基本控件 2.3 综合应用 第三章 VB语言基础 3.1 数据类型 3.2 变量和常量 3.3 运算符和表达式 3.4 程序结构和编码规则 3.5 综合应用

• 了解类型系统的重要性 – 围绕数组类型的若干实例来解释这个重要性 • 基本知识 – 类型表达式、定型断言、定型规则、类型系统 • 多态类型 – 多态函数、类型变量、多态函数的类型推断和类型检查 • 依赖类型 – 依赖类型的实例、编程语言中使用依赖类型的状况

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