昆工08离散数学考研真题.docxVIP

第 第 PAGE 5 页 共 7 页 昆明理工大学 2008 年硕士研究生招生入学考试试题(A 卷) 考试科目代码：606 考试科目名称 ：离散数学试题适用招生专业 ：计算机软件与理论 考生答题须知 所有题目（包括填空、选择、图表等类型题目）答题答案必须做在考点发给的答题纸上，做在本试题册上无效。请考生务必在答题纸上写清题号。 评卷时不评阅本试题册，答题如有做在本试题册上而影响成绩的，后果由考生自己负责。 答题时一律使用蓝、黑色墨水笔或圆珠笔作答（画图可用铅笔），用其它笔答题不给分。 答题时不准使用涂改液等具有明显标记的涂改用品。 一、选择题（共 14 小题。每个选项 2 分，共 30 分） 1、由互不相同的命题变元 P ，P ，……，P 可构造出（ ）个互不等值的命题公式。 1 2 n 1 （A） 2 n（n+1） （B）2n （C）n （D） 2 2 n 2、设 A，B 是任意的命题公式，则要使命题公式A→B 是一个永真式，必须（ ）。 （A）A 是一个永真式 （B）A 是一个永假式 （C）A 是一个等值式 （D）A 是一个蕴涵式 3、下列各式中哪个正确？（ ） ?x ?yA（x，y） ? ?x ? yA（x，y） ?x ? yA（x，y） ? ? y ?x A（x，y） ? x?yA（x，y） ??y ? xA（x，y） ?y ? xA（x，y） ? ? x?yA（x，y） 4、对一个由 n 个前提 A ，A ，……，A 推出结论 B 的推理，只要满足条件（ ），则 B 的真 1 2 n 值必为 1。 A ，A ，……，A 都真 1 2 n B 是 A ，A ，……，A 的有效结论 1 2 n 推理方式符合人的思维习惯 A ，A ，……，A 都真且 B 是 A ，A ，……，A 的有效结论 1 2 n 1 2 n 5、设任意的集合 A、B、C 是任意的集合，则下列命题中正确的是（ ）。 若 若 若 若 且 ，则 。 且 ，则 。 且 ，则 。 且 ，则 。 6、非空集合 A 上的空关系无性质（ ）。 （A）反自反性 （B）自反性 （C）对称性 （D）传递性 7、设集合 A={1，2，3，4}上的二元关系 R={1,1,2,2,2,3,4,4}， S={1,1,3,2,2,2,2,3,4,4}，则 S 是 R 的（ ）闭包。 (A) 自反 (B) 对称 (C) 传递 (D) 以上都不对 8、二元关系之间的合成运算满足（ ）。 （A）交换律 （B）分配律 （C）结合律 （D）幂等律 9、设 A={1，2，3，。。。，9}，定义 A 上的二元关系 R={x,y∣x,y∈A∧x 可整除 y}，则偏序集〈A，≤〉中的元素 5 和 9 都是集合 A 的（ ），1 是 A 的（ ）。 最大元 （B）最小元 （C）极大元 （D）极小元 10、设 A={x∣x 是人}，则下列 A 上的二元关系中，（ ）是一个函数。 {x,y∣x,y∈A∧x 是 y 的父亲} {x,y∣x,y∈A∧y 是 x 的父亲} {x,y∣x,y∈A∧x 认识 y} {x,y∣x,y∈A∧x 与 y 同姓} 11、设 G=〈V，E〉是含有 n 个结点的无向连通图，那么 G 中的边数（ ）。 （A）至少有 n 条 （B）至多有 n 条 （C）至少有 n-1 条 （D）至多有 n-1 条 ，12、二部图 K ， 2 3 是（ ）。 （A）欧拉图 （B）哈密尔顿图 （C）平面图 （D）无向树 13、设 A 是正整数集合，定义 A 上的运算“*”为： a，b∈A ，a*b=a 和 b 的最小公倍数，则“*” 在 A 上（ ）。 （A）只满足结合律和交换律 （B）只满足交换律和幂等律 只满足幂等律和结合律 （D）满足结合律、交换律和幂等律 14、下列集合对于指定运算，构成群的是（ ）。 非负整数集合关于数的加法运算 整数集合关于数的减法运算 正有理数集合关于数的乘法运算 非零实数集合关于数的除法运算 二、填空题 （共 12 小题。每小题 4 分，共 48 分） 1、设谓词 P（x）表示：x 是个诚实的人，Q（x）表示：x 是个聪明的人，则命题“有些聪明人是 诚 实 的 ， 但 并 非 每 个 诚 实 的 人 都 是 聪 明 的 。” 可 符 号 化为 。 2、命题公式（（ P∨Q）→R）→P）的主析取范式为 ，主 合取范式为 。 3、命题公式（（（┓P∨Q） ? （┓Q→┓P））∧P）可化简为 。 4、设个体域 D={1，2}，则对谓词公式? x?y（P（x）→Q（y），消去其中的所有量词后可得与之等值的谓词公式 。 5、设 A={a ，a ，a }，则对集合 A 共有 种不同的划分。 1 2 3 6、如果 R、S 分别表示人与人之间的“父子”关系、“母子”关