学习计算机数学基础的离散数学要记住哪些公式啊???

三、离散数学

1、数理逻辑：

（1）命题及其符号化。 （2）命题公式及其分类。 （3）命题逻辑等值演算。 （4）范式。 （5）命题逻辑推理理论。 （6）谓词与量词。 （7）谓词公式与解释。 （8）谓词公式的分类。 （9）谓词逻辑等值演算与前束范式。 （10）谓词逻辑推理理论。

2、集合论：

（1）集合及其表示。 （2）集合的运算。 （3）有序对与笛卡尔积。 （4）关系及其表示法。 （5）关系的运算。 （6）关系的性质。 （7）关系的闭包。 （8）复合关系与逆关系。 （9）等价关系与偏序关系。 （10）函数及其性质。 （11）反函数与复合函数。

3、代数系统：

（1）代数运算及其性质。 （2）同态与同构。 （3）半群与群。 （4）子集与陪集。 （5）正规子群与商群。 （6）循环群与置换群。 （7）环与域。 （8）格与布尔代数。

4、图论：

（1）无向图与有向图。 （2）路、回路与图的连通性。 （3）图的矩阵表示。 （4）最短路径与关键路径。 （5）二部图。 （6）欧拉图与哈密尔顿图。 （7）平面图。 （8）树与生成树。 （9）根树及其应用。