离散数学

第1章 命题逻辑 1．1 命题和连接词 1．2 命题公式和真值表 1．3 等值演算 1．4 连接词的全功能集 1．5 命题公式的范式 1．6 命题逻辑的推理理论 1．7 习题第2章 一阶逻辑 2．1 基本概念 2．2 一阶逻辑公式及其解释 2．3 一阶逻辑等值式与前束范式 2．4 一阶逻辑推理理论 2．5 习题第3章 集合 3．1 集合的基本概念 3．2 集合的运算 3．3 集合恒等式 3．4 习题第4章 二元关系 4．1 有序对和笛卡尔乘积 4．2 二元关系 4．3 关系图和关系矩阵 4．4 关系的运算 4．5 关系的性质 4．6 关系的闭包 4．7 等价关系和划分 4．8 相容关系和覆盖 4．9 序关系 4．10 习题第5章 函数 5．1 函数的定义和性质 5．2 复合函数与逆函数 5．3 逆函数 5．4 习题第6章 代数系统 6．1 二元运算及其性质 6．2 代数系统 6．3 代数系统的同态和同构 6．4 半群和独异点 6．5 群 6．6 子群 6．7 循环群 6．8 置换群 6．9 陪集 6．10 环和域 6．11 习题第7章 格与布尔代数 7．1 格的概念 7．2 分配格 7．3 布尔代数 7．4 习题第8章 图论 8．1 图的基本概念 8．2 路与回路 8．3 图的连通性 8．4 图的矩阵的表示 8．5 欧拉图与哈密尔顿图 8．6 平面图 8．7 *短路径和关键路径 8．8 树与生成树 8．9 根树及其应用 8．10 习题