应用离散数学

第1章 命题逻辑 1.1 命题和联结词 1.2 命题公式和真值表 1.3 等值演算 1.4 范式 1.5 命题逻辑的推理理论 习题1 第2章 谓词逻辑 2.1 谓词逻辑的基本概念 2.2 谓词公式及其解释 2.3 谓词逻辑的等值式与前束范式 2.4 谓词逻辑的推理理论 习题2 第3章 集合 3.1 集合的基本概念 3.2 集合的运算 3.3 有穷集的计数问题 3.4 集合在计算机中的表示 习题3 第4章 二元关系和函数 4.1 序偶与笛卡尔积 4.2 二元关系及其表示 4.3 关系的运算 4.4 关系的性质 4.5 关系的闭包 4.6 等价关系与划分 4.7 偏序关系 4.8 函数 习题4 第5章 图 5.1 图的基本概念 5.2 图的连通性 5.3 图的矩阵表示 5.4 图的应用 习题5 第6章 特殊图 6.1 无向树 6.2 生成树和*小生成树 6.3 根树 6.4 欧拉图 6.5 哈密顿图 6.6 二部图 6.7 平面图 习题6 第7章 代数系统基础 7.1 代数运算 7.2 代数系统 习题7 第8章 几个典型的代数系统 8.1 半群和群 8.2 环和域 8.3 格和布尔代数 习题8 参考文献