哈尔滨工程大学2017-2018学年离散数学试卷.docVIP

装 订 线 装 订 线 班级： 学号： 姓名： 班级： 学号： 姓名： 装 订 线 第 第 =page 2*2-1 3页 共 = NUMPAGES 3*26页 第 = PAGE 2*2 4页 共 = NUMPAGES 3*26页 第 第 =page 1*2-1 1页 共 = NUMPAGES 3*26页 第 = PAGE 1*2 2页 共 = NUMPAGES 3*26页 哈尔滨工程大学试卷 考试科目：离散数学C（2017-2018学年） 题号 一 二 三 四 五 总分 分数 评卷人 填空题（每小题3分，共15分） 谓词公式?(?xF(x，y)??yG(x，y))的前束范式为?x?y(?F(x，u)??G(v，y))． 设A={1，2，3，4，5}，áP(A)，??构成群，其中?为集合的对称差．令B={1，4，5}，则由B生成的循环子群áB?={?，B}． 模加群G=áZ6, ??的所有生成元为 1，5 ． n阶无向简单图G的?=?=n-1，则G为 Kn ． 设áG，＊?为群，a?G且|a|=m，则|a-1|= m ． 选择题（每小题3分，共15分） 命题公式?(p→q)ùqùr的类型是 【D】 A．重言式． B．非重言式的可满足式． C．简单合取式． D．矛盾式． 5阶无向完全图的非同构的自补图有 【B】 A．1个． B．2个． C．3个． D．4个． 设?A，??是独异点，e是其单位元，若?a?A，有a?a=e，则?A，?? 【B】 A．是群但不是Abel群． B．是Abel群． C．不是群． D．不是代数系统． 树T中有3个3度顶点，2个2度顶点,其余顶点都是树叶，则T中树叶片数为 【C】 A．1 　　　B．4 C．5 　　　　D．6 对完全二部图Kr，s，当【A】时，Kr，s为哈密尔顿图． A．r=s． B．r?s． C．rs． D．rs． 计算与简答题（每小题10分，共40分） 利用等值演算法求公式?(r?p)ú(qù(púr))的主析取范式，并给出其成真赋值． ?(r?p)ú(qù(púr)) ??(?rúp)ú(qùp)ú(qùr) ?(?pùr)ú(pùq)ú(qùr) ?((?pùr)ù(?qúq))ú((pùq)ù(?rúr))ú((qùr)ù(?púp)) ?(?pù?qùr)ú(?pùqùr)ú(pùqù?r)ú(pùqùr) ?m1úm3úm6úm7 此为公式的主析取范式． 公式的成真赋值为001、011、110和111． 设S45表示45的全体正因子（包括1和45）组成的集合，在S45上定义整除关系?：m?n?m|n． 画出偏序集?S45，??的哈斯图． 求出?S45，??中最大元、最小元和所有可逆元的逆元． ?S45，??是否构成格？简要说明理由． ?? ?? ?? ? ? ? ? （1）S45={1，3，5，9，15，45}． （2）?S45，??中最大元、最小元分别为1和45；元素1和45互为逆元，5和9互为逆元，元素3和15无逆元． （3）?S45，??构成格，因为S45中任意两个元素均有最小上界和最大下界． 求模15加群G=áZ15，??的所有生成元与所有子群． G=áZ15，??的所有生成元为与15互质的整数有：1，2，4，7，8，11，13，14，它们就是群的生成元． 15的所有正因子为1，3，5，15，因此Z15=á1?有4个循环子群,　分别为 　　 á115/1?=á115?=á15?=á0?={0}， á115/3?=á15?=á5?={0，5，10}， á115/5?=á13?=á3?={0，3，6，9，12}， á115/15?=á1?=G． 设集合Ａ={a，b，c，d}上的二元关系R={áa，b?，áb，a?，áb，c?，ác，b?}，求R的自反闭包r(R