10.1 二元运算及其性质 10.2 代数系统

–集合的等势及其性质 –重要的等势或不等势的结果 –集合的优势及其性质 –自然数与自然数集合 –集合的基数 –可数集

8.1 函数的定义与性质 8.2 函数的复合与反函数 8.3 一个电话系统的描述实例

7.1 有序对与笛卡儿积 7.2 二元关系 7.3 关系的运算 7.4 关系的性质 7.5 关系的闭包 7.6 等价关系与划分 7.7 偏序关系

–集合的基本概念—集合、相等、(真)包含、子集、空集、 全集、幂集 –集合运算—交、并、(相对和绝对)补、对称差、广义交、 广义并 –文氏图—有穷集计数问题 –集合恒等式

5.1 一阶逻辑等值式与置换规则 5.2 一阶逻辑前束范式 5.3 一阶逻辑的推理理论

4.1 一阶逻辑命题符号化 4.2 一阶逻辑公式及解释

–推理的形式结构 –自然推理系统P

– 等值式与基本的等值式 – 等值演算与置换规则 – 析取范式与合取范式、主析取范式与主合取范式

– 命题、联结词、复合命题 – 命题公式、赋值、命题公式的分类