离散数学

第1章 集合论 1．1 集合的概念与运算 1．1．1 集合的概念 1．1．2 集合之间的关系 1．1．3 集合的运算 1．1．4 集合的运算性质 1．1．5 序偶与笛卡儿积 1．2 二元关系 1．2．1 二元关系及其表示 1．2．2 二元关系的运算 1．3 关系的性质 1．4 关系的闭包运算 1．5 序关系 1．6 等价关系 1．7 映射 1．8 数学归纳法 1．9 计数 1．9．1 帕斯卡三角形和二项式定理 1．9．2 鸽巢原理 1．9．3 乘法法则和加法法则 1．9．4 排列和组合 1．10 排列组合生成算法 1．11 离散概率简介 习题1 第2章 命题逻辑 2．1 命题与联结词 2．1．1 命题与真值 2．1．2 命题联结词 2．2 命题公式、指派及真值表 2．2．1 命题公式 2．2．2 命题的符号化 2．2．3 公式的指派（赋值）及真值表 2．3 命题公式的等值式，蕴含关系式 2．3．1 命题公式的等值式 2．3．2 代人规则与替换规则 2．3．3 对偶式 2．3．4 蕴含关系式 2．4 主析取范式和主合取范式 2．4．1 合取范式与析取范式 2．4．2 主范式 2．5 联结词完备集 2．6 可满足性问题与消解法 2．7 推理的形式结构 2．8 自然推理系统N中的形式证明 习题2 …… 第3章 谓词逻辑 第4章 公理系统下的形式证明 第5章 图论 第6章 代数系统 第7章 格与布尔代数 附录A离散数学在关系数据库中的应用 参考文献