离散数学期末试题及答案A1
离散数学期末复习题(6套)
《离散数学》期末考试题(A)一、填空题(每小题3分,共15分)1.设}}{},,{{c b a A =,}}{},,{},{{c c b a B =,则)(=⋃B A ,)(=⋂B A ,)()(=A P .2.集合},,{c b a A =,其上可定义( )个封闭的1元运算,( )个封闭的2元运算,( )个封闭的3元运算.3.命题公式1)(↑∧q p 的对偶式为( ).4.所有6的因数组成的集合为( ).5.不同构的5阶根树有( )棵.二、单选题(每小题3分,共15分)1.设A , B 是集合,若A B A =-,则(A)B = ∅ (B) A = ∅ (C)=⋂B A ∅ (D)A B A =⋂2.谓词公式)())()((x R y yQ x P x ∧∃→∀中量词x ∀的辖域为(A))())()((x R y yQ x P x ∧∃→∀ (B))()(y yQ x P ∃→(C))())()((x R y yQ x P ∧∃→ (D))()(y yQ x P ∃→和)(x R3.任意6阶群的子群的阶一定不为(A)4 (B)6 (C)2 (D)34.设n 是正整数,则有限布尔代数的元素个数为(A)2n (B)4n (C)n 2 (D)2n5.对于下列序列,可构成简单无向图的度数序列为(A)3, 3, 4, 4, 5 (B)0, 1, 3, 3, 3 (C)1, 1, 2, 2, 3 (D)1, 1, 2, 2, 2三、判断题(每小题3分,共15分): 正确打“√”,错误打“×”.1. 设N N N :⨯→f ,)1,()(+=x x x f ,则f 是满射. () 2. 5男5女圆桌交替就座的方式有2880种. () 3. 设),(≤L 是格,对于L z y x ∈,,,若z x y x ⋅=⋅且z x y x +=+,则z y =. () 4. 任何树都至少2片树叶. ()5. 无向图G 有生成树的充要条件是G 为连通图. ( )四、(10分)设C B A ,,和D 是集合,证明)()()()(D B C A D C B A ⨯-⨯⊆-⨯-,并举例说明上式中不能将⊆改为 = .五、(15分)设N 是自然数集合,定义N 上的关系R 如下:y x R y x +⇔∈),(是偶数,1.证明R 是N 上的等价关系.2.求出N 关于等价关系R 的所有等价类.3.试求出一个N 到N 的函数f ,使得)}()(,N ,|),{(y f x f y x y x R =∈=.六、(10分)在实数集合R 中证明下列推理的有效性:因为R 中存在自然数,而所有自然数是整数,所以R 中存在整数.七、(10分)设R 是实数集合,令}0,R ,|),{(≠∈=a b a b a G ,定义G 上的运算如下: 对于任意G d c b a ∈),(),,(,),(),(),(b ad ac d c b a +=⋅,证明),(⋅G 是非Abel 群.八、(10分)若简单平面图G 的节点数7=n 且边数15=m ,则G 是连通图,试证明之.《离散数学》期末考试题(B)一、填空题(每小题3分,共15分)1.设,,},,{{b a b a A =∅},则-A ∅ = ( ),-A {∅} = ( ),)(A P 中的元素个数=|)(|A P ( ).2.设集合A 中有3个元素,则A 上的二元关系有( )个,其中有( )个是A 到A 的函数.3.谓词公式))()(())()((y P y Q y x Q x P x ⌝∧∃∧→∀中量词x ∀的辖域为( ), 量词y ∃的辖域为( ).4.设}24,12,8,6,4,3,2,1{24=D ,对于其上的整除关系“|”,元素( )不存在补元.5.当n ( )时,n 阶完全无向图n K 是平面图,当n 为( )时,n K 是欧拉图.二、单选题(每小题3分,共15分)1.设R 是集合A 上的偏序关系,1-R 是R 的逆关系,则1-⋃R R 是A 上的(A)偏序关系 (B)等价关系 (C)相容关系 (D)以上结论都不成立2.由2个命题变元p 和q 组成的不等值的命题公式的个数有(A)2 (B)4 (C)8 (D)163.设p 是素数且n 是正整数,则任意有限域的元素个数为(A)n p + (B)pn (C)n p (D)pn4.设R 是实数集合,≤是其上的小于等于关系,则(R, ≤)是(A)有界格 (B)分配格 (C)有补格 (D)布尔格5.3阶完全无向图3K 的不同构的生成子图有(A)2 (B)3 (C)4 (D)5 三、判断题(每小题3分,共15分): 正确打“√”,错误打“×”.1.若一个元素a 既存在左逆元l a ,又存在右逆元r a ,则r l a a =. ( )2.命题联结词→不满足结合律. ( )3.在Z 8 = {0,1,2,3,4,5,6,7}中,2关于“⋅8”的逆元为4. ( )4.整环不一定是域. ( )5.任何),(m n 平面图的面数2+-=n m r . ( )四、(10分)设B A f →:且C B g →:,若g f 是单射,证明f 是单射,并举例说明g 不一定是单射.五、(15分)设},,,{d c b a A =,A 上的关系)},(),,(),,(),,(),,(),,(),,(),,(),,{(c d b d a d c c b c a c c a b a a a R =,1.画出R 的关系图R G .2.判断R 所具有的性质.3.求出R 的关系矩阵R M .六、(10分)利用真值表求命题公式))(())((p q r r q p A →→↔→→=的主析取范式和主合取范式.七、(10分) 边数30<m 的简单平面图G ,必存在节点v 使得4)deg(≤v .八、(10分) 有六个数字,其中三个1,两个2,一个3,求能组成四位数的个数.《离散数学》期末考试题(C)一、填空题(每小题3分,共15分)1. 若n B m A ==||,||,则=⨯||B A ( ),A 到B 的2元关系共有( )个,A 上的2元关系共有( )个.2. 设A = {1, 2, 3}, f = {(1,1), (2,1), (3, 1)}, g = {(1, 1), (2, 3), (3, 2)}和h = {(1, 3), (2, 1), (3,1)},则( )是单射,( )是满射,( )是双射.3. 下列5个命题公式中,是永真式的有( )(选择正确答案的番号).(1)q q p p →→∧)(;(2))(q p p ∨→;(3))(q p p ∧→;(4)q q p p →∨∧⌝)(;(5)q q p →→)(.4. 设D 24是24的所有正因数组成的集合,“|”是其上的整除关系,则3的补元( ),4的补元( ),6的补元( ).5. 设G 是(7, 15)简单平面图,则G 一定是( )图,且其每个面恰由( )条边围成,G 的面数为( ).二、单选题(每小题3分,共15分)1. 设A , B , C 是集合,则下述论断正确的是( ).(A)若A ⊆ B , B ∈ C ,则A ∈ C . (B)若A ⊆ B , B ∈ C ,则A ⊆ C .(C)若A ∈ B , B ⊆ C ,则A ∈ C . (D)若A ∈ B , B ⊆ C ,则A ⊆ C .2. 设R ⊆ A ⨯ A ,S ⊆ A ⨯ A ,则下述结论正确的是( ).(A)若R 和S 是自反的,则R ⋂ S 是自反的.(B)若R 和S 是对称的,则S R 是对称的.(C)若R 和S 是反对称的,则S R 是反对称的.(D)若R 和S 是传递的,则R ⋃ S 是传递的.3.在谓词逻辑中,下列各式中不正确的是( ).(A))()())()((x xB x xA x B x A x ∀∨∀=∨∀(B))()())()((x xB x xA x B x A x ∀∧∀=∧∀(C))()())()((x xB x xA x B x A x ∃∨∃=∨∃(D)),(),(y x xA y y x yA x ∀∃=∃∀4. 域与整环的关系为( ).(A)整环是域 (B)域是整环 (C)整环不是域 (D) 域不是整环5.设G 是(n , m )图,且G 中每个节点的度数不是k 就是k + 1,则G 中度数为k 的节点个数为( ). (A)2n . (B)n (n + 1). (C)nk . (D)m k n 2)1(-+. 三、判断题(每小题3分,共15分): 正确打“√”,错误打“×”.1.设f : Z → Z ,x x x f 2||)(-=,则f 是单射. ( )2.设ϕ是群G 1到群G 2的同态映射,若G 1是Abel 群,则G 2是Abel 群. ( )3.设),(≤L 是格,对于L z y x ∈,,,若z x y x ⋅=⋅且z x y x +=+,则z y =. ( )4.元素个数相同的有限布尔代数都是同构的. ( )5.设G 是n (n ≥ 11)阶简单图,则G 或G 是非平面图. ( )四、(15分)设A 和B 是集合,使下列各式(1)A B A =⋂; (2)A B B A -=-;(3)A A B B A =-⋃-)()(成立的充要条件是什么,并给出理由.五、(10分) 设S 是实数集合R 上的关系,其定义如下∈=y x y x S ,|),{(R 且是3y x -是整数}, 证明: S 是R 上的等价关系. 六、(10分) 求谓词公式)))()(()(()(x xD y yC y B x xA ∀→∃⌝→→∃的前束范式.七、(10分) 若n 个人,每个人恰有3个朋友,则n 必为偶数,试证明之.八、(10分) 利用生成函数求解递归关系⎩⎨⎧=-+=-2)1(211a n a a n n .《离散数学》期末考试题(D)一、填空题(每小题3分,共15分)1. 设|A | = 5, |B | = 2, 则可定义A 到B 的函数( )个,其中有( )单射,( )个满射.2. 令G (x ): x 是金子,F (x ): x 是闪光的,则命题“金子都是闪光的,但闪光的未必是金子”符号化为( ).3. 设X 是非空集合,则X 的幂集P (X )关于集合的⋃运算的单位元是( ),零元是( ),P (X )关于集合的⋂运算的单位元是( ).4. 不同构的5阶无向树有( )棵.5. 对于n 阶完全无向图K n , 当n 为( )时是Euler 图,当n ≥ ( )时是Hamilton 图,当n ( )时是平面图.二、单选题(每小题3分,共15分)1. 幂集P (P (P (∅))) 为( )(A){{∅}, {∅, {∅}}}. (B){∅, {∅, {∅}}, {∅}}.(C){ ∅, {∅, {∅}}, {{∅}}, {∅}} (D){ ∅, {∅, {∅}}}.2. 设R 是集合A 上的偏序关系,则1-⋃R R 是( ).(A)偏序关系 (B)等价关系 (C)相容关系 (D)以上答案都不对3. 下列( )组命题公式是不等值的.(A))(B A →⌝与B A ⌝∧. (B) )(B A ↔⌝与)()(B A B A ∧⌝∨⌝∧.(C))(C B A ∨→与C B A →⌝∧)(. (D))(C B A ∨→与)(C B A ∨∧⌝.4.下列代数结构(G , *)中,( )是群.(A)G = {0, 1, 3, 5}, “*”是模7加法. (B) G = Q , “*”是数的乘法.(C)G = Z , “*”是数的减法. (D) G = {1, 3, 4, 5, 9}, “*”是模11乘法.5.4阶完全无向图4K 中含3条边的不同构的生成子图有(A)3 (B)4 (C)5 (D)2三、判断题(每小题3分,共15分): 正确打“√”,错误打“×”.1.函数的复合运算“ ”满足结合律. ( )2. {→⌝,}是最小功能完备联结词集合. ( )3. 实数集R 关于数的乘法运算“⋅”阿贝尔群. ( )4. 任意有限域的元素个数为2n . ( )5. 设G 是n (n 为奇数)简单图,则G 与G 中度数为奇数的节点个数相同. ( )四、(10分)设A 和B 是集合,使B B A =-成立的充要条件是什么,并给出理由.五、(10分) 设R 和S 是集合A 上的对称关系,证明S R 对称的充要条件是R S S R =.六、(15分)分别利用(1)等值演算法和(2)真值表求命题公式))(())((r q p p q r A ∨→→→∨⌝=的主析取范式和主合取范式.七、(10分) 设G 是(n , m )无向图,若n m ≥,证明G 中必存在圈.八、(10分) 在初始条件f (1) = c 下,求解递归关系bn n f n f +⎪⎭⎫ ⎝⎛=22)(,其中b ,c 为常数且kn 2=,k 为正整数.《离散数学》期末考试题(E)一、填空题(每小题3分,共15分)1.设A = {2, {3}, 4, a }, B = {1, 3, 4, {a }}, 则{3}( )A ,{a }( )B ,{{a }}( )B .2. 设A = {1, 2, 3, 4, 5}上的关系R = {(1, 2), (3, 4), (2, 2)}, S = {(4, 2), (2, 5), (3, 1), (1, 3)}, 则=S R { }, =R S { }, =R R { }.3. gcd(36, 48) = ( ),lcm(36, 48) = ( ).4.任意有限布尔代数)1,0,,,,(⋅+B 均与集合代数( )同构,其元素个数为( ).5. 不同构的5阶无向树有( )棵,不同构的5阶根树有( )棵.二、单选题(每小题3分,共15分)1. 在有理数集合Q 上定义运算“*”如下:对于任意x , y ∈ Q ,y x * = x + y – xy ,则Q 关于*的单位元是( ).(A)x . (B)y . (C)1. (D)0.2. 设A = {1, 2, 3}, 下图分别给出了A 上的两个关系R 和S ,则S R 是( )关系.(A)自反. (B)对称. (C)传递. (D)等价.3.令T (x ): x 是火车,B (x ): x 是汽车,F (x , y ): x 比y 快,则“某些汽车比所有的火车慢”符号化为( ).(A)()()),()()(y x H x T x y B y →∀∧∃.(B)()()),()()(y x H x T x y B y ∧∀→∃.(C)()()),()()(y x H x T y B y x ∧→∃∀.(D)()()),()()(y x H x T x y B y →∀→∃.4. 整数集合Z 关于数的加法“+”和数的乘法“⋅”构成的代数结构(Z, +, ⋅)是( ). 1 1 22 3 3G S G R(A)域(B)域和整环(C)整环(D) 有零因子环G≅,则称G为自补图. 5阶不同构的自补图5.设G是简单图,G是G的补图,若G个数为( ).(A)0. (B)1. (C)2. (D)3.三、判断题(每小题3分,共15分): 正确打“√”,错误打“×”.1. { ∅, {∅}} ∉P(P({∅})). ( )2. 非空1元及2元联结词集合的个数为29-1. ( )3. 群可分为Abel群和非Abel群. ( )4. 元素个数相同的有限域都是同构的. ( )5. 设G是简单图,则G或G是连通图. ( )四、(15分)设C,:, 若gf 是单射,证明f是单射,并举例说明g→:f→gBBA不一定是单射.五、(10分)设A = {a, b, c, d}上的关系R = {(a, b), (b, d), (c, c), (a, c)}, 画出R的关系图,并求出R的自反闭包r(R)、对称闭包s(R)和传递闭包t(R).六、(10分)用CP规则证明下列推理.⌝∨→∨(.⇒),(⌝),→pqssrqrqp→七、(10分)求谓词公式))xyByAxA∀→∨∀∧⌝∃的前束范式.zC((x()))(z(()八、(10分)任意6个人中,一定有3个人彼此认识或有3个人彼此不认识.《离散数学》期末考试题(F)一、填空题(每小题3分,共15分)1. 设A = {1, 2, 3, {1, 2}, {3}}, B = {2, {2,3}, {1}} , 则A–B = { }, B–A = { }, A⊕B = { }.2. 实数集合R关于加法运算“+”的单位元为( ), 关于乘法运算“⋅”的单位元为( ), 关于乘法运算“⋅”的零元为( ).3. 令Z(x): x是整数,O(x): x是奇数,则“不是所有整数都是奇数”符号化为( ).4. 有限域的元素个数为( ), 其中( )且( ).5. 设G 是(7, 15)简单平面图,则G 一定 ( )连通图,其每个面恰由( )条边围成,G 的面数为( ).二、单选题(每小题3分,共15分)1. 函数的复合运算“ ”满足( )(A)交换律. (B)结合律. (C)幂等律. (D)消去律.2. 设集合A 中有4个元素,则A 上的等价关系共有( )个.(A)13 (B)14 (C)15 (D)163.下列代数结构(G , *)中,( )是群.(A)G = {0, 1, 3, 5}, “*”是模7加法. (B) G = Q , “*”是数的乘法.(C)G = Z , “*”是数的减法. (D) G = {1, 3, 4, 5, 9}, “*”是模11乘法.4. 下列偏序集,( )是格.5. 不同构的(5, 3)简单无向图有( )个.(A)4 (B)5 (C)3 (D)2三、判断题(每小题3分,共15分): 正确打“√”,错误打“×”.1. 设A ,B ,C 是集合,若C A B A ⊕=⊕, 则B = C . ( )2. 逻辑联结词“→”满足结合律. ( )3. 设 (L , ≤)是偏序集,若L 的任意非空子集均存在上确界和下确界,则(L , ≤)是格.( )4. 在同构意义下,有限布尔代数只有,,,),((⋂⋃X P ∅, X ). ( )5. 设G 是简单图,则G 与G 中度数为奇数的节点个数相同. ( )四、(15分) 设C B g B A f →→:,:, 若g f 是满射,证明g 是满射,并举例说明f 不一定是满射.五、(10分) 在整数集合Z 上定义关系R 如下:对于任意∈y x , Z ,y y x x R y x +=+⇔∈22),(.判断R 是否具有自反性、反自反性、对称性、反对称性及传递性.六、(10分)利用真值表求命题公式)())(q p q p A ⌝→↔→⌝=的主析取范式和主合取范式.七、(10分)证明:在至少两个人的人群中,必有两个人有相同个数的朋友.八、(10分)将6阶完全无向图K 6的边随意地涂上红色或蓝色,证明:无论如何涂法,总存在红色的K 3或蓝色的K 3.(ps :答案见离散数学期末复习题(6套)答案文档)。
离散数学考试试题(A卷及答案)
离散数学考试试题(A卷及答案)离散数学考试试题(A卷及答案)⼀、(10分)判断下列公式的类型(永真式、永假式、可满⾜式)?1)((P→Q)∧Q)?((Q∨R)∧Q) 2)?((Q→P)∨?P)∧(P∨R)3)((?P∨Q)→R)→((P∧Q)∨R)解:1)永真式;2)永假式;3)可满⾜式。
⼆、(8分)个体域为{1,2},求?x?y(x+y=4)的真值。
解:?x?y(x+y=4)??x((x+1=4)∨(x+2=4))((1+1=4)∨(1+2=4))∧((2+1=4)∨(2+1=4))(0∨0)∧(0∨1)1∧1?0三、(8分)已知集合A和B且|A|=n,|B|=m,求A到B的⼆元关系数是多少?A到B的函数数是多少?解:因为|P(A×B)|=2|A×B|=2|A||B|=2mn,所以A到B的⼆元关系有2mn个。
因为|BA|=|B||A|=mn,所以A到B的函数mn个。
四、(10分)已知A={1,2,3,4,5}和R={<1,2>,<2,1>,<2,3>,<3,4>,<5,4>},求r(R)、s(R)和t(R)。
解:r(R)={<1,2>,<2,1>,<2,3>,<3,4>,<5,4>,<1,1>,<2,2>,<3,3>,<4,4>,<5,5>}s(R)={<1,2>,<2,1>,<2,3>,<3,4>,<5,4>,<3,2>,<4,3>,<4,5>}t(R)={<1,2>,<2,1>,<2,3>,<3,4>,<5,4>,<1,1>,<1,3>,<2,2>,<2,4>,<1,4>}五、(10分) 75个⼉童到公园游乐场,他们在那⾥可以骑旋转⽊马,坐滑⾏铁道,乘宇宙飞船,已知其中20⼈这三种东西都乘过,其中55⼈⾄少乘坐过其中的两种。
《离散数学》期末考试试卷附答案
《离散数学》期末考试试卷附答案一、填空题(每小题3分,共15小题,共45分)1设集合A,B,其中A={1,2,3}, B= {1,2}, 则A - B=____________________;ρ(A) - ρ(B)=__________________________ .2. 设有限集合A, |A| = n, 则|ρ(A×A)| = __________________________.3.设集合A = {a, b}, B = {1, 2}, 则从A到B的所有映射是__________________________ _____________, 其中双射的是__________________________.4. 已知命题公式G=⌝(P→Q)∧R,则G的主析取范式是_________________________________________________________________________________________.5.设G是完全二叉树,G有7个点,其中4个叶点,则G的总度数为__________,分枝点数为________________.6设A、B为两个集合, A= {1,2,4}, B = {3,4}, 则从A⋂B=_________________________; A⋃B=_________________________;A-B=_____________________ .7. 设R是集合A上的等价关系,则R所具有的关系的三个特性是______________________, ________________________,_______________________________.8. 设命题公式G=⌝(P→(Q∧R)),则使公式G为真的解释有__________________________,_____________________________,__________________________.9. 设集合A={1,2,3,4}, A上的关系R1 = {(1,4),(2,3),(3,2)}, R1 = {(2,1),(3,2),(4,3)}, 则R1•R2 = ________________________,R2•R1 =____________________________,R12 =________________________.10. 设有限集A, B,|A| = m, |B| = n, 则| |ρ(A⨯B)| =_____________________________.11设A,B,R是三个集合,其中R是实数集,A = {x | -1≤x≤1, x∈R}, B = {x | 0≤x < 2, x∈R},则A-B = __________________________ , B-A = __________________________ , A∩B = __________________________ , .13.设集合A={2, 3, 4, 5, 6},R是A上的整除,则R以集合形式(列举法)记为___________ _______________________________________________________.14. 设一阶逻辑公式G = ∀xP(x)→∃xQ(x),则G的前束范式是__________________________ _____.15.设G是具有8个顶点的树,则G中增加_________条边才能把G变成完全图。
离散数学期末考试试题与答案
12. (8分) (G, · )是一个群,取定u ∊ G. ∀g1,g2∊G,定义: g1*g2= g1· u-1· g2. 证明: (G,*)是群。
证明: (1) 封闭性 (2) 可以结合性 (3) 幺元 e*=u. 事实上, g*e*=g*u=g· u-1· u=g· e=g e**g=u*g=u· u-1· g=e· g=g (4) 逆元 对于∀g∊G, 在代数运算*下的逆元记为g*-1 于是, g*-1=u· g-1· u 这里, g-1是在代数运算· 下的逆元
13. (5分) G是一个群,H,K是G正规子群. 证明: H∩K是G正规子群.
证明: (1) (3分) a,b HK,就有a,b H, a,b K, 因为H, K是群G的子群, 所以,a*b-1H,a*b-1K,因此a*b-1 HK。故 HK是G的子群。 (2) (2分) 对于a HK, gG, 就有a H,aK。 因为H,K是群G的正规子群,所以 g*a*g-1H, g*a*g-1K, 从而有g*a*g-1HK, 故HK是G的正规子群。
1. (6分) 已知 A={{a},a,b}, B={{b}, a}, 求 A×B, AB, P(A). 解: A×B={({a},{b}), ({a},a), (a, {b}), (a, a), (b, {b}), (b, a)} AB=(A-B) ∪(B-A)={{a}, b, {b}} P(A)={Ø, {a}, a, b, {{a}, a}, {{a},b}, {a,b}, A}.
2. (4分) 已知R1,R2是A上的对称关系, R1∘R2对称吗? 证明或 举反例说明.
离散数学期末试卷(3套附答案)
2 离散数学(A 卷) 王军东(答案写在答题纸上,写在试题纸上无效)一、单项选择题(每小题3分,共30分)1.设A , B 是集合,若A B A =-,则(A) B = ∅ (B) A = ∅ (C) =⋂B A ∅ (D) A B A =⋂2.在有理数集合Q 上定义运算“*”如下:对于任意x , y ∈ Q ,y x * = x + y – xy ,则Q 关于*的单位元是( ).(A)x . (B)y . (C)1. (D)0.3.谓词公式)())()((x R y yQ x P x ∧∃→∀中量词x ∀的辖域为(A))())()((x R y yQ x P x ∧∃→∀ (B))()(y yQ x P ∃→(C))())()((x R y yQ x P ∧∃→ (D))()(y yQ x P ∃→和)(x R4.设p :我们划船,q :我们跑步, 则有命题“我们不能既划船又跑步”符号化为( )(A) ⌝ p ∧⌝ q (B) ⌝ p ∨⌝ q (C) ⌝ (p ↔ q ) (D) ⌝ (⌝ p ∨⌝ q ).5.设Z +是正整数集,R 是实数集,f :Z +→R , f (n )=log 2n ,则f ( )A .仅是单射B .仅是满射C .是双射D .不是函数6. 设集合A = {1, 2, 3, 4, 5}上的关系R = {(x , y )|x , y ∈ A 且x + y = 6},则R 的性质是( ).(A) 自反的. (B) 对称的. (C) 对称的、传递的. (D) 反自反的、传递的.7. 下列联结词中,不满足交换律的是( ).(A)∧. (B)∨. (C)⊕. (D) →.8..设G 是n 阶简单无向图,则其最大度)(G ∆( ).(A) > n (B) ≤ n . (C) < n . (D) ≥ n .9. 下列所示的哈斯图所对应的偏序集中能构成格的是( )A .B .C .D .课程考试试题学期 学年 拟题人:校对人:拟题学院(系): 适 用 专 业:10. 设G 是(n , m )图,且G 中每个节点的度数不是k 就是k + 1,则G 中度数为k 的节点个数为( ). (A)2n . (B)n (n + 1). (C)nk . (D)m k n 2)1(-+. 二、填空题(每空3分,共30分)1.设A={1,2},B={2,3},则A-B=_______, A ⊕B=________,2.设A={2,3 },R ⊆A ×A ,R={(2,3), (2,2)},则R 的自反闭包r(R)=__________,对称闭包s(R)=__________。
离散数学期末试卷和答案
离散数学课程期末考试试卷(第 A 卷)考试专业班级信息09101、09102班考试形式闭卷考试时间 120 分钟考试学期 2010年下学期考试类型考试命题教师席金菊题号一二三四五六七八总分分值20 20 40 20 0 0 0 0 100一、选择题 (总共20 分,每小题2分)1.设G是n个结点、m条边和r 个面的连通平面图,则m等于()。
A、n+r-2 ;B、n-r+2 ;C、n-r-2 ; D 、n+r+2 。
2.设L(x):x是演员,J(x):x是老师,A(x , y):x 钦佩y,命题“所有演员都钦佩某些老师”符号化为()。
A 、; B、;C、;D、3.设K = {e , a , b , c},是Klein四元群,则元素a的逆元为()。
A、e ;B、a ;C、b ;D、c。
4.设,下列各式中()是正确的。
domS B ; B 、domS A; C、ranS A; D、domS ranS = S 。
5.下面是前缀编码的是()A. 00,10,110,011B. 10, 000, 101, 01C.111,000,110,11D.010,110,01,1016.设<A ,+ ,·>是一代数系统,+、·为普通加法和乘法运算,当A为()时,<A ,+ ,·>是域。
A、;B、;C、;D、。
7.下列问题成立的有()。
A、若,则; B、若,则;C、若,则;D、若,则。
8.设集合A,B是有穷集合,且,则从A到B有()个不同的双射函数。
A、;B、;C、;D、。
9.设<A, >是一个格,由格诱导的代数系统为,则()成立。
A、;B、;C、;D、。
10.下列表达式正确的有()A、;B、;C、;D、。
二、填空题 (总共20 分,每空2分)1.设p:我生病,q:我去上课,命题“我虽然生病但我还是去上课”符号化为:()。
2.设|A|=3,则A上有()个二元关系。
大学《离散数学》期末考试试卷及答案(1)
大学《离散数学》期末考试试卷及答案(1)一、选择题1. 离散数学的主要研究对象是()。
A. 连续的数学结构B. 有限的数学结构C. 数学的综合应用D. 数学的哲学思考2. 命题逻辑是离散数学的一个重要组成部分,它主要研究()。
A. 命题之间的真假关系B. 变量之间的关系C. 函数之间的关系D. 集合之间的关系3. 集合的基本运算包括()。
A. 并、交、差、补B. 加、减、乘、除C. 包含、相等、不等、自反D. 大于、小于、等于、不等于二、填空题1. 若集合A={m|2m-1>3},则A中的元素为______。
2. 有一个集合A={1,2,3},则集合A的幂集为______。
3. 若命题p为真,命题q为假,则复合命题“p∧q”的真值为______。
三、解答题1. 请写出离散数学中常用的数学符号及其含义。
2. 请解释命题逻辑中的充分必要条件及其符号表示,并给出一个例子。
3. 请定义集合的笛卡尔积,并给出两个集合进行笛卡尔积运算的例子。
四、问答题1. 离散数学在计算机科学中有着重要的应用,请列举三个与计算机科学相关的离散数学应用领域并简要介绍。
2. 请简要解释归纳法在离散数学中的作用,并给出一个使用归纳法证明的例子。
3. 什么是有向图?请给出一个有向图的例子,并解释该图中的关系。
参考答案:一、选择题1. B2. A3. A二、填空题1. A={m|2m-1>3}2. {{}, {1}, {2}, {3}, {1,2}, {1,3}, {2,3}, {1,2,3}}3. 假三、解答题1. 常用数学符号及含义:- ∪:并,表示集合的合并操作。
- ∩:交,表示集合的交集操作。
- ∖:差,表示减去一个集合中的元素。
- ⊆:包含,表示一个集合包含于另一个集合。
- =:相等,表示两个集合具有相同的元素。
2. 充分必要条件是指一个命题的成立与另一个命题的成立互为必要条件,若A是B的充分必要条件,那么当A成立时B一定成立,且当A不成立时B也一定不成立。
大学《离散数学》期末考试试卷及答案 (1)
安徽大学2006-2007学年第1学期 《离散数学》期末考试试卷(A 卷)(时间120分钟)开课院(系、部) 姓名 学号 .一、选择题(每小题2分,共20分)1.下列语句中,哪个是真命题( )A 、42=+x ;B 、我们要努力学习;C 、如果ab 为奇数,那么a 是奇数,或b 是偶数;D 、如果时间流逝不止,你就可以长生不老。
2.下列命题公式中,永真式的是( )A 、P Q P →→)(;B 、P P Q ∧→⌝)(;C 、Q P P ↔⌝∧)(;D 、)(Q P P ∨→。
3.在谓词逻辑中,令)(x F 表示x 是火车;)(y G 表示y 是汽车;),(y x L 表示x 比y 快。
命题“并不是所有的火车比所有的汽车快”的符号表示中哪些是正确的?( ) I.)),()()((y x L y G x F y x →∧∀⌝∀ II.)),()()((y x L y G x F y x ⌝∧∧∃∃III. )),()()((y x L y G x F y x ⌝→∧∃∃A 、仅I ;B 、仅III ;C 、I 和II ;D 、都不对。
4.下列结论正确的是:( )A 、若C AB A =,则C B =; B 、若B A B A ⊆,则B A =;C 、若C A B A =,则C B =;D 、若B A ⊂且D C ⊂,则D B C A ⊂。
5.设φ=1A ,}{2φ=A ,})({3φρ=A ,)(4φρ=A ,以下命题为假的是( ) A 、42A A ∈; B 、31A A ⊆; C 、24A A ⊆; D 、34A A ∈。
6.设R 是集合},,,{d c b a A =上的二元关系,},,,,,,,,,,,{><><><><><><=b d d b a c c a a d d a R 。
下列哪些命题为真?( ) I.R R ⋅是对称的 II. R R ⋅是自反的 III. R R ⋅不是传递的A 、仅I ;B 、仅II ;C 、I 和II ;D 、全真。
(完整word版)离散数学期末考试试题及答案
离散数学试题(B卷答案1)一、证明题(10分)1)(⌝P∧(⌝Q∧R))∨(Q∧R)∨(P∧R)⇔R证明: 左端⇔(⌝P∧⌝Q∧R)∨((Q∨P)∧R)⇔((⌝P∧⌝Q)∧R))∨((Q∨P)∧R)⇔(⌝(P∨Q)∧R)∨((Q∨P)∧R)⇔(⌝(P∨Q)∨(Q∨P))∧R⇔(⌝(P∨Q)∨(P∨Q))∧R⇔T∧R(置换)⇔R2) ∃x (A(x)→B(x))⇔∀xA(x)→∃xB(x)证明:∃x(A(x)→B(x))⇔∃x(⌝A(x)∨B(x))⇔∃x⌝A(x)∨∃xB(x)⇔⌝∀xA(x)∨∃xB(x)⇔∀xA(x)→∃xB(x)二、求命题公式(P∨(Q∧R))→(P∧Q∧R)的主析取范式和主合取范式(10分)。
证明:(P∨(Q∧R))→(P∧Q∧R)⇔⌝(P∨(Q∧R))∨(P∧Q∧R))⇔(⌝P∧(⌝Q∨⌝R))∨(P∧Q∧R)⇔(⌝P∧⌝Q)∨(⌝P∧⌝R))∨(P∧Q∧R)⇔(⌝P∧⌝Q∧R)∨(⌝P∧⌝Q∧⌝R)∨(⌝P∧Q∧⌝R))∨(⌝P∧⌝Q∧⌝R))∨(P∧Q∧R)⇔m0∨m1∨m2∨m7⇔M3∨M4∨M5∨M6三、推理证明题(10分)1)C∨D, (C∨D)→⌝E,⌝E→(A∧⌝B), (A∧⌝B)→(R∨S)⇒R∨S 证明:(1) (C∨D)→⌝E P(2) ⌝E→(A∧⌝B) P(3) (C∨D)→(A∧⌝B) T(1)(2),I(4) (A∧⌝B)→(R∨S) P(5) (C∨D)→(R∨S) T(3)(4), I(6) C∨D P(7) R∨S T(5),I2) ∀x(P(x)→Q(y)∧R(x)),∃xP(x)⇒Q(y)∧∃x(P(x)∧R(x))证明(1)∃xP(x) P(2)P(a) T(1),ES(3)∀x(P(x)→Q(y)∧R(x)) P(4)P(a)→Q(y)∧R(a) T(3),US(5)Q(y)∧R(a) T(2)(4),I(6)Q(y) T(5),I(7)R(a) T(5),I(8)P(a)∧R(a) T(2)(7),I(9)∃x(P(x)∧R(x)) T(8),EG(10)Q(y)∧∃x(P(x)∧R(x)) T(6)(9),I四、某班有25名学生,其中14人会打篮球,12人会打排球,6人会打篮球和排球,5人会打篮球和网球,还有2人会打这三种球。
2020-2021大学《离散数学》期末课程考试试卷A(含答案)
2020-2021《离散数学》期末课程考试试卷A一、填空题(每空3分,共15分)1.命题公式)(r q p p ∨∨→的类型是 。
2.设p :我将去镇上。
q :我有时间。
则命题“我将去镇上,仅当我有时间。
”的符号化形式为 。
3.化简下面集合表达式:)())((C B A C A B -= 。
4.已知一有向图的D 的度序列为(2,3,2,3),出度序列为(1,2,1,1),则D 的入度序列为 。
5.5个顶点的非同构的无向树共有 棵。
二、选择题(单项选择题,每题3分,共30分)1.设命题公式)(p q p ⌝→∧,记作A ,则使A 的真值指派为1的p ,q 的取值是( )。
A 、00B 、 01C 、10D 、112.设p :你努力。
q :你将失败。
则命题“除非你努力,否则你将失败。
”符号化为( )。
A 、p →q B 、q →p C 、┐p →q D 、┐q →p 3.下列公式中不与)(q p ↔⌝等值的是( )。
A 、)()(q p q p ∨⌝∧⌝∨B 、)()(q p q p ∧⌝∨⌝∧C 、q p ↔⌝D 、q p ⌝↔4.下面公式正确的是( )。
A 、)()())()((x xB x xA x B x A x ∀∨∀⇔∨∀ B 、)()())()((x xB x xA x B x A x ∃∨∃⇔∨∃C 、)())((x xB A x B A x ∃→⇔→∀D 、)()(x A x x xA ⌝∃⇔⌝∃5.下列命题错误的是( )。
A 、}},,{,,,{},{c b a c b a b a ⊆ B 、}},{,,,{},{b a c b a b a ∈ C 、}}},{{,,{},{b a b a b a ⊆D 、}}},{{,,{},{b a b a b a ∈6.设R={<x,y>|x,y ∈R ,x-y+2>0且x-y-2<0},则R 具有的性质是( )。
2020-2021大学《离散数学》期末课程考试试卷A1(含答案)
2020-2021《离散数学》期末课程试卷A1专业: 考试日期: 时间: 总分: 分 闭卷一大题:选择题(共10小题,每小题2分,共20分)1.下列是两个命题变元P ,Q 的小项是( )A .P ∧┐P ∧QB .┐P ∨QC .┐P ∧QD .┐P ∨P ∨Q 2.令P :今天下雪了,Q :路滑,则命题“虽然今天下雪了,但是路不滑”可符号化为( )A .P →┐Q B .P ∨┐Q C .P ∧Q D .P ∧┐Q 3.下列等值式不正确的是( ) A .┐(∀x )A ⇔(∃x )┐AB .(∀x )(B →A (x ))⇔B →(∀x )A (x )C .(∃x )(A (x )∧B (x ))⇔( ∃x )A (x )∧(∃x )B (x )D .(∀x )( ∀y )(A (x )→B (y ))⇔(∃x )A (x )→(∀y )B (y ) 4.设R 为实数集,函数f :R →R ,f (x )=2x ,则f 是( )A .满射函数B .入射函数C .双射函数D .非入射非满射 5.设A ={a ,b ,c ,d },A 上的等价关系R ={<a ,b >,<b ,a >,<c ,d >,<d ,c >}∪I A ,则对应于R 的A 的划分是( )A .{{a },{b ,c },{d }}B .{{a ,b },{c },{d }}C .{{a },{b },{c },{d }}D .{{a ,b },{c ,d }}6.设X ,Y ,Z 是集合,“-”是集合相对补运算,下列等式不正确的是( ) A .(X -Y )-Z =X -(Y ∩Z ) B .(X -Y )-Z =(X -Z )-Y C .(X -Y )-Z =(X -Z )-(Y -Z ) D .(X -Y )-Z =X -(Y ∪Z )7.设*是集合A 上的二元运算,称Z 是A 上关于运算*的零元,则( ) A .对所有x 属于A ,有x *Z =Z *x =ZB .Z 属于A ,且对所有x 属于A ,有x *Z =Z *x =ZC .Z 属于A ,且对所有x 属于A ,有x *Z =Z *x =xD .Z 属于A ,且存在x 属于A ,有x *Z =Z *x =Z8.在自然数集N 上,下列定义的运算“*”中不可结合的只有( ) A .a *b =min (a ,b ) B .a *b =a +b C .a *b =a b ⋅ D .a *b =a/b 9.下列说法正确的是( )A .整环必为域B .交换环必为整环C .整环必为交换环D .交换环必为含幺环10.下列各图是欧拉图的是( )A.B.C.D.二大题:填空题(共10空,每空 2分,共20分)1.“如果雪是黑的,太阳从西边出”是 命题。
离散数学期末试卷及部分答案
离散数学试题(A 卷及答案)一、证明题(10分)1)(⌝P ∧(⌝Q ∧R))∨(Q ∧R)∨(P ∧R)⇔R证明: 左端⇔(⌝P ∧⌝Q ∧R)∨((Q ∨P)∧R)⇔((⌝P ∧⌝Q)∧R))∨((Q ∨P)∧R)⇔(⌝(P ∨Q)∧R)∨((Q ∨P)∧R)⇔(⌝(P ∨Q)∨(Q ∨P))∧R ⇔(⌝(P ∨Q)∨(P ∨Q))∧R ⇔T ∧R(置换)⇔R2)∃x(A(x)→B(x))⇔ ∀xA(x)→∃xB(x)证明 :∃x(A(x)→B(x))⇔∃x(⌝A(x)∨B(x))⇔∃x ⌝A(x)∨∃xB(x)⇔⌝∀xA(x)∨∃xB(x)⇔∀xA(x)→∃xB(x) 二、求命题公式(P ∨(Q ∧R))→(P ∧Q ∧R)的主析取范式和主合取范式(10分)证明:(P ∨(Q ∧R))→(P ∧Q ∧R)⇔⌝(P ∨(Q ∧R))∨(P ∧Q ∧R))⇔(⌝P ∧(⌝Q ∨⌝R))∨(P ∧Q ∧R) ⇔(⌝P ∧⌝Q)∨(⌝P ∧⌝R))∨(P ∧Q ∧R)⇔(⌝P ∧⌝Q ∧R)∨(⌝P ∧⌝Q ∧⌝R)∨(⌝P ∧Q ∧⌝R))∨(⌝P ∧⌝Q ∧⌝R))∨(P ∧Q ∧R) ⇔m0∨m1∨m2∨m7 ⇔M3∨M4∨M5∨M6三、推理证明题(10分)1) C ∨D, (C ∨D)→ ⌝E, ⌝E →(A ∧⌝B), (A ∧⌝B)→(R ∨S)⇒R ∨S证明:(1) (C ∨D)→⌝E(2) ⌝E →(A ∧⌝B)(3) (C ∨D)→(A ∧⌝B) (4) (A ∧⌝B)→(R ∨S) (5) (C ∨D)→(R ∨S)(6) C ∨D(7) R ∨S2) ∀x(P(x)→Q(y)∧R(x)),∃xP(x)⇒Q(y)∧∃x(P(x)∧R(x))证明(1)∃xP(x) (2)P(a)(3)∀x(P(x)→Q(y)∧R(x)) (4)P(a)→Q(y)∧R(a) (5)Q(y)∧R(a) (6)Q(y) (7)R(a) (8)P(a) (9)P(a)∧R(a) (10)∃x(P(x)∧R(x)) (11)Q(y)∧∃x(P(x)∧R(x))四、设m 是一个取定的正整数,证明:在任取m +1个整数中,至少有两个整数,它们的差是m 的整数倍证明 设1a ,2a ,…,1+m a 为任取的m +1个整数,用m 去除它们所得余数只能是0,1,…,m -1,由抽屉原理可知,1a ,2a ,…,1+m a 这m +1个整数中至少存在两个数s a 和t a ,它们被m 除所得余数相同,因此s a 和t a 的差是m 的整数倍。
2020-2021《离散数学》期末课程考试试卷A(含答案)
2020-2021《离散数学》期末课程考试试卷A适用专业:信息与计算科学 考试日期: 试卷类型:闭卷 考试时间:120分钟 试卷总分:100分一、单项选择题(本大题共6小题,每小题3分,共18分) 1、下述哪一个不是命题?( D ) A 、离散数学是计算机系的一门必修课 B 、不存在最大偶数。
C 、若我有空,我就看书。
D 、请勿随地叶痰!2.设<G, 。
>是群,且|G|>1,则下列命题不成立的是( B )A.G 中有幺元B. G 中有零元C.G 中任一元素有逆元D. G 中除幺元外无其它幂等元 3、设A={}c b a ,,,则下列是集合A 的划分的是( D ) A.{}{}{}c c b ,, B. {}{}{}c a b a ,,, C.{}{}c b a ,, D.{}{}{}c b a ,, 4.设集合A={a,{b}},下面四个命题为真的是( D )A.a 包含于AB.φ∈AC.{b}包含于AD.φ包含于A5、下列是命题公式p ∧(q ∨⌝r)的成真指派的是( A ) A.110,111,100 B.110,101,011 C 所有指派 D.无6、设A 和B 都是命题,则A →B 的真值为假当且仅当( D ) A 、A 为0 ,B 为1 B 、A 为0 ,B 为0C 、A 为1 ,B 为1D 、A 为1 ,B 为0二、填空题(本大题共4小题,每题3分,共12分)1、设A={a,b,c},F 是A 上的二元关系,F={<a,c>,<b,a>,<c,b>},则其自反闭包为r(F)={<a,c>,<b,a>,<c,b>,<a,a>,<b,b>,<c,c>} 。
2、设B={0,1},则B 的幂集P(B)= {φ,{0} ,{1},{0,1}}, 3、R 是集合A={1,2,3}上的二元关系,R={<1,1>,<2,1>,<2,2>,<1,3>,<3,2>,<3,3>},则R 具有的性质是__ _自反性、反对称性_______________。
离散数学期末考试试题(配答案)[1]
离散数学期末考试试题(配答案)[1]模拟试题科 目:离散数学考试形式:闭卷 考试时间: 120 分钟 系别、班级: 姓名: 学号:一.填空题(每小题2分;共10分)1. 谓词公式)()(x xQ x xP ∃→∀的前束范式是__ ∃x ∃y¬P(x)∨Q(y) __________。
2. 设全集{}{}{},5,2,3,2,1,5,4,3,2,1===B A E 则A ∩B =__{2}__;=A _{4;5}____;=B A Y __ {1;3;4;5} _____3. 设{}{}b a B c b a A ,,,,==;则=-)()(B A ρρ__ {{c};{a ;c};{b ;c};{a ;b ;c}} __________;=-)()(A B ρρ_____Φ_______。
4. 在代数系统(N ;+)中;其单位元是0;仅有 _1___ 有逆元。
5.如果连通平面图G 有n 个顶点;e 条边;则G 有___e+2-n ____个面。
二.选择题(每小题2分;共10分)1. 与命题公式)(R Q P →→等价的公式是( )(A )R Q P →∨)( (B )R Q P →∧)( (C ))(R Q P ∧→ (D ))(R Q P ∨→ 2. 设集合{}c b a A ,,=;A 上的二元关系{}><><=b b a a R ,,,不具备关系( )性质 (A ) (A)传递性 (B)反对称性 (C)对称性 (D)自反性 3. 在图>=<E V G ,中;结点总度数与边数的关系是( ) (A)E v i 2)deg(= (B) E v i =)deg((C)∑∈=Vv iE v 2)deg((D) ∑∈=Vv iE v )deg(4. 设D 是有n 个结点的有向完全图;则图D 的边数为( ) (A))1(-n n (B))1(+n n (C)2/)1(+n n (D)2/)1(-n n5. 无向图G 是欧拉图;当且仅当( )(A) G 的所有结点的度数都是偶数 (B)G 的所有结点的度数都是奇数(C)G 连通且所有结点的度数都是偶数 (D) G 连通且G 的所有结点度数都是奇数。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
学年第二学期期末考试《离散数学》试卷( A )使用班级:命题教师:主任签字:一、单项选择题(本大题共15小题,每小题1分,共15分)在每小题列出的四个选项中只有一个选项是符合题目要求的,请将正确选项前的字母填在题后的括号内。
1.一个连通的无向图G,如果它的所有结点的度数都是偶数,那么它具有一条( )A.汉密尔顿回路B.欧拉回路C.汉密尔顿通路D.初级回路2.设G是连通简单平面图,G中有11个顶点5个面,则G中的边是( )A.10B.12C.16D.143.在布尔代数L中,表达式(a∧b)∨(a∧b∧c)∨(b∧c)的等价式是( )A.b∧(a∨c)B.(a∧b)∨(a’∧b)C.(a∨b)∧(a∨b∨c)∧(b∨c)D.(b∨c)∧(a∨c)4.设i是虚数,·是复数乘法运算,则G=<{1,-1,i,-i},·>是群,下列是G的子群是( ) A.<{1},·> B.〈{-1},·〉C.〈{i},·〉D.〈{-i},·〉5.设Z为整数集,A为集合,A的幂集为P(A),+、-、/为数的加、减、除运算,∩为集合的交运算,下列系统中是代数系统的有( ) A.〈Z,+,/〉 B.〈Z,/〉C.〈Z,-,/〉D.〈P(A),∩〉6.下列各代数系统中不含有零元素的是( )A.〈Q,*〉Q是全体有理数集,*是数的乘法运算B.〈Mn(R),*〉,Mn(R)是全体n阶实矩阵集合,*是矩阵乘法运算C.〈Z,ο〉,Z是整数集,ο定义为xοxy=xy,∀x,y∈ZD.〈Z,+〉,Z是整数集,+是数的加法运算7.设A={1,2,3},A上二元关系R的关系图如下:R具有的性质是A.自反性B.对称性C.传递性D.反自反性8.设A={a,b,c},A上二元关系R={〈a,a〉,〈b,b〉,〈a,c〉},则关系R的对称闭包S(R)是( )A.R∪I AB.RC.R∪{〈c,a〉}D.R∩I A9.设X={a,b,c},Ix是X上恒等关系,要使Ix∪{〈a,b〉,〈b,c〉,〈c,a〉,考生须知:1.姓名必须写在装订线左侧,写在其它位置试卷一律作废。
请先检查试卷是否缺页,如缺页请向监考教师声明。
如不检查不声明,后果由考生本人负责。
2.考试结束后,考生不得将试卷、答题纸和草稿纸带出考场。
题号一二三四五六七八总分人得分总分姓名班级考场座号学号〈b,a〉}∪R为X上的等价关系,R应取( )A.{〈c,a〉,〈a,c〉}B.{〈c,b〉,〈b,a〉}C.{〈c,a〉,〈b,a〉}D.{〈a,c〉,〈c,b〉}10.下列式子正确的是( )A. ∅∈∅B.∅⊆∅C.{∅}⊆∅D.{∅}∈∅11.设解释R如下:论域D为实数集,a=0,f(x,y)=x-y,A(x,y):x<y.下列公式在R 下为真的是( )A.( ∀ x)( ∀y)( ∀z)(A(x,y))→A(f(x,z),f(y,z))B.( ∀x)A(f(a,x),a)C.(∀x)(∀y)(A(f(x,y),x))D.(∀x)(∀y)(A(x,y)→A(f(x,a),a))12.设B是不含变元x的公式,谓词公式(∀x)(A(x)→B)等价于( )A.(∃x)A(x)→BB.(∀x)A(x)→BC.A(x)→BD.(∀x)A(x)→(∀x)B13.谓词公式(∀x)(P(x,y))→(∃z)Q(x,z)∧(∀y)R(x,y)中变元x( )A.是自由变元但不是约束变元B.既不是自由变元又不是约束变元C.既是自由变元又是约束变元D.是约束变元但不是自由变元14.若P:他聪明;Q:他用功;则“他虽聪明,但不用功”,可符号化为( )A.P∨QB.P∧┐QC.P→┐QD.P∨┐Q15.以下命题公式中,为永假式的是( )A.p→(p∨q∨r)B.(p→┐p)→┐pC.┐(q→q)∧pD.┐(q∨┐p)→(p∧┐p)二、填空题(每空1分,共20分)16.在一棵根树中,仅有一个结点的入度为______,称为树根,其余结点的入度均为______。
17.A={1,2,3,4}上二元关系R={〈2,4〉,〈3,3〉,〈4,2〉},R的关系矩阵M R中m24=______,m34=______。
18.设〈s,*〉是群,则那么s中除______外,不可能有别的幂等元;若〈s,*〉有零元,则|s|=______。
19.设A为集合,P(A)为A的幂集,则〈P(A),⊆〉是格,若x,y∈P(A),则x,y最大下界是______,最小上界是______。
20.设函数f:X→Y,如果对X中的任意两个不同的x1和x2,它们的象y1和y2也不同,我们说f是______函数,如果ranf=Y,则称f是______函数。
21.设R为非空集合A上的等价关系,其等价类记为〔x〕R。
∀x,y∈A,若〈x,y〉∈R,则〔x〕R与〔y〕R的关系是______,而若〈x,y〉∉R,则〔x〕R∩〔y〕R=______。
22.使公式(∃x)( ∃y)(A(x)∧B(y))⇔(∃x)A(x)∧(∃y)B(y)成立的条件是______不含有y,______不含有x。
23.设M(x):x是人,D(s):x是要死的,则命题“所有的人都是要死的”可符号化为(∀x)______,其中量词(∀x)的辖域是______。
24.若H1∧H2∧…∧H n是______,则称H1,H2,…Hn是相容的,若H1∧H2∧…∧H n是______,则称H1,H2,…H n是不相容的。
25.判断一个语句是否为命题,首先要看它是否为,然后再看它是否具有唯一的。
三、计算题 (共30分)26.(4分)设有向图G=(V,E)如下图所示,试用邻接矩阵方法求长度为2的路的总数和回路总数。
27.(5)设A={a,b},P(A)是A的幂集,⊕是对称差运算,可以验证<P(A),⊕>是群。
设n是正整数,求({a}-1{b}{a})n⊕{a}-n{b}n{a}n28.(6分)设A={1,2,3,4,5},A上偏序关系R={〈1,2〉,〈3,2〉,〈4,1〉,〈4,2〉,〈4,3〉,〈3,5〉,〈4,5〉}∪I A;(1)作出偏序关系R的哈斯图(2)令B={1,2,3,5},求B的最大,最小元,极大、极小元,上界,下确界,下界,下确界。
29.(6分)求┐(P→Q)⇔(P→┐Q)的主合取范式并给出所有使命题为真的赋值。
30.(5分)设带权无向图G如下,求G的最小生成树T及T的权总和,要求写出解的过程。
31.(4分)求公式┐((∀x)F(x,y)→(∃y)G(x,y))∨(∃x)H(x)的前束范式。
四、证明题 (共20分)32.(6分)设T是非平凡的无向树,T中度数最大的顶点有2个,它们的度数为k(k≥2),证明T中至少有2k-2片树叶。
33.(8分)设A是非空集合,F是所有从A到A的双射函数的集合,ο是函数复合运算。
证明:〈F, ο〉是群。
34.(6分)在个体域D={a1,a2,…,a n}中证明等价式:(∃x)(A(x)→B(x))⇔(∀x)A(x)→(∃x)B(x)五、应用题(共15分)35.(9分)如果他是计算机系本科生或者是计算机系研究生,那么他一定学过DELPHI语言而且学过C++语言。
只要他学过DELPHI语言或者C++语言,那么他就会编程序。
因此如果他是计算机系本科生,那么他就会编程序。
请用命题逻辑推理方法,证明该推理的有效结论。
36.(6分)一次学术会议的理事会共有20个人参加,他们之间有的相互认识但有的相互不认识。
但对任意两个人,他们各自认识的人的数目之和不小于20。
问能否把这20个人排在圆桌旁,使得任意一个人认识其旁边的两个人?根据是什么?离散数学试题参考答案一、单项选择题(本大题共15小题,每小题1分,共15分) 1.B 2.D 3.A 4.A 5.D 6.D 7.D 8.C 9.D 10.B 11.A 12.A 13.C 14.B 15.C 二、填空题16.0 、1 ,17.1 、 0,18.单位元 、1,19.x ∩y 、x ∪y ,20.入射 、满射21.[x ]R =[y ]R ,22.A(x) 、 B(y),23.(M(x)→D(x)) 、M(x)→D(x) 24.可满足式、 永假式(或矛盾式),25.陈述句 真值 三、计算题26. M=1100101010110011⎧⎨⎪⎪⎩⎪⎪⎫⎬⎪⎪⎭⎪⎪ M 2=2110211121211011⎧⎨⎪⎪⎩⎪⎪⎫⎬⎪⎪⎭⎪⎪ M ijj i 2141418==∑∑=,M ij i 2146=∑= G 中长度为2的路总数为18,长度为2的回路总数为6。
27.当n 是偶数时,∀x ∈P(A),x n =∅、 当n 是奇数时,∀x ∈P(A),x n =x 于是:当n 是偶数,({a }-1{b }{a })n ⊕{a }-n {b }n {a }n =∅⊕({a }-1)n {b }n {a }n =∅⊕∅=∅当n 是奇数时,({a }-1{b }{a })n ⊕{a }-n {b }n {a }n ={a }-1{b }{a }⊕({a }-1)n {b }n {a }n ={a }-1{b }{a }⊕{a }-1{b }{a }=∅ 28.(1)偏序关系R 的哈斯图为(2)B 的最大元:无,最小元:无; 极大元:2,5,极小元:1,3 下界:4, 下确界4; 上界:无,上确界:无29.原式⇔(┐(P →Q)→(P →┐Q))∧((P →┐Q)→┐(P →Q)) ((P →Q)∨(P →┐Q))∧(┐(P →┐Q)∨┐(P →Q))(┐P ∨Q ∨┐P ∨┐Q)∧(┐(┐P ∨┐Q)∨(P ∧┐Q)) (┐(P ∧┐Q)∨(P ∧┐Q)) (P ∧Q)∨(P ∧┐Q) P ∧(Q ∨┐Q)P ∨(Q ∧┐Q)(P ∨Q)∧(P ∨┐Q)命题为真的赋值是P=1,Q=0和P=1,Q=1 30.令e 1=(v 1,v 3), e 2=(v 4,v 6)e 3=(v 2,v 5), e 4=(v 3,v 6) e 5=(v 2,v 3), e 6=(v 1,v 2) e 7=(v 1,v 4), e 8=(v 4,v 3) e 9=(v 3,v 5), e 10=(v 5,v 6)令a i 为e i 上的权,则a 1<a 2<a 3<a 4<a 5=a 6=a 7=a 8<a 9=a 10取a 1的e 1∈T,a 2的e 2∈T,a 3的e 3∈T,a 4的e 4∈T,a 5的e 5∈T,即,T 的总权和=1+2+3+4+5=1531.原式⇔┐(∀x 1F(x 1,y)→∃y 1G(x,y 1))∨∃x 2H(x 2) (换名) ⇔┐∃x 1∃y 1(F(x 1,y)→G(x,y 1))∨∃x 2H(x 2) ⇔∀x 1∀y 1┐(F(x 1,y 1)→G(x,y 1))∨∃x 2H(x 2) ⇔∀x 1∀y 1∃x 2(┐(F(x 1,y 1)→G(x,y 1))∨H(x 2) 四、证明题32.设T 中有x 片树叶,y 个分支点。