离散数学知识点

离散数学知识点

1.集合论部分: 集合及其运算、 二元关系与函数、 自然数及自然数集、集合的基数;

2.图论部分:图的基本概念、 欧拉图与 哈密顿图、树、图的 矩阵表示、平面图、图着色、支配集、覆盖集、独立集与匹配、带权图及其应用;

3.代数结构部分:代数系统的基本概念、 半群与 独异点、 群、 环与 域、 格与 布尔代数;

4.组合数学部分:组合存在性定理、基本的计数公式、组合计数方法、组合计数定理;

5.数理逻辑部分: 命题逻辑、一阶谓词演算、消解原理。