目录

第一章 绪论

一、计算机的构成

二、程序和程序语言

三、用计算机解题

四、程序语言的语法描述

习题与思考

第二章 标识符、常量、变量、表达式

一、标识符

二、整数类型

三、实数类型

四、布尔类型

五、字符类型

六、常量和常量定义

七、变量和变量说明

八、表达式

习题与思考

第三章 简单程序

一、赋值语句

二、简单输入输出语句

三、程序的一般格式

习题与思考

一、数据类型的概念

第四章 简单类型

二、纯量类型

三、子界类型

四、类型定义

五、类型间的关系

习题与思考

第五章 选择与重复

一、IF语句

二、FOR语句

三、WHILE语句

四、REPEAT语句

五、CASE语句

六、语句的嵌套

习题与思考

第六章 数组

一、数组的基本概念

二、多维数组

三、紧缩数组

习题与思考

第七章 记录

一、记录的基本概念

二、WITH语句

三、记录的变体

习题与思考

第八章 过程与函数（Ⅰ）

一、过程

二、函数

三、参数的传递

四、名字的作用域

习题与思考

第九章 程序的研制

一、三种基本控制结构

二、关于GOTO语句

三、抽象和逐步求精

四、程序中的错误

习题与思考

第十章 集合

一、集合的基本概念

二、集合的表示

三、集合的运算

四、集合的应用

习题与思考

第十一章 文件

一、序列

二、文件类型与变量

三、基本文件操作

四、复合操作

五、text文件

习题与思考

第十二章 过程与函数（Ⅱ）

一、非局部量与副作用

二、递归和向前引用

三、过程或函数作参数

习题与思考

第十三章 指针和动态变量

一、指针类型和变量

二、标准过程new

三、指针的应用

习题与思考

第十四章 程序验证初阶

一、断言和验证

二、Pascal语句的验证法则

三、程序设计新方法

习题与思考

参考资料

附录

附录A 关键字和标准标识符

附录B 运算符一览表

附录C 语法