离散数学复习纲要二.doc

201209 学期《离散数学》复****纲要二一、单项选择题 1. 命题“小张不是跳高运动员”,可以符号化为() 。设??: M x x 是跳高运动员; C: 小张。 A.?? M c B.?? M x ? C.?? M c ? D.?? M x 2 .设?? 216 A x x x ? ?是整数且,下面哪个命题为假? () ?? B.?? 3, 2, 1 A ? ??? C.?? 4 x x x A ? ?是整数且 D.?? 0,1, 2, 4 A? 3 .任意两个不同小项的合取式为()。 A. 永假式 B. 永真式 C. 可满足式 D. 重言式 4 .谓词公式???????????? x P x y R y Q x ? ???中变元 x是()。 A. 自由变元 B. 约束变元 C. 既不是自由变元,也不是约束变元 D. 既是自由变元,也是约束变元 5 .下列各式中判断自由变元和约束变元不正确的是()。 A.???????????????? x P x R x S x x P x Q x ? ?????, 其中 x 是约束出现 B.???????? x Q x P x R y ? ??, 其中 x 是约束出现,而 y 是自由出现 C.???????? x y P x Q x S y ?????, 其中 x和y 都是约束出现 D.??????, x P x yR x y ? ??, 其中 x和y 都是约束出现 6 .设????, , 4 , A B B A ???? ??则()。 A.? D. {4} 7 .设 S A B ? ?, 下列各式中() 是正确的。 A. domS B ? B. domS A ? C. ranS A ? D. domS ranS S ?? 8. 给定?? 1, 3 , 1, 4 , 2, 3 , 1, 2, 3, 4 , 2, 4 , 3, 4 A A R R ? ?? ?? ?? ?? ?? ?上的关系为,则R 满足的性质是()。 A. 自反的 B. 对称的 C. 传递的 D. 不可传递的 9 .设, A B A ? ?是偏序集, , 下面结论正确的是()。 A. B b B ?的极大元是唯一 B. B b A ?的极大元是不唯一 C. B b A ?的上确界是唯一 D. B b B ?的上确界是不唯一 10 .集合{ a,b,c }到集合{ 0,1 }可定义的特征函数的个数为()。 11 .在自然数集 N 上, 下列() 运算是可结合的,对于任意, a b N ?。 A.?? max , a b a b ? ? B. a b a b ? ?? a b a b ? ?? D. a b a b ? ?? 12 .三阶群中不同构的有() 个。 A