天津2025自考[计算机科学]离散数学考前冲刺练习题.docxVIP

第PAGE页共NUMPAGES页

天津2025自考[计算机科学与技术]离散数学考前冲刺练习题

一、单项选择题（共10题，每题2分，共20分）

1.设集合A={1,2,3},B={2,3,4},则A∩B等于（）。

A.{1,2}

B.{2,3}

C.{3,4}

D.{1,4}

2.下列哪个命题是永真式？（）

A.p∨?p

B.p∧?p

C.p→?p

D.?(p∧q)??p∨?q

3.设函数f:A→B,其中A={1,2,3},B={a,b,c},且f(1)=a,f(2)=b,f(3)=c，则f是（）。

A.单射

B.满射

C.双射

D.以上都不是

4.下列哪个图是欧拉图？（）

A.有奇数个奇度顶点的连通图

B.所有点的度数均为偶数的连通图

C.不连通的图

D.含有环的图

5.下列哪个命题公式是可满足的？（）

A.(p∧q)→p

B.(p→q)∧(q→p)

C.(p∨q)∧?p∧?q

D.p∧?p

6.下列哪个是正确的逻辑等价式？（）

A.?(p∧q)??p∧?q

B.(p→q)??p∨q

C.(p∧q)?(p∨q)

D.p∨(q∧r)?(p∨q)∧(p∨r)

7.设R是集合A上的等价关系，则R的商集A/R的基数等于（）。

A.|A|

B.|A|-1

C.gcd(|A|,|R|)

D.|A|/|R|

8.下列哪个是正确的布尔代数运算？（）

A.a+a=a

B.a∧b=b∧a

C.a∧(b∨c)=(a∧b)∨(a∧c)

D.以上都是

9.设G是n阶无向连通图，则G至少有（）条边。

A.n-1

B.n

C.n+1

D.2n

10.下列哪个是正确的偏序关系？（）

A.{(a,b),(b,a)}

B.{(a,a),(b,b),(a,b)}

C.{(a,b),(a,c),(b,c)}

D.{(a,b),(c,d)}

二、填空题（共10题，每题2分，共20分）

1.设集合A={1,2},B={a,b},则A×B=________。

2.命题公式p∧(q∨r)的析取范式为________。

3.设函数f:R→R,f(x)=x^2，则f是________（单射/满射/双射）。

4.一个有n个顶点的无向完全图有________条边。

5.命题公式p→q的等价式为________。

6.设集合A上的关系R={(a,b)|a≤b},则R是________（reflexive/symmetric/transitive）。

7.布尔代数中的恒等元有________和________。

8.一个有n个顶点的无向树有________条边。

9.偏序集{(a,b),(b,c),(a,c)}的哈斯图是________（线性/非线性）。

10.有限状态自动机M=(Q,Σ,δ,q0,F)中，Q是________的集合。

三、判断题（共10题，每题2分，共20分）

1.任何命题公式都可以唯一地写成析取范式。（）

2.如果函数f:A→B是双射，则f的逆函数f^(-1)也是双射。（）

3.欧拉图的所有顶点的度数都是偶数。（）

4.命题公式p∧q与p∨q的逻辑等价。（）

5.任何等价关系都是偏序关系。（）

6.布尔代数中的运算满足交换律和分配律。（）

7.一个连通图至少有两个奇度顶点。（）

8.任何偏序集的哈斯图都是一棵树。（）

9.有限自动机可以识别正则语言。（）

10.离散数学中的图论部分只研究无向图。（）

四、简答题（共5题，每题6分，共30分）

1.写出命题公式p∧(q∨?r)的合取范式。

2.解释什么是满射函数，并举例说明。

3.描述欧拉图的定义及其性质。

4.解释什么是等价关系，并举例说明。

5.描述偏序关系的定义及其性质。

五、计算题（共4题，每题10分，共40分）

1.设集合A={1,2,3},B={a,b},计算A×B的笛卡尔积，并找出其中的所有素数对。

2.化简布尔表达式F=(a+b)∧(a+?b)∧(?a+b)。

3.给定有向图G如下，求从顶点a到顶点d的所有可能路径。

a→b