东华大学《离散数学》2017-2018学年第一学期期末试卷.pdfVIP

东 华 大 学 试 卷 2017—2018 学年第 1 学期 课号 课程名称 离散数学 （期末; 闭卷） 适用班级（或年级、专业） 考试时间 120 分钟 班级 学号 姓名 题 号 一 二 三 四 五 六 七 八 九 十 成绩 满 分 12 10 10 18 10 10 15 15 100 得 分 一、单项选择题（每小题2 分，共12 分） 1. 设M(x)表示“x 是人”，F(x)表示 “x 很聪明”，G(x,y)表示“x 比y 聪明”，a 表示“小 明”，则“小明很聪明，但他未必比所有人都聪明。”可符号化为： ( ) A. F(a)x(M(x)→G(a,x)) B. F(a)→xG(a,x) C. F(a)xG(x,a) D. F(a)x(M(x)→G(x,a)) 2. 设命题公式G=(pq)q，H=(q→p)→(pq) ，则G 与H 的关系是： （ ） A ．HG 但G  H B. GH C ．GH 但H  G D. A 、B 、C 都不对 3. 设R 是非空集合A 上的二元关系，若S=RR−1，则S 一定具有的性质是 ( ) A. 自反性 B. 对称性 C. 传递性 D. 反自反性 4. 设A={a,{a}} ，下列式子中正确的是（ ） A ． {a}P( A) B ． a P( A) C ． {a}  P( A) D ．以上都不是 5. 设A={a,b,c,d} ，A 上的等价关系R={a,a,b,b,c,c,d,d,c,d,d,c}则对应于R 的 A 的划分是（ ） A ．{ {a},{b,c},{d}} B. { {a,b},{c},{d}} C ．{ {a},{b},{c,d}} D．{ {a,b},{c,d}} 6. 设集合A={0,1} ，P(A)是A 的幂集，为集合的对称差运算，则代数系统P(A), 是 （ ） A. 半群，但不是独异点； B. 独异点，但不是群； C. 群，但不是Abel 群； D. Abel 群。 二、填空题（每个空2 分，共10 分） 1. 设个体域为{a,b}，则公式xy (F(x)G(y))消去量词后应为 。 2. 设公式A 中的命题变项为p, q, r ，若A 有且仅有成假赋值110 和010 ，那么A 的主合取 范式为(要求用公式表示，否则不给分) 。 3. 设集合A={a,b,c} ，R={a,b, b,a,c,b} ，则R102= 。 4. 设集合X={1，2，3}，函数f : X → X ,g : X → X ，f ={1,2 ,  2,3 ,  3,1 } ， g ={1,2 ,  2,3 ,  3,3 } ，则f −1  g = ，g  f = 。 5. 设S={0,1,2,3,4}，为模5 乘法，即x,y S, xy=(xy)mod 5 ，则S 中关于运算的等 幂元有 。 三、判断题