离散数学期末复习基本要求

离散数学期末复习基本要求

第一部分——数理逻辑

​ • 命题符号化：给定一段文字描述的命题逻辑描述，会进行命题符号化
​ • 求复合命题的真值
​ • 联结词与完备集：将命题公式化简成与之等值的“与非式”或“或非式”
​ • 求命题公式的主析取范式、主合取范式；主合取范式与主析取范式相互转换
​ • 自然推理系统P

第二部分——集合论

​ • 画出集合的文氏图
​ • 给定集合A，集合A的关系R，能够画出二元关系R的关系图，说明R具备的性质：自反性/反自反、对称/反对称、传递性等
​ • 会求关系的合成运算、逆运算、幂运算
​ • 能够根据等价关系对集合进行划分，求等价类、商集
​ • 偏序关系判断，偏序关系性质的证明（自反、反对称、传递）

第三部分——图论

​ • “握手定理”及其应用
​ • 图的邻接矩阵、关联矩阵、可达矩阵，矩阵幂运算，Warshall算法求可达路径
​ • 带权图的最小生成树及其权的大小
​ • 二元前缀码判断
​ • Dijkstra最短路径算法
​ • 实际问题用图进行建模，哈密顿图判断，哈密顿通路
​ • 二部图匹配：Hall定理，T-条件，最大匹配

第四部分——组合数学

​ • 给定数列求生成函数或指数生成函数
​ • 使用生成函数求解递推方程