《离散概率方法》研究生课程参考资料（书籍文献）Ramsey's Theorem（Wikipedia）

2.1 谓词逻辑的基本概念与表示 2.2 谓词的合式公式及解释 2.3 范式 2.4 一阶逻辑的推理 2.5 谓词逻辑在计算机科学中的应用

问题1：关系具有哪些重要性质？ 问题2：如果计算关系的闭包？ 问题3：什么是等价关系与等价类？

⚫ 欧拉图 ⚫ 哈密顿图 ⚫ 二部图与匹配 ⚫ 平面图 ⚫ 着色

问题1：什么是集合、集合论？ 问题2：集合的基本概念有哪些？ 问题3：如何进行集合运算与集合公式证明？

《离散数学》课程教学大纲

内容1：通路与回路 内容2：无向图的连通性 内容3：有向图的连通性

4.1 二元关系及其表示法 4.2 关系的运算 4.3 关系的性质 4.4 关系的闭包 4.5 等价关系与划分 4.6 次序关系

1.1 命题符号化及联结词 1.2 命题公式及分类 1.3 等值演算 1.4 联结词全功能集 1.5 对偶与范式 1.6 推理理论

《离散数学 Discrete Mathematics》课程教学资源（习题集）《集合论与图论》课堂练习3