2003级强化班离散数学试题.docVIP

2003级强化班离散数学试题 专业 班级 姓名 学号 题号 一 二 三 四 五 六 七 八 九 十 十一 评分 一. 填空（12分） 1.某集合有30个元素，可以构成元素个数为奇数的子集（ ） 2．p(p(()) = （ ）. 3（ ）og=( ) 二. 将下列命题符号化（9分） 只有天下雨，他才乘汽车上班。 他一边吃饭，一边看电视。 画眉都会唱歌。 三．选择性填空(18分) 1.整数列（1，3，3，，5，4）（ ） A．可以简单图化 B. 不可图化 C. 可图化，不可简单图化 2．五阶自补图有（ ）个。 A．0 B. 1 C.2 D. 3 3. 彼得森图是 ( )。 A. 平面图 B. 二部图 C. Euler图 D. 以上都不是 4. 完全二部图K,3,4的边连通度为（ ）。 A．3 B. 4 C.1 D. 7 5.下面哪一种图不一定是树 A．无回路的连通图 B.有n个结点，n-1条边的连通图 C．每对结点间都有路 D.连通但每条边都是割边 6．设A((，则A上的(关系不具有性质（ ） A.反自反性 B.自反性 C.对称性 D.传递性 四．（16分） 1. 判定公式的类型 ((p(q(q) 2. 求下列公式的主合取范式及主析取范式 ( p ( Q ) (R 3. 求前束泛式 (x (F ( x,,y ) ( ( y G(x, y,z ) ) 4 . 消去公式的量词 个体域D=｛ 1 ，2 ｝ (x(y ( G ( x)( F ( y ) ) 五．设集合A={1，2，3，6，812，24，36}，R为A上整除关系，画出R的哈斯图，并指出B={2，6，8}的极大元，最大元及上确界。（6分） 六．证明下面两个图不同构（5分） 七．求下图的最小生成树（6分） 1 2 9 8 7 6 10 4 3 八．设A={1，2，3，4，5，6}R为A上的关系，R的关系图如下 6 1 5 2 3 4 画出R的t(R) ,s(R), r( R ) （6分） 九．有四个村庄的地下各有一个防空洞，相邻两个防空洞间有地道相通，并且每个防空洞各有一条地道与地面相通（如图所示，表示地道）能否从某个防空洞出发每个地道走一次且只走一次回到该防空洞。（6分） 十．R为N(N上二元关系，(a,b,c,d(N(N, a,bRc,d(b=d （1）证明R为等价关系 （2）求商集N(N/R （8分） 十一. 在自然推理系统P中证明下列推理有效。 如果A努力工作，那么B或C感到愉快；如果B愉快那么A不努力工作； 如果D愉快那么C不愉快。所以如果A努力工作则D不愉快。（8分）