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

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

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

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

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

一、简答题（本大题共20小题，每小题2分，共40分）

设A是一个非空集合，R是A上的等价关系，A的一个子集M称为一个等价类，请给出M应该满足的条件。

举例说明关系的乘积不满足交换率。

如果今天是星期4，那么1015天前是星期几？

设集合A＝{a,b,c}，IA是集合A上的相等关系，试求出ρ(IA)。

试给出命题公式Q??R的所有解释。

对于任意的命题公式G，求等价于G的析取范式一般要经历哪些步骤？

试说明由命题公式集合｛P∧Q,Q??G,0｝可以演绎出公式G。

对于原子P、Q、R而言，共有多少个极大项？满足某个极大项Mi的解释唯一吗？若不唯一，应该有多少个？

什么是析取范式和合取范式？

试给出弄假公式G＝?xQ(x)??xQ(x)的一个解释。

谓词公式?xA(x)∨?xB(x)与?x(A(x)∨B(x))等价吗？为什么？

对于有n个点的连通图G，图G至少需要有多少条边？为什么？

有限图G中所有