离散数学填空题及.pdf

《离散数学填空题及.pdf》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、______________________________________________________________________________________________________________编题分难题目答案大纲号型值度1谓词公式x(P(x)yR(y))Q(x)中量词x的辖域是（）。答：P(x)yR(y)填23.13空题2令R(x):x是实数，Q(x):x是有理数。则命题“并非每个实数都是有理数”的符答：x(R(x)Q(x))填23.13号化表示为（）。空题3一棵无向树的顶点数n与边数m关系是()。答：m=n-1填27.13空题4一个图的欧拉回路

2、是一条通过图中()的回路。答：所有边一次且恰好一次填26.43空题精品资料______________________________________________________________________________________________________________5有n个结点的树，其结点度数之和是()。答：2n-2填26.43空题6设T是一棵树，则T是一个连通且()图。答：简单无回路填26.23空题7任一有向图中，度数为奇数的结点有()个。答：偶数填26.13空题8设A{x

3、(xN)且(x5)},B{x

4、xE且x7}（N：自然数集，E+答：{0，1，

5、2，3，4，6}填212正偶数）则AB（）。空题9设P，Q的真值为0，R，S的真值为1，则答：1填22.13(P(Q(RP)))(RS)的真值=（）。空题精品资料______________________________________________________________________________________________________________10公式(PR)(SR)P的主合取范式为（）。答：(PSR)(PSR)填22.34空题11设A={1，2，3，4}，A上关系为｛<1,2>,<2,1>,<2,3>,<3,4

6、>｝则R2=答：{<1,1>,<1,3>,<2,2>,<2,4>}填24.1；3()。空4.2题12设A={a，b，c，d}，其上偏序关系R的哈斯图为答：{,,,,}I填24.44A空则R=（）。题13树是不包含树是不包含（）的（）图的。答：环;无向填28.13空题14设A={1，2，3}，则A上既不是对称的又不是反对称的关系R=()。答：R={<1,2>,<1,3>,<2,1>}填24.33空精品资料________________________________________________________________________

7、______________________________________题15设f，g是自然数集N上的函数xN,f(x)x1,g(x)2x，则答：2(x+1)填25.23fg(x)（）。空题16设A={a，b，c}，A上二元关系R={,,,},答：填24.45{a,a,a,b,a,c,c,c,b,a,c,a}则s（R）=（）。空题17P，Q真值为0；R，S真值为1。则wff(P(RS))((PQ)(RS))答：1填22.23的真值为（）。空题18wff((PQ)R)R的主合取范式为（）。答：(P

8、QR)(PQR)(PQR)填22.34空题19设P（x）：x是素数，E(x)：x是偶数，O(x)：x是奇数N(x,y)：x可以整答：(PQR)(PQR)(PQR)填23.13数y。则谓词wffx(P(x)y(O(y)N(y,x)))的自然语言是空精品资料______________________________________________________________________________________________________________（）。题20谓词wffxy(z(P(x,z)P(y,z))uQ(x

9、,y,u))的前束范式为答：填23.24（）。xyzu(P(x,z)P(y,z)Q(x,y,u))空题21若P，Q，为二命题，PQ真值为0当且仅当（）。答：P真值为1，Q的真值为0填22.13空题22将量词辖域中出现的（）和指导变元交换为另一变元符号，公式其余答：约束变元填23.13的部分不变，这种方法称为换名规则。空题23设G为9阶无向图，每个结点度数不是5就是6，则G中至少有