包邮离散数学基础-第2版

前言第l章 数理逻辑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 集合的计数第4章 二元关系4．1 序偶与笛卡尔积4．2 二元关系4．3 关系的运算4．4 关系的性质4．5 关系的闭包运算4．6 等价关系与划分4．7 偏序关系第5章函数5．1函数的概念5．2函数的复合与反函数第6章 代数结构6．1 二元运算及其性质6．2 代数系统6．3 半群6．4 群6．5 子群6．6 陪集与格拉朗日定理6．7 群的同态与同构6．8 环与域第7章 格与布尔代数7．1 格的概念7．2 分配格与有补格7．3布尔代数第8章 图论8．1 图的基本概念8．2 路径与回路8．3 图的矩阵表示8．4 欧拉图与哈密尔顿图8．5 二部图8．6 平面图8．7 树符号表参考文献