离散数学网上作业题..doc

东北农业大学网络教育学院 离散数学复习题 复习题一 一、证明 1、对任意两个集合，证明 2、构造下面命题推理的证明 如果今天是星期三，那么我有一次英语或数学测验；如果数学老师有事，那么没有数学测验；今天是星期三且数学老师有事，所以我有一次英语测验。 二 、计算 1、(1)画一个有一条欧拉回路和一条汉密顿回路的图。 (2)画一个有一条欧拉回路但没有汉密顿回路的图 (3)画一个没有欧拉回路但有一条汉密顿回路的图 2、设，求公式： 的真值。 3、一棵树有个结点度数为2 ，个结点度数为3，… ，个结点度数为k ，问它有几个度数为1的结点。 4、设集合上的关系 ，求出它的自反闭包，对称闭包和传递闭包。 三、设上的整除关系， 是否为上的偏序关系？若是， 则：1、画出的哈斯图； 2、求。 四、用推导法求公式的主析取范式和主合取范式。 五、设实数集上的关系， 证明：是上的等价关系。 六、设分别是实数集和正实数集，＋和×分别是普通加法和乘法，定义函数为，证明的同构映射。 七、设是实数集合，，在上定义二元运算为：，试证明是一个群。是否阿贝尔群？ 复习题二 一、设 上的整除关系 完成下列各小题。 证明是上的偏序关系。 画出偏序集的哈斯图。 在上定义两个二元运算和：对任意，，。请填空（在横线上填是或不是）： ①代数系统 格。 ②代数系统 有界格。 ③代数系统 有补格。 ④代数系统 分配格。 二、求布尔函数的析取范式和合取范式 设是布尔代数上的一个布尔表达式。试写出的析取范式和合取范式（用推导法或列函数表的方法均可）。 三、画出满足下列要求的图 ①有一条欧拉回路和一条汉密尔顿回路。 ②有一条欧拉回路但没有汉密尔顿回路。 ③没有欧拉回路但有汉密尔顿回路。 ④既没有欧拉回路也没有汉密尔顿回路。 四、证明在完全二叉树中，边的总数等于2(n-1)，这里n是叶子数。 五、计算 求带权2、3、5、7、11、13的最优二叉树。 六、证明 在一个连通平面图中，若它有n个结点，m条边，且每个面由k条边围成。 试证 七、证明 设是有限字母表，给定代数系统，其中是串的连接运算。对于任一串，建立到的映射，。证明是到的一个满同态，且当时，是同构映射。 八、应用 给定有限状态机，它的状态图如附图所示。 求状态的011010的后继以及可接受状态序列。 求对于激励010110的响应。 3、构造一台与相似的转换赋值机，画出的状态图。 九、证明 考察一个（8，4）码C，它的校验位a5，a6，a7，a8满足下列方程 a5=a1+ a2+ a4 a6=a1+ a3+ a4 a7=a1+ a2+ a3 a8=a2+ a3+ a4 其中a1，a2，a3，a4为信息位。 求出这个码的一致校验矩阵。证明。 复习题三 一、设集合 完成下列各小题。 1求的幂集。 2证明是偏序集。 3画出偏序集的哈斯图。 4在上定义两个二元运算和：对任意，，。请填空（在横线上填是或不是并回答为什么）： ①代数系统 格，因为 。 ②代数系统 有界格，因为 。 ③代数系统 有补格，因为 。 ④代数系统 分配格，因为 。 ⑤代数系统 布尔代数，因为 。 二、计算 设是布尔代数上的一个布尔表达式。试写出的析取范式和合取范式（用列函数表的方法）。 三、回答问题 完全图是否是欧拉图？是否是哈密尔顿图？为什么？ 四、画图 对于下图，利用克鲁斯克尔算法求一棵最小生成树。 五、计算 一棵树有两个结点度数为2 ，1个结点度数为3，3个结点度数为4 ，其余结点度数为1。问该树有几个度数为1的结点。 六、证明 是无向简单图，其中，证明：。 证明 因为是简单图，所以图中没有环和平行边，任意两结点间最多有一条边，故。 七、证明 已知 求证 八、设计 设计一台有限状态机，它的输出是已经输入符号数的模3数（即设计模3计数器）。 九、计算 给定码C={00000,10001,01100,10101}，求码C中任两个码字的海明距和。 复习题四 一、填空 1、设A和B为有限集，|A|=m，|B|=n，则有 个从A到B的关系，有