1.1 计算与计算工具

第1章 计算机科学概述

1.2 计算机发展简史

1.3 计算机应用

1.4 计算机的基本原理与组成

习题

第2章 计算机中的数制与编码

2.1 信息编码

2.2.1 数制

2.2 计算机中的数制

2.2.2 十进制

2.2.3 二进制

2.2.4 八进制

2.2.5 十六进制

2.2.6 不同数制间的转换方法

2.3.3 浮点表示法

2.3.2 定点表示法

2.3.1 机器数

2.3 计算机内的数值表示

2.3.4 计算机中的减法与补码

习题

第3章 离散数学基础

3.1 命题逻辑

3.1.1 命题

3.1.2 逻辑连接词和复合命题

3.2 谓词逻辑

3.3 时态逻辑

3.4 集合

3.4.1 集合的定义

3.4.2 集合之间的关系

3.4.3 集合的运算

3.4.4 集合的划分

3.5.3 二元关系

3.5.2 笛卡尔积(直积)

3.5.1 序偶

3.5 关系

3.5.4 二元关系R上的关系集

3.5.5 二元关系的性质

3.6 函数

3.6.1 函数定义

3.6.2 函数的性质

3.6.3 逆函数与复合函数

习题

第4章 形式语言

4.1 形式语言的定义

4.2 文法

4.3 推导与句型、句子

4.4 实例

习题

第5章 可编程结构

5.1 冯·诺伊曼结构

5.2 有限状态自动机

5.3 图灵机

5.4 可编程结构

习题

第1章 Pascal语言概述

1.1 计算机语言

1.1.1 计算机语言的发展历程

1.1.2 计算机高级语言

1.2.1 Pascal语言概述

1.2 Pascal语言概述

1.2.2 Pascal程序的基本结构

1.2.3 Pascal字符集

1.3 Pascal语言的特点

习题

第2章 算法及其描述方法

2.1 算法概述

2.2 算法举例

2.3.2 用流程图描述算法

2.3 算法的描述方法

2.3.1 用自然语言描述算法

2.3.3 用N-S流程图描述算法

2.3.4 伪代码描述算法

2.3.5 用计算机语言描述算法

2.4 结构化程序设计方法

习题

第3章 数据类型、运算符与表达式

3.1 Pascal的数据类型

3.1.1 数据类型分类

3.1.2 整型数据

3.1.3 实型数据

3.1.4 字符型数据

3.1.5 布尔型数据

3.1.6 标准函数

3.2 常量与变量

3.2.1 常量

3.2.2 变量

3.3 运算符

3.3.1 算术运算符

3.3.2 关系运算符

3.3.3 逻辑运算符

3.3.4 位运算符

3.4 表达式与赋值语句

3.4.1 表达式的意义

3.4.2 运算符的优先级

3.4.3 赋值语句

习题

第4章 顺序结构程序设计

4.1 概述

4.2 read和readln语句

4.2.1 read语句

4.2.2 readln语句

4.3 write和writeln语句

4.3.2 writeln语句

4.3.1 write语句

4.4 输出定位

4.5 顺序结构程序设计举例

习题

第5章 选择结构程序设计

5.1 概述

5.2 IF语句

5.2.1 IF语句的两种形式

5.2.2 复合语句

5.2.3 复合IF语句

5.3 CASE语句

5.4 GOTO语句

5.5 选择结构程序设计举例

习题

第6章 循环结构程序设计

6.1 概述

6.2 FOR语句

6.2.1 递增循环FOR-TO-DO

6.2.2 递减循环FOR-DOWNTO-DO

6.3 WHILE语句

6.4 REPEAT语句

6.5 循环嵌套

6.6 几种循环语句的比较

6.7 转移语句

6.8 循环结构程序设计举例

习题

第7章 程序设计方法与实例

7.1 程序设计方法

7.2 程序设计实例

第8章 枚举、子界与集合

8.1 概述

8.2 枚举

8.2.1 枚举类型的定义

8.2.2 枚举类型的运算

8.2.3 枚举类型的使用

8.2.4 枚举类型应用举例

8.3 子界

8.3.1 子界类型的定义

8.3.2 子界类型的使用

8.3.3 子界类型应用举例

8.4 集合

8.4.1 集合类型的定义

8.4.2 集合类型的运算

8.4.3 集合类型的输入与输出

8.4.4 类型相容与赋值相容

习题

第9章 数组

9.1 概述

9.2 一维数组

9.3 多维数组

9.4 字符数组

9.5 紧缩数组

习题

第10章 函数和过程

10.1 概述

10.2 函数

10.2.1 函数的基本形式

10.2.2 参数的类型

10.2.3 变量的作用域

10.2.4 函数应用举例

10.3 过程

10.3.1 过程的基本形式

10.3.2 过程应用举例

10.4 嵌套与递归

10.4.1 嵌套

10.4.2 递归

10.5 函数与过程作为参数

10.6 向前引用

习题

第11章 记录

11.1 概述

11.2 记录定义

11.3 WITH语句

11.4 记录数组

11.5 层次记录

11.6 记录变体

习题

第12章 指针与链表

12.1 静态数据结构与动态数据结构

12.2 指针

12.2.1 指针的定义

12.2.2 指针的操作

12.2.3 节点类型变量值的引用

12.3 链表

12.3.1 概述

12.3.2 链表操作

12.3.3 队列和栈

习题

第13章 文件

13.1 概述

13.2 文件的类型

13.3 文件的操作

13.4 文件的处理

13.4.1 文件比较

13.4.2 文件合并

13.5 正文文件

13.6 文件缓冲器变量

13.6.1 概述

13.6.2 get操作

13.6.3 put操作

13.6.4 get/put与read/write之间的关系

习题

第14章 软件开发过程

14.1.1 软件需求分析的任务

14.1 软件需求分析

14.1.2 软件需求分析的过程

14.1.3 优秀需求的特征

14.2 软件设计

14.2.1 软件设计的任务

14.2.2 软件设计的设计准则

14.2.3 软件设计的方法

14.3 程序编码

14.3.1 结构化程序设计

14.3.2 程序设计风格

14.3.3 程序设计语言

14.3.4 程序复杂性变量

14.4 软件测试

14.4.1 软件测试的目的和原则

14.4.2 测试过程模型

14.4.3 软件测试技术

14.4.4 软件测试步骤

14.4.5 程序证明技术

习题

第15章 大型程序设计方法与实例

15.1 大型程序设计方法

15.1.1 自顶向下和自底向上

15.1.2 问题分解

15.1.3 结构化分解

15.1.4 模块化程序分析

15.2.1 需求分析

15.2 大型程序设计实例

15.2.2 程序设计

15.2.3 程序清单

15.2.4 测试

习题

引言

第1章 计算机系统简介

1.1 计算机系统

1.2 操作系统的地位和作用

1.3 文件系统

1.4 DOS简介

1.5 Windows简介

习题

第2章 Borland Pascal 7.0集成开发环境

2.1 开发一个Pascal程序的步骤

2.2 Borland Pascal 7.0集成开发环境简介

2.3 File菜单

2.5 Run菜单

2.4 Compile菜单

2.6 Option菜单

2.7 Help菜单

习题

第3章 实验题目

3.1 实验要求

3.2 实验题目

3.2.1 Pascal的基础知识

3.2.2 程序的3个基本结构

3.2.3 过程和函数

3.2.4 枚举、子界和集合

3.2.5 数组和记录

3.2.6 文件

3.2.7 指针

3.2.8 其他程序设计

3.2.9 大型程序设计

4.2 程序测试

4.1 程序的常见错误

第4章 程序的常见错误与程序调试

习题

附录A ASCII码表

附录B Pascal语句表

附录C Pascal运算符的优先级表

附录D Borland Pascal 7.0的错误信息表

附录E Pascal的巴科斯-瑙尔范式（BNF）

参考文献