吉林大学2004离散数学I试题(A) .pdf

班级：学号：姓名：

2004级本科《离散数学I》考试试题（A卷）

【

注：考试结束后请将此题签与答题纸一并交回，否则后果自负！（2005-07-08）】

、简答题【】

一本大题共20小题，每小题2分，共40分

（1）令A={a,b,c,d}，B=，求A×B。

（2）等价关系除了具有自反性，还具有哪两个性质？

（3）设集合A={a,b,c,d,e,f}，请给出集合的A的一个具有4个划分块的划分，以

及该划分对应的等价关系。

（4）设集合A={1,2,3,4,5,6,7}，R是A上模5合同关系，求商集A/R。

（5）在有限的全序集中一定存在极小元吗？一定存在最小元吗？

（6）设集合A={a,b,c,d}，B={1,2,3,4}，σ＝{(a,1),(b,2),(c,2),(d,4)}是A到B内的

映射，则σ是单射吗？是满射吗？

（7）写出关于P、Q、R的4个极小项。

（8）命题公式G＝(PQ)(PQ)是恒真公式吗？若不是，请给出一个弄

假G的解释。

（9）从命题公式的集合{QS,PQ,P}能演绎出公式S吗？

（10）请给出命题公式QR的真值表。

（11）设谓词公式G＝xyQ(x,y)，I是G的一个解释：

D={a,b},Q(a,a)Q(a,b)Q(b,a)Q(b,b)

0110

吉林大学计算机科学与技术学院第1页共2页

试确定公式G在I下的真值。

（12）设谓词公式G＝yxP(x,y)，H＝xyP(x,y)，则G与H等价吗？

（13）Euler图一定是连通图吗？Hamilton图一定是连通图吗？

（14）任意两点间恰好有一条简单路的图一定是树吗？

（15）有向图G是连通的，则G中一定存在根吗？有向树中一定有根吗？

（16）有向回路中可以存在重复的点（除了首尾两点）吗？

（17）合同式7x6(mod37)有解吗？若有，有几个？

（18）方程33x+34y=1在整数范围内一定有解吗?为什么？

（19）若a与b、c互质，则a与bc互质吗？

（20）{-8,-34,5,27}能构成模4的一个完全剩余系吗？

二、判断题【】

共10小题，每小题1分，共10分，正确答“”，错误打“”

（1）对于任意的集合A、B，若AB，则(A)(B)。（）

（2）设a、b、c、m为整数，若acbc(modmc)，则ab(modm)。（）

（3）任意两个质数a、b，若a|b且b|a，则b=a。（）

（4）集合｛｝是集合{a,b,}的子集。（）

（5）公式G、H等价的充要条件是GH。（）

吉林大学计算机科学与技术学院第2页共2页

（6）任意整数能整除0，但0不能整除任意整数。（）

（7）在谓词公式中，一个变量只能是自由变量或约束变量中的