2004离散数学I试题（A）学习资料.docVIP

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

班级：学号：姓名：

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

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

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

一、简答题【本大题共20小题，每小题2分，共40分】

令A={a,b,c,d}，B=?，求A×B。

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

设集合A={a,b,c,d,e,f}，请给出集合的A的一个具有4个划分块的划分，以及该划分对应的等价关系。

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

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

设集合A={a,b,c,d}，B={1,2,3,4}，σ＝{(a,1),(b,2),(c,2),(d,4)}是A到B内的映射，则σ是单射吗？是满射吗？

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

命题公式G＝(?P??Q)?(P??Q)是恒真公式吗？若不是，请给出一个弄假G的解释。

从命题公式的集合{?Q?S,?P?Q,P}能演绎出公式S吗？

请给出命题公式Q?R的真值表。

设谓词公式G＝?x?yQ(x,y)，I是G的一个解释：

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

0110

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

设谓词公式G＝?y?xP(x,y)，H＝?x?yP(x,y)，则G与H等价吗？

Euler图一定是连通图吗？Hamilton图一定是连通图吗？

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

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

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

合同式7x?6(mod37)有解吗？若有，有几个？

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

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

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

二、判断题【共10小题，每小题1分，共10分，正确答“?”，错误打“?”】

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

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

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

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

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

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

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

任意正整数都可以写成若干质数的乘积。 （）

对于有n(n1)个原子的极大项，仅有一个解释能满足该极大项。 （）

图G的子图的节点数一定比图G的节点数少。 （）

三、解答题【本大题共5小题，每小题10分，共50分】

设集合A={c，a，b}，B={d，b，e，c}，求下列集合：

①A∪B； ②A∩B； ③A-B； ④A?B；

⑤?(A)； ⑥?(B)； ⑦A?A； ⑧A?B。

设(A,R)是部分序集，A={2,3,4,5,6,7,8,9,10,16,20,24,36}，R={(a,b)|a,b?A且a|b}，即R是A上的整除关系，请画出(A,R)的Hasse图表示，并写出A的所有极大元、极小元、最大元和最小元。

求公式G=(?P?R)?(Q?R)?(P?Q)的主析取范式和主合取范式。

求公式?x?y(P(x)?Q(x,y))?(?yR(y)??zS(z))的Skolem范式。

求1413和3231的最高公因数并表为其倍数和。