月离散数学期末考试复习提纲.docVIP

2012 — 2013 学年第二学期期末考试 《 离散数学 》复习提纲 1.(5’)写出命题公式的真值表。知道如何判断公式的有效性。 2.(5’)会写出谓词公式的否定公式并进行化简。 3.(6’)将一段短文符号化成相应的谓词公式，然后证明结论的有效性。 4.(6’)关于集合公式的证明或举出不成立的反例。 5.(5’)关于集合子集与集合基数的概念。 6.(5’) 容斥原理的计算题。 7.(6 ’)偏序的哈斯图以及各种特殊元素的概念，格的概念。 8.(5’)集合的幂集，偏序和全序。 9.(6’)证明等价关系，写出等价类，由等价关系导出的基本集合上的划分 10.(7’) 证明给定函数是双射函数，求反函数。 11.(8’)计算已知函数的复合函数，会用数学归纳法证明问题。 注意：请在12(1)和12(2)中任意选作一题。 12(1).(8’)证明两个布尔代数同构，会用原子表示任意非零元素，证明与原子相关的问题。 12(2)(8’)子群的证明，构造两个群的同构，确定循环群的生成元。 13.(7’)求布尔函数（表达式）的析取范式和合取范式，用二进制编码的极大项和极小项形式表示范式。 14.(5’)会写有向图或无向图的邻接矩阵，然后用Warshall算法求出可达矩阵或连通矩阵。 注意：请在15(1)和15(2)中任意选作一题。 15(1).(6’)图中总度数和总边数的关系，树中顶点数和边数的关系，会用这些关系证明简单问题。 15(2).(6’)使用陪集概念和拉格朗日定理计算群的阶数。 16.(5’) 用Kruskal算法求最小生成树并计算最小权重，用顶点序列写出Euler回路，Euler路或Hamilton回路，。 17(5’)根据字符使用频率，构造最优前缀码。 2