中科院计算机研究所98年数学试题.docxVIP

中科院计算机技术研究所 1998 年硕士生入学试题 离散数学 1.（10 分）证明：若（A-B）U（B-A）=C，则 A 包含于（B-C）U（C-B）的充要条件是 A 交 B 交 C=空。 2.（12 分）找出只有 6 个元素的所有不同构的群。 3.（14 分）R1 和 R2 为X 上的两个关系，且R1*R2=Ix（恒同关系） 若 X 为有限集合，证明：存在 X 上双射 F1 和 F2，使得 F1*F2=Ix 且 aR1b〈==〉b=F1（a），cR2d〈==〉d=F2（c）。 若X 为无限集合，举例说明（1）的结论不成立。 4.（10 分）令A 分别为下列各式： （1）（ p－＞q）＜－＞（v 否 p 并 q））并（p 交r 交否 p） （2）（p 并 q －＞q 并r) -(q-r) p-p 交(q 并否 q 并 r) （4）(p-否 q)交(r 并 q) （5）否 p-(p 交(p 并 q)) 从下列备选答案中选择正确的答案:(1)A 是重言式(2)否 A 是重言式(3)A 和否A 都不是重言式. 5.(8 分)求公式 否((p-否q)-r)的主析取范式和主合取范式. 6(12 分)将命题并非 E1 中的每个数都小于或等于E2 中的每个数按以下要求的形式表达出来: (1)出现全称量词,不出现存在量词; (2)出现存在量词,不出现全称量词. 7.(14 分) 写出下图的关联矩