离散数学试题_C(答案).docVIP

哈尔滨工程大学试卷 考试科目：离散数学C（051121，051131-32） 题号 一 二 三 四 五 总分 分数 评卷人 填空题（每小题3分，共15分） 谓词公式xF(x，y)((yG(x，y))的前束范式为((y((F(x，u)((G(v，y))．(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 ． ?(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，当【】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 此为公式的主析取范式设整除关系(画出偏序集((的哈斯图(S45，((中最大元、最小元和所有可逆元的逆元． (S45，((是否构成格？说明理由 （1）S45={1，3，5，9，15，45}． （2）(S45，((中最大元、最小元分别为1和45；元素1和45互为逆元，5和9互为逆元，元素3和15无逆元． （3）(S45，((构成格求模1加群G=(Z1((的所有生成元与子群G=(Z15，((的所有生成元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． 设集合Ａ={ab，c，d}上的二元关系R={(ab(，(b，a(，(b，c(，(c，b(}，求R的闭包(R)和对称闭包s(R)． r(R)=IA(R={(a，a(，(a，b(，(b，a(，(b，b(，(b，c(，(c，b(，(c，c(，(d，d(}． s(R)=R(R-1=R={(a，b(，(b，a(，(b，c(，(c，b(}． 设有向图D如图求D中长度为3的通路数，并指出其中的回路数有向图D，由于 ， 因此，D中长度为3的通路数在一阶逻辑中构造下面推理的证明 前提：(x((x)(D(x)((S(x))，(x(H(x)((S(x)(F(x)))，(x(H(x)((F(x)) 结论：(x(H(x)((D(x))． (1)　(x(H(x)((F(x)) 前提引入 (2)　H(a)((F(a))　　　　　 EI规则 (3)　H(a)　　　　　　　 (2)化简 (4)