2.1 数据类型 2.2 整型数据 2.3 实型数据 2.4 字符型数据 2.5 变量说明与初始化 2.6 操作符和表达式 2.7 表达式

9.1 局部变量和全局变量 9.2 变量的存储方式 9.3 内部函数和外部函数 9.4 动态存储单元 9.5 变量修饰符 const

8.1 函数概述 8.2 函数的定义和调用 8.3 返回非整型值的函数 8.4 函数的值调用和引用调用 8.5 函数指针 8.6 函数的嵌套调用和递归调用 8.7 主函数main()

5.1 按位操作 5.2 条件运算操作符“?” 5.3 逗号（,）、方括号[ ]和圆括号( )操作符 5.4 复合赋值运算符

1.1 C语言源程序 1.2 源程序的编译和C++语言的集成开发环境 1.3 函数的初步概念 1.4 几个基本程序语句的小结 1.5 简单的数据输入与输出

15.1 类的结构 15.2 内联函数 15.3 友元函数 15.4 类的静态成员 15.5 传递对象给函数 15.6 类和指针 15.7 类与结构类型和联合类型的关系

一、本章讨论集合论中较为困难的问题—集合的基数问题；但只限于对基数作一简单介绍；如学时较少可不讲本章或对本章作恰当的删减. 二、本章主要概念为:集合的等势、有限集与无限集、可数集与不可数集及较为常见的集合的基数

19.1 C++的I/O系统概述 19.2 定义自己的插入操作符和提取操作符 19.3 格式化 I/O 19.4 文本文件的I/O 19.5 二进制文件的I/O 19.6 文件的随机访问

本章可视为前一章的深入和提高； 由于命题逻辑的局限性我们必须 引入谓词逻辑.学习本章时要求掌 握好谓词与命题的关系、量词、 辖域、公式等概念.比较谓词公式 的等价、蕴涵与命题公式相应的 概念的异同；能将自然语言符号 化；能用谓词逻辑进行推理；理 解前束范式的意义

本章是数理逻辑中的最基本内容， 是下一章的基础.本章主要讲述命 题与联结词、命题公式、恒真命 题、等价式、蕴涵式及范式等基 本内容；能将自然语言符号化； 能用等价式、蕴涵式等进行命题 演算和推理；能用逻辑推理的方 法解决一些实际问题