文档库 最新最全的文档下载
当前位置:文档库 › 离散数学

离散数学

离散数学
离散数学

在线练习

离散数学1

总分:100考试时间:100分钟

一、单项选择题

1、由2个命题变元组成的命题公式,有多少组赋值(正确答案:B,答题答案:)

A、2

B、4

C、8

D、16

2、下列是主合取范式的是()(正确答案:B,答题答案:)

A、(P∧﹁Q∧﹁R)∨﹁(P∧Q∧R)∨(﹁P∧Q∧﹁R)

B、(P∨﹁Q∨﹁R)∧﹁(P∨Q∨R)∧(﹁P∨Q∨﹁R)

C、﹁(P→Q)∨﹁R

D、﹁(P→Q)∧﹁R

3、下列命题公式是重言式的是()(正确答案:A,答题答案:)

A、(P→Q)∧P→Q

B、P∧((((P∨Q)∧﹁P)→Q)

C、(P→(Q→R))<->((P→Q)→R)

D、(﹁P∧(﹁Q∧R))∨((Q∧R)∨(P∧R))→﹁R

4、下列公式是矛盾式的是(正确答案:A,答题答案:)

A、(P∧(P→Q))∧﹁P

B、P∧(P→Q) →P

C、(﹁P∧(P∨Q))∨Q)

D、(Q∨﹁(P→Q))∧﹁Q

5、下列公式是永真式的是(正确答案:B,答题答案:)

A、(P∧(P→Q))∧﹁P

B、P∧(P→Q))→P

C、(﹁P∧(P∨Q))∨Q

D、(Q∨﹁(P→Q))∧﹁Q

6、符号化表示“ 如果2是偶数,那么4是偶数。”P:2是偶数Q:4是偶数(正确答案:B,答题答案:)

A、﹁P→Q

B、P→Q

C、P→Q

D、P∨Q

7、李冰只能选学英语或只能选学法语。P:李冰选学英语;Q:李冰选学法语命题符号化为(正确答案:C,答题答案:)

A、P∧Q

B、PVQ

C、(﹁P∧Q)∨(P∧﹁Q)

D、﹁P<->Q

8、蓝色和黄色都是常用的颜色。p:蓝色是常用的颜色。;q: 黄色都是常用的颜色。命题符号化为(正确答案:B,答题答案:)

A、PVQ

B、PΛQ

C、P->Q

D、P<->Q

9、李冰只能选学英语或只能选学法语。p:李冰选学英语;q:李冰选学法语。符号化为(正确答案:C,答题答案:)

A、(﹁PΛQ)Λ(PΛ﹁Q)

B、(PΛQ)V(﹁PΛ﹁Q)

C、(﹁PΛQ)V(PΛ﹁Q)

D、

(PΛQ)Λ(﹁PΛ﹁Q)

10、设P,Q为两命题,复合命题“如果P,则Q”称作P与Q的(正确答案:B,答题答案:)

A、合取式

B、蕴含式

C、析取式

D、等价式

二、多项选择题

1、判断哪些是命题(正确答案:AD,答题答案:)

A、5能被3整除。

B、你现在好吗?

C、请勿喧哗!

D、1+2 = 3。

2、判断哪些是真命题(正确答案:D,答题答案:)

A、5能被3整除。

B、你现在好吗?

C、请勿喧哗!

D、1+2 = 3。

3、判断哪些是假命题(正确答案:A,答题答案:)

A、5能被4整除。

B、你现在好吗?

C、请勿喧哗!

D、1+2 = 3。

4、判断哪些是命题(正确答案:CD,答题答案:)

A、x+y=6。

B、好美的音乐啊!

C、地球外的星球上也有生命。

D、3是偶数。

5、判断下列语句哪些是简单命题(正确答案:AC,答题答案:)

A、等价关系是离散数学中的一个概念。

B、如果暑假没有生产实习,我就去西藏或海南旅

游。C、这朵花是红色的。D、计算机专业同学选修了Java程序设计课程或者动画游戏软件开发课程。

6、哪些是复合命题(正确答案:ABD,答题答案:)

A、李强不是教师。

B、小王会法语和英语。

C、下班高峰时,交通真拥挤!

D、如果明天不下雨,我就去书店。

7、可符号化表示为PΛQ 的命题有()(正确答案:ABC,答题答案:)

A、计算机专业学生必须选修高等数学和离散数学。

B、上海既是世博会举办城市又是奥运

会举办城市。C、9是素数且能被2整除。D、李军到过桂林或云南。

8、是重言蕴含式的有()(正确答案:ABCD,答题答案:)

A、A→A∨B

B、A∧B→A

C、(A→B)∧A→B

D、(A→B)∧﹁B→﹁A

9、下列是主析取范式的是()(正确答案:D,答题答案:)

A、﹁(P→Q)∨﹁R

B、﹁(P→Q)∧﹁R

C、(﹁P∨P)∧(﹁P∨﹁Q∨R)

D、(﹁P∧﹁Q∧﹁R)∨(﹁P∧﹁Q∧R)

10、下列字符串哪些是命题公式(正确答案:AB,答题答案:)

A、﹁P

B、﹁PVQ

C、(﹁PVQ

D、(PVQ)->(P->SV)

三、判断题

1、设A, B, C是命题公式,则AVBV﹁C 也是命题公式。(正确答案:A,答题答案:)

A、是

B、否

2、命题“没有最大的有理数”是真。(正确答案:A,答题答案:)

A、是

B、否

3、“1是自然数”是真命题。(正确答案:A,答题答案:)

A、是

B、否

4、“如果1+1≠3,则2+2≠4”是真命题。(正确答案:B,答题答案:)

A、是

B、否

5、“4是2的倍数或是3的倍数”是真命题。(正确答案:A,答题答案:)

A、是

B、否

6、“2是奇数且是偶数”是假命题。(正确答案:A,答题答案:)

A、是

B、否

7、“看电影去!”是命题。(正确答案:B,答题答案:)

A、是

B、否

8、“5是2的倍数。”不是命题。(正确答案:B,答题答案:)

A、是

B、否

9、“你现在有空吗?”不是命题。(正确答案:A,答题答案:)

A、是

B、否

10、“x+3>1。”是命题。(正确答案:B,答题答案:)

A、是

B、否

在线练习

离散数学2

总分:100考试时间:100分钟

一、单项选择题

1、“所有人都要呼吸.”令F(x)表示x是人,G(x)表示x要呼吸。命题符号化为(正确答案:A,答题答案:)

A、任意x(F(x)→G(x))

B、任意x(F(x)?G(x))

C、存在x(F(x)→G(x))

D、存在

x(F(x)ΛG(x))

2、"所有村干部都参加了这次活动."令F(x)表示x是村干部,G(x)表示x参加了这次活动.则原命题可符号化为(正确答案:B,答题答案:)

A、任意x(F(x)→G(x))

B、任意x(F(x)∧G(x))

C、存在x(F(x)→G(x))

D、存在

x(F(x)∧G(x))

3、"有些学生考了不及格."令F(x)表示x是学生,G(x)表示x考了不及格.则原命题可符号化为(正确答案:A,答题答案:)

A、存在x(F(x)∧G(x))

B、任意x(F(x)∧G(x))

C、任意x(F(x)→G(x))

D、存在

x(F(x)→G(x))

4、"并不是所有的人都吃早饭."令F(x)表示x是人,G(x)表示x吃早饭.则原命题可符号化为(正确答案:B,答题答案:)

A、﹁(任意x)(F(x)∧G(x))

B、﹁(任意x)(F(x)→G(x))

C、任意x(F(x)→G(x))

D、

存在x(F(x)→G(x))

5、"没有人会长生不老."令F(x)表示x是人,G(x)表示x会长生不老.则原命题可符号化为(正确答案:C,答题答案:)

A、﹁(任意x)(F(x)∧G(x))

B、任意x(F(x)→G(x))

C、﹁(任意x)(F(x)→G(x))

D、

存在x(F(x)→G(x))

6、“因为并非所有的鸟都会飞,所以存在有的鸟不会飞”设A(x)表示x是鸟,B(x)表示x 会飞.可符号化为(正确答案:C,答题答案:)

A、﹁(任意x)(A(x)→B(x)))

B、存在x(A(x)∧﹁B(x))

C、(﹁(任意x)(A(x)→B(x)))→(存

在x(A(x)∧﹁B(x))) D、任意x(A(x)∧﹁B(x))

7、“尽管有些人聪明,但聪明人未必都能成绩好”设A(x)表示x是人,B(x)代表x聪明,C(x)代表x成绩好.符号化为(正确答案:A,答题答案:)

A、(存在x(A(x)∧B(x)))∧(﹁(任意x)((A(x)∧B(x))→C(x)))

B、(存在x(A(x)∧B(x)))V(﹁(任

意x)((A(x)∧B(x))→C(x))) C、(任意x(A(x)∧B(x)))∧(﹁(任意x)((A(x)∧B(x))→C(x))) D、

(任意x(A(x)∧B(x)))

8、任意xA(x)→存在xB(x)的前束范式是(正确答案:C,答题答案:)

A、任意x(A(x)→B(x))

B、A(x)→B(x)

C、存在x(A(x)→B(x))

D、A(x)→存在xB(x)

9、任意xA(x)∧﹁存在xB(x)的前束范式是(正确答案:B,答题答案:)

A、存在x任意y(A(x)→B(y))

B、任意x任意y(A(x)→B(y))

C、存在x存在y(A(x)→B(y))

D、存在x(A(x)→B(y))

10、任意xP(x)=>P(c) 是(正确答案:A,答题答案:)

A、全称指定规则(US)

B、全称推广规则(UG)

C、存在指定规则(ES)

D、存在推

广规则(EG)

二、多项选择题

1、有限个体域中量词消去等值式有()(正确答案:AB,答题答案:)

A、任意xA(x)?A(a)∧A(a2)∧…∧A(an)

B、存在xA(x)?A(a1)∨A(a2)∨…∨A(an)

C、﹁任意xA(x)?存在x﹁A(x)

D、﹁存在xA(x)?任意x﹁A(x)

2、量词否定等值式有()(正确答案:CD,答题答案:)

A、任意xA(x)?A(a)∧A(a3)∧…∧A(an)

B、存在xA(x)?A(a1)∨A(a3)∨…∨A(an)

C、﹁任意xA(x)?存在x﹁A(x)

D、﹁存在xA(x)?任意x﹁A(x)

3、量词分配等值式有()(正确答案:AB,答题答案:)

A、任意x(A(x)∧B(x))?(任意xA(x)∧任意xB(x))

B、存在x(A(x)∨B(x))?(存在xA(x)∨存

在xB(x)) C、﹁任意xA(x)?存在x﹁A(x) D、﹁存在xA(x)?任意x﹁A(x)

4、多个量词等值式有()(正确答案:AC,答题答案:)

A、任意x任意yA(x,y)?任意y任意xA(x,y)

B、存在x(A(x)∨B(x))?(存在xA(x)∨存

在xB(x)) C、﹁任意xA(x)?存在x﹁A(x) D、存在x存在yA(x,y)?存在y存在xA(x,y) 5、哪些公式是有效式?(正确答案:AB,答题答案:)

A、任意x(﹁P(x)→﹁P(x))

B、任意xP(x)→存在xP(x)

C、存在xP(x)→任意xP(x)

D、﹁(P(x)→任意y(G(x,y)→P(x)))

6、哪些公式是可满足式?(正确答案:A,答题答案:)

A、任意x存在yP(x,y)→存在x任意yP(x,y)

B、任意x任意yP(x,y)<->任意y任意xP(x,

y) C、﹁任意x(P(x)→任意yQ(y))∧任意yQ(y) D、﹁任意x(Q(x))<->存在x(﹁Q(x))

7、哪些公式是矛盾式?(正确答案:AC,答题答案:)

A、﹁(P(x)→任意y(G(x,y)→P(x)))

B、任意x任意yP(x,y)<->任意y任意xP(x,y)

C、

﹁任意x(P(x)→任意yQ(y))∧任意yQ(y) D、﹁任意x(Q(x))<->存在x(﹁Q(x))

8、推理演算中的两个规则是()(正确答案:AB,答题答案:)

A、换名规则

B、代替规则

C、交换规则

D、结合规则

9、将任意一个谓词公式通过()步骤转化成其对应的前束范式:(正确答案:ABCD,

答题答案:)

A、消去联结词<->

B、利用换名规则或代替规则,使得每个变元在公式中的出现只是一种

状态C、使否定联结词深入到各原子公式之前D、利用量词辖域扩张等值式或量词分配等值式将量词逐个移至公式前面

10、谓词公式的构成包括()(正确答案:ABCD,答题答案:)

A、原子谓词公式是谓词公式

B、若A是谓词公式,则﹁A也是谓词公式

C、若A和

B都是谓词公式,则(A∧B)、(A∨B)、(A→B)、(A<->B)都是谓词公式D、若A是谓词公式,x 是任何个体变元,则(任意x)A和(存在x)A都是谓词公式.

三、判断题

1、“7是素数且是奇数。”可符号化为“F(x):x是素数,G(y):y是奇数.a:7则该命题符号化为:F(a)∧G(a)。”(正确答案:A,答题答案:)

A、是

B、否

2、“如果5大于3,则5大于2.”可符号化为“L(x,y):x大于y.a:5,b:3,c:2则该命题符号化为:L(5,3)→L(5,2)。”(正确答案:A,答题答案:)

A、是

B、否

3、“如果李明和张丽同岁,张丽和王平同岁,则李明和王平同岁.”可符号化为“H(x,y):x和y同岁.a:李明,b:张丽,c:王平则该命题符号化为:H(a,b)VH(b,c)→H(a,c)。”(正确答案:B,答题答案:)

A、是

B、否

4、对应日常生活中的“任意的”,“所有的”,“一切的”等词,用符号“任意”表示。(正确答案:A,答题答案:)

A、是

B、否

5、对应日常生活中的“存在着”,“有的”,“有一个”,“至少有一个”等词,用符号“任意”表示。(正确答案:B,答题答案:)

A、是

B、否

6、若A在任何解释下都为真,则称A为逻辑有效式或永真式。(正确答案:A,答题答案:)

A、是

B、否

7、若A和B都是谓词公式,则(A∧B)、(A∨B)、(A→B)、(A<->B)都是谓词公式。(正确答案:A,答题答案:)

A、是

B、否

8、设A、B为谓词公式,若A<->B是逻辑有效式,则称A和B是等值的,记作A=>B。(正确答案:B,答题答案:)

A、是

B、否

9、设A、B为谓词公式,若A<->B是逻辑有效式,则称A和B是等值的,记作A<=>B。(正确答案:A,答题答案:)

A、是

B、否

10、一个谓词公式的前束范式一般不是唯一的。(正确答案:A,答题答案:)

A、是

B、否

在线练习

离散数学3

总分:100考试时间:100分钟

一、单项选择题

1、C={1,2,3}的子集有()个(正确答案:B,答题答案:)

A、4

B、8

C、10

D、16

2、集合A与集合B的交集,记作()(正确答案:B,答题答案:)

A、A∪B

B、A∩B

C、A-B

D、A+B

3、设有集合A,B,则A=B的充要条件是()(正确答案:A,答题答案:)

A、A?B且B?A

B、A?B

C、B?A

D、A=>B且B=>A

4、设集合A={1,2,3,4,5,6,7,8},集合B={1,3,5,7},则A-B=?(正确答案:B,答题答案:)

A、{1,2,3,4,5}

B、{2,4,6,8}

C、{1,3,5,7}

D、{5,6,7,8}

5、A∪B的描述为()(正确答案:A,答题答案:)

A、{x|x∈A∨x∈B}.

B、{x|x∈A∧x∈B}.

C、{x|x∈A∧x?B}

D、{x|x∈E∧x?A}

6、设A={1,2,3,4,5},B={3,5,6,7}.则A⊕B为()(正确答案:A,答题答案:)

A、{1,2,4,6,7}

B、{1,2,3,4,5,6,7}

C、{1,2,3,4}

D、{5,6,7}

7、集合A⊕B表示()(正确答案:C,答题答案:)

A、集合A和B的加

B、集合A和B的并

C、集合A和B的对称差

D、集合A 和B的交

8、A∪(A∩B)=?(正确答案:A,答题答案:)

A、A

B、B

C、B∩A

D、A∪B

9、A∪(B∩C)=?(正确答案:B,答题答案:)

A、(A∩B)∪(A∩C)

B、(A∪B)∩(A∪C)

C、(B∩A)∪(B∩C)

D、(C∩B)∪(C∩A)

10、~(A∪B)=?(正确答案:C,答题答案:)

A、A∩B

B、(~A)∪(~B)

C、(~A)∩(~B)

D、A∪B

二、多项选择题

1、集合理论主要依赖于三个基本原理,有()(正确答案:ABC,答题答案:)

A、外延公理

B、概括公理

C、正则公理

D、容斥公理

2、假设集合A={a,b,c},B={a,b,c,d},C={{a,b},c},D={{a,b,c},a,b,c},则正确的是()(正确答案:BCD,答题答案:)

A、A=B

B、A?B

C、A?C

D、A∈D

3、集合的表示方法有()(正确答案:ABD,答题答案:)

A、列举法

B、描述法

C、真值表法

D、图示法

4、A⊕B=?(正确答案:ABC,答题答案:)

A、(A∪B)-(A∩B)

B、(A-B)∪(B-A)

C、(A∩(~B))∪((~A)∩B)

D、A+B

5、集合的运算有()(正确答案:ACD,答题答案:)

A、交

B、除

C、差

D、补

6、设A,B是任意有限集合,则A和B运算的基数关系成立的是()(正确答案:ABC,答题答案:)

A、|A∪B|≤|A|+|B|

B、|A∩B|≤min(|A|,|B|)

C、|A-B|≥|A|-|B|

D、|A-B|=|A|

-|B|

7、设A,B是任意四个集合,如果A?B,那么()成立(正确答案:CD,答题答案:)

A、A∪B=A

B、A∩B=B

C、A∪B=B

D、A∩B=A

8、设A,B,C是任意集合,则满足笛卡尔性质的有()(正确答案:ABC,答题答案:)

A、A×(B∪C)=(A×B)∪(A×C)

B、A×(B∩C)=(A×B)∩(A×C)

C、A∪(B×C)=(A×B)∪

(B×C) D、A∩(B×C)=(A×B)∪(B×C)

9、某个班上有30个人,其中选修德语的有7人,选修英语的有5个人,德语和英语都选的人有3人,两科都没有选的人数有多少?(正确答案:B,答题答案:)

A、12

B、21

C、25

D、15

10、设集合A={2,3},B={1,2,3,4,5,6,7,8},定义A到B的关系R为:当a能整除b 时,有序偶(a,b)∈R.则R的元素有()(正确答案:ABCD,答题答案:)

A、(2,2)

B、(2,4)

C、(2,6)

D、(2,8)

三、判断题

1、如果a是集合A中的元素,则称a属于A,记作a?A。(正确答案:B,答题答案:)

A、是

B、否

2、大于100的整数集合可以表示为{101,102,103,…}(正确答案:A,答题答案:)

A、是

B、否

3、不含有任何元素的集合,称为空集,记作?.(正确答案:A,答题答案:)

A、是

B、否

4、用圆或其他任何封闭曲线围成的图形表示集合,闭合区域内的点表示集合中的元素,这种图称为文氏图。(正确答案:A,答题答案:)

A、是

B、否

5、设集合C是方程x2-2x+1=0的解集,则C可表示为C={x|x2-2x+1=0}。(正确答案:A,答题答案:)

A、是

B、否

6、集合{2,4,6,8}={2,6,4,8}(正确答案:A,答题答案:)

A、是

B、否

7、有限集合A中不同元素的个数,称为集合A的真值。(正确答案:B,答题答案:)

A、是

B、否

8、对于任意集合A,都有A?A(正确答案:A,答题答案:)

A、是

B、否

9、对任意集合A,都有??A(正确答案:A,答题答案:)

A、是

B、否

10、空集不唯一。(正确答案:B,答题答案:)

A、是

B、否

在线练习

离散数学4

总分:100考试时间:100分钟

一、单项选择题

1、设集合A={2,3},B={1,2,3,4,5,6,7,8},定义A到B的关系R为:当a能整除b时,有序偶(a,b)∈R.则R的值域为()(正确答案:A,答题答案:)

A、{2,3,4,6,8}

B、{2,3}

C、{1,2,3,4,5,6,7,8}

D、{1,5,7}

2、设集合A={1,2,3,4},满足R={(a,b)|b=a-2}的有序偶为()(正确答案:B,答题答案:)

A、{(1,1),(2,2),(3,3),(4,4)}

B、{(3,1),(4,2)}

C、{(1,1),(1,2),(1,3),(1,4),(2,2),

(2,3),(2,4),(3,3),(3,4),(4,4)} D、{(1,1),(1,2),(1,3),(1,4)}

3、若对于任意a∈A,都有(a,a)∈R,则称集合A上的关系R是()(正确答案:A,答题答案:)

A、自反的

B、对称的

C、传递的

D、反自反的

4、设A1,A2,…,An是任意n个集合,定义在这n个集合上的n元关系为A1,A2,…,An的子集,其中,集合A1,A2,…,An称为n元关系的域,n称为它的()(正确答案:A,答题答案:)

A、阶

B、基

C、底

D、质

5、设集合A={2,3,4,5,6},A上的关系R={(a,b)|a整除b},则R中的有序偶为()(正确答案:A,答题答案:)

A、{(2,2),(2,4),(2,6),(3,3),(3,6),(4,4),(5,5),(6,6)}

B、{(2,2),(3,3),(4,4),(5,5),

(6,6)} C、{(2,4),(2,6),(3,6)} D、{2,3,4,5,6}

6、设从集合A到集合B的关系为R,则把从B到集合A的关系{(b,a)|b∈B,a∈A

且(a,b)∈R}称为关系R的()运算(正确答案:A,答题答案:)

A、逆

B、反

C、补

D、差

7、设A为任意集合,R为集合A上的关系,则R等于R的逆当且仅当关系R是().(正确答案:A,答题答案:)

A、对称的

B、自反的

C、互补的

D、传递的

8、若对于任意a,b∈A(a≠b),当(a,b)∈R和(b,a)∈R时,必有a=b,则称R为().(正确答案:B,答题答案:)

A、自反的

B、反对称的

C、传递的

D、对称的

9、设R为集合A上的关系,如果对任意a,b,c∈A,当(a,b)∈R且(b,c)∈R时,一定有(a,c)∈R,则称关系R是()(正确答案:C,答题答案:)

A、自反的

B、对称的

C、传递的

D、反自反的

10、关系R的自反闭包记作()(正确答案:A,答题答案:)

A、r(R)

B、t(R)

C、s(R)

D、p(R)

二、多项选择题

1、关系的性质有()(正确答案:ABC,答题答案:)

A、自反性

B、对称性

C、传递性

D、不变性

2、设在集合A={1,2,3,4}上有R1={(1,1),(1,2),(1,3),(1,4),(2,2),(3,1),(3,4),(4,2)(4,4)},则R1的性质为()(正确答案:ABCD,答题答案:)

A、不是自反的

B、不是反自反的

C、不是对称的

D、不是反对称的

3、表示有限集之间关系的方法是很多的.常见方法有()(正确答案:ABC,答题答案:)

A、集合表示法

B、关系图表示法

C、关系矩阵表示法

D、真值表表示法

4、设集合A={1,2,3},则集合A上的关系R={(1,1),(2,3),(3,1)}是()(正确答案:AB,答题答案:)

A、不是自反的

B、不是反自反的

C、是自反的

D、是反自反的

5、设集合A={1,2,3},()集合是对称的(正确答案:AC,答题答案:)

A、R1={(1,2),(2,1)}

B、R2={(1,1),(1,2),(2,3)}

C、R3={(1,1),(2,2),(3,3)}

D、R4={(1,2),(2,1),(3,1)}

6、设R是集合A上的二元关系,如果R同时满足()条件,则称R是等价关系.(正确答案:ABC,答题答案:)

A、R是自反的

B、R是对称的

C、R是传递的

D、R是反自反的

7、偏序关系满足()(正确答案:ABC,答题答案:)

A、自反的

B、反对称的

C、可传递的

D、对称的

8、关系的运算包括()(正确答案:ABCD,答题答案:)

A、交

B、并

C、差

D、补

9、关系的闭包有()(正确答案:ABC,答题答案:)

A、自反闭包

B、对称闭包

C、传递闭包

D、恒等闭包

10、在偏序集({2,5,8,10,15,16,20},整除)中,哪些元素是极小元素(正确答案:AB,答题答案:)

A、2

B、5

C、15

D、16

三、判断题

1、一个从A到B的二元关系是有序偶的集合R,在每一个有序偶中,第一个元素取自A,第二个元素取自B。(正确答案:A,答题答案:)

A、是

B、否

2、设R是集合A上的关系,若对于任意a,b∈A,当(a,b)∈R时,必有(b,a)∈R,则称R为对称的。(正确答案:A,答题答案:)

A、是

B、否

3、若对于任意a∈A都有(a,a)?R,则称集合A上的关系是反对称的。(正确答案:B,答题答案:)

A、是

B、否

4、设A,B是任意集合,R是A到B的任一关系,则使得aRb(b∈B)成立的a∈A的集合,称为R的定义域或前域。(正确答案:A,答题答案:)

A、是

B、否

5、设A,B是任意集合,R是A到B的任一关系,则使得aRb(b∈B)成立的a∈A的集合,称为R的值域。(正确答案:B,答题答案:)

A、是

B、否

6、如果关系R是反自反的且是传递的,则R一定是反对称的。(正确答案:A,答题答案:)

A、是

B、否

7、若关系R是自反的,则其关系图的每个结点都没有环。(正确答案:B,答题答案:)

A、是

B、否

8、对称关系和反对称关系是对立的。(正确答案:B,答题答案:)

A、是

B、否

9、任一集合A上的关系R必是可传递和不可传递之中的一种。(正确答案:A,答题答案:)

A、是

B、否

10、若关系R是对称的,则其关系图中若两个结点之间有弧线,就一定是有双向两条弧。(正确答案:A,答题答案:)

A、是

B、否

在线练习

离散数学5

总分:100考试时间:100分钟

一、单项选择题

1、设°是S上的二元运算,若存在a∈S有a°a=a,称a是关于运算“°”的()(正确答案:A,答题答案:)

A、等幂元

B、逆元

C、幺元

D、零元

2、非空集合S和S上k个运算f1,f2,…,fk组成的系统称为一个().(正确答案:A,答题答案:)

A、代数系统

B、运算系统

C、管理系统

D、方程系统

3、设°是S上的二元运算,若对S内任意元素a,b,c有a°(b°c)=(a°b)°c,则称运算“°”满足()(正确答案:B,答题答案:)

A、交换律

B、结合律

C、分配律

D、恒等律

4、设〈G,°〉是一个群,若存在g∈G,使得对于任一个元素a∈G,都能表示成a=gi(i∈Z),则称群〈G,°〉是由g生成的()(正确答案:C,答题答案:)

A、置换群

B、交换群

C、循环群

D、同态群

5、给定可交换环〈R,+,·〉,若〈R-{0},·〉为群,则称〈R,+,·〉为()(正确答案:A,答题答案:)

A、域

B、环

C、群

D、理想

离散数学第四章二元关系和函数知识点总结

集合论部分 第四章、二元关系和函数 集合的笛卡儿积与二元关系有序对 定义由两个客体x 和y,按照一定的顺序组成的 二元组称为有序对,记作 实例:点的直角坐标(3,4) 有序对性质 有序性 (当x y时) 相等的充分必要条件是= x=u y=v 例1 <2, x+5> = <3y4, y>,求x, y. 解 3y 4 = 2, x+5 = y y = 2, x = 3 定义一个有序n (n3) 元组 是一个 有序对,其中第一个元素是一个有序n-1元组,即 = < , x n> 当n=1时, 形式上可以看成有序 1 元组. 实例 n 维向量是有序 n元组. 笛卡儿积及其性质 定义设A,B为集合,A与B 的笛卡儿积记作A B,即A B ={ | x A y B } 例2 A={1,2,3}, B={a,b,c} A B ={<1,a>,<1,b>,<1,c>,<2,a>,<2,b>,<2,c>, <3,a>,<3,b>,<3,c>} B A ={,,,,,, , ,} A={}, P(A)A={<,>, <{},>} 性质:

不适合交换律A B B A (A B, A, B) 不适合结合律 (A B)C A(B C) (A, B)对于并或交运算满足分配律 A(B C)=(A B)(A C) (B C)A=(B A)(C A) A(B C)=(A B)(A C) (B C)A=(B A)(C A) 若A或B中有一个为空集,则A B就是空集. A=B= 若|A|=m, |B|=n, 则 |A B|=mn 证明A(B C)=(A B)(A C) 证任取 ∈A×(B∪C) x∈A∧y∈B∪C x∈A∧(y∈B∨y∈C) (x∈A∧y∈B)∨(x∈A∧y∈C) ∈A×B∨∈A×C ∈(A×B)∪(A×C) 所以有A×(B∪C) = (A×B)∪(A×C). 例3 (1) 证明A=B C=D A C=B D (2) A C=B D是否推出A=B C=D 为什么 解 (1) 任取 A C x A y C x B y D B D (2) 不一定. 反例如下: A={1},B={2}, C=D=, 则A C=B D 但是A B.

吉林大学离散数学精品试卷

2006-2007学年第2学期 2005级《离散数学2》期末考试试题(A卷) 考试时间:2007年6月班级_______________________ 学号_____________________ 姓名_____________________ 请将答案写在答题纸上,写明题号,不必抄题,字迹工整、清晰; 请在答题纸和试题纸上都写上你的班级,学号和姓名,交卷时请将试题纸、答题纸和草纸一并交上来。 一.综合体(30分,每题3分) 1. 求( 1 3 5 ) (2 5 4 ) (3 4 ) 2. 只有两个生成元的循环群一定是有限循环群吗?并说明理由。 3. 有限循环群中是否一定存在周期与群的元数相等的元素? 4. 下面哪个是域GF( 16)的真子域 (A)GF (6) ;(B)GF ⑷;(C)GF(8);(D)GF(16) 5. 有限布尔代数的元素个数必定是如下哪个形式? (A)2n;(B)n 2 ;(C)2 n;(D)4n. 6. 下列代数系统(S, *)中,哪个是群? (A) S={0,1,3,5},* 是模7的乘法;(B) S是有理数集合,*运算是普通乘法; (C) S是整数集合,*是普通乘法;(D) S={1,3,4,9},* 是模11的乘法。 7. 设A={0,1,2,3,4},运算为模5加法,请给出A的所有子群。 8. n元恒等置换是奇置换还是偶置换?对换呢? 9?请给出一个有余,但不是分配格的例子。 10.设R是模12的整数环,R={0,1,2,…,11},下面哪一个是极大理想: (A) 6R; (B)2R; (C)4R; (D)8R 二.计算题(25分,每题5分) 1. 计算分圆多项式①24(X). 2. 设(Z,+)为整数加法群,(C*,??)为非零复数的乘法群,令 f: n -i n ,是Z到C*中的同态映射,请求出f的同态核。 3. 在R上求出x+2除2X5+4X3+3X2+1所得的商式和余式。 4. 设G是3次对称群,H是由I和(13)作成的子群,求H得所有右陪集。 5. 设A={0,1,2,3,4,5}, 运算为模6加法,请给出A中所有元素的周期。 三.(10分)证明或者反驳:f(x)=3x 5+5X2+1 四.(10分)设(G, *)是群,(A, *)和(B,*)是它的两个子群,C={a*b|a € A, b€ B}.证明:若*满足交换律,则(C, *)也是(G,*)的子群。 五.(10分)设Z是整数集合,X={(a,b)|a,b € Z},定义X上的二元运算①和。 如下:对任意(ab) ,(a 2,b2)€ X,有: (a1b"e (a2,b2)= (a+a?,b1+b2), (a1bJ O (a2,b2)= (ax a2,b 1X b),其中,+,x分别是整数加法与乘法。 证明:(X,?,O)是环,如果此环有零因子请给出它们

离散数学期末试题

离散数学考试试题(A 卷及答案) 一、(10分)求(P ↓Q )→(P ∧?(Q ∨?R ))的主析取范式 解:(P ↓Q )→(P ∧?(Q ∨?R ))??(?( P ∨Q ))∨(P ∧?Q ∧R )) ?(P ∨Q )∨(P ∧?Q ∧R )) ?(P ∨Q ∨P )∧(P ∨Q ∨?Q )∧(P ∨Q ∨R ) ?(P ∨Q )∧(P ∨Q ∨R ) ?(P ∨Q ∨(R ∧?R ))∧(P ∨Q ∨R ) ?(P ∨Q ∨R )∧(P ∨Q ∨?R )∧(P ∨Q ∨R ) ?0M ∧1M ?2m ∨3m ∨4m ∨5m ∨6m ∨7m 二、(10分)在某次研讨会的休息时间,3名与会者根据王教授的口音分别作出下述判断: 甲说:王教授不是苏州人,是上海人。 乙说:王教授不是上海人,是苏州人。 丙说:王教授既不是上海人,也不是杭州人。 王教授听后说:你们3人中有一个全说对了,有一人全说错了,还有一个人对错各一半。试判断王教授是哪里人? 解 设设P :王教授是苏州人;Q :王教授是上海人;R :王教授是杭州人。则根据题意应有: 甲:?P ∧Q 乙:?Q ∧P 丙:?Q ∧?R 王教授只可能是其中一个城市的人或者3个城市都不是。所以,丙至少说对了一半。因此,可得甲或乙必有一人全错了。又因为,若甲全错了,则有?Q ∧P ,因此,乙全对。同理,乙全错则甲全对。所以丙必是一对一错。故王教授的话符号化为: ((?P ∧Q )∧((Q ∧?R )∨(?Q ∧R )))∨((?Q ∧P )∧(?Q ∧R )) ?(?P ∧Q ∧Q ∧?R )∨(?P ∧Q ∧?Q ∧R )∨(?Q ∧P ∧?Q ∧R ) ?(?P ∧Q ∧?R )∨(P ∧?Q ∧R ) ??P ∧Q ∧?R ?T 因此,王教授是上海人。 三、(10分)证明tsr (R )是包含R 的且具有自反性、对称性和传递性的最小关系。 证明 设R 是非空集合A 上的二元关系,则tsr (R )是包含R 的且具有自反性、对称性和传递性的关系。 若'R 是包含R 的且具有自反性、对称性和传递性的任意关系,则由闭包的定义知r (R )?' R 。则sr (R )?s ('R )='R ,进而有tsr (R )?t ('R )='R 。

大学本科高等数学《离散数学》试题及答案

本科高等数学离散数学试题及答案 一、填空题 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变成完全图。

《离散数学》及答案

《离散数学》+答案 一、选择或填空: 1、下列哪些公式为永真蕴含式?( ) (1)?Q=>Q→P (2)?Q=>P→Q (3)P=>P→Q (4)?P∧(P∨Q)=>?P 答:在第三章里面有公式(1)是附加律,(4)可以由第二章的蕴含等值式求出(注意与吸收律区别) 2、下列公式中哪些是永真式?( ) (1)(┐P∧Q)→(Q→?R) (2)P→(Q→Q) (3)(P∧Q)→P (4)P→(P∨Q) 答:(2),(3),(4)可用蕴含等值式证明 3、设有下列公式,请问哪几个是永真蕴涵式?( ) (1)P=>P∧Q (2) P∧Q=>P (3) P∧Q=>P∨Q (4)P∧(P→Q)=>Q (5) ?(P→Q)=>P (6) ?P∧(P∨Q)=>?P 答:(2)是第三章的化简律,(3)类似附加律,(4)是假言推理,(3),(5),(6)都可以用蕴含等值式来证明出是永真蕴含式 4、公式?x((A(x)→B(y,x))∧?z C(y,z))→D(x)中,自由变元是( ),约束变元是( )。 答:x,y, x,z(考察定义在公式?x A和?x A中,称x为指导变元,A为量词的辖域。在?x A和?x A的辖域中,x的所有出现都称为约束出现,即称x为约束变元,A中不是约束出现的其他变项则称为自由变元。于是A(x)、B(y,x)和?z C(y,z)中y为自由变元,x和z为约束变元,在D(x)中x为自由变元) 5、判断下列语句是不是命题。若是,给出命题的真值。( ) (1)北京是中华人民共和国的首都。 (2) 陕西师大是一座工厂。 (3) 你喜欢唱歌吗? (4) 若7+8>18,则三角形有4条边。 (5) 前进! (6) 给我一杯水吧! 答:(1)是,T (2)是,F (3)不是(4)是,T (5)不是(6) 44

太原理工大学离散数学试题

一、填空题 1设集合A,B,其中A={1,2,3}, B= {1,2}, 则A - B=__{3}__________________; ρ(A) - ρ(B)=___________________{3},{1,3},{2,3},{123}______ . 2. 设有限集合A, |A| = n, 则|ρ(A×A)| = _____2^(n^2)_____________________. 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)}, R2= {(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变成完全图。 16. 设谓词的定义域为{a, b},将表达式?xR(x)→?xS(x)中量词消除,写成与之对应的命题公

离散数学期末试题及答案完整版

离散数学期末试题及答 案 HEN system office room 【HEN16H-HENS2AHENS8Q8-HENH1688】

326《离散数学》期末考试题(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 是欧拉图. 二.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的补元( ).

离散数学作业答案

第一章 1.假定A是ECNU二年级的学生集合,B是ECNU必须学离散数学的学生的集合。请用A 和B表示ECNU不必学习离散数学的二年级的学生的集合。 2.试求: (1)P(φ) (2)P(P(φ)) (3)P(P(P(φ))) 3.在1~200的正整数中,能被3或5整除,但不能被15整除的正整数共有多少个? 能被5整除的有40个, 能被15整除的有13个, ∴能被3或5整除,但不能被15整除的正整数共有 66-13+40-13=80个。 第三章 1.下列语句是命题吗? (1)2是正数吗? (2)x2+x+1=0。 (3)我要上学。 (4)明年2月1日下雨。 (5)如果股票涨了,那么我就赚钱。 2.请用自然语言表达命题(p?→r)∨(q?→r),其中p、q、r为如下命题: p:你得流感了 q:你错过了最后的考试

3.通过真值表求p→(p∧(q→p))的主析取范式和主合取范式。 4.给出p→(q→s),q,p∨?r?r→s的形式证明。 第四章 1.将?x(C(x)∨?y(C(y)∧F(x,y)))翻译成汉语,其中C(x)表示x有电脑,F(x,y) 表示x和y是同 班同学,个体域是学校全体学生的集合。 解: 学校的全体学生要么自己有电脑,要么其同班同学有电脑。 2.构造?x(P(x)∨Q(x)),?x(Q(x)→?R(x)),?xR(x)??xP(x)的形式证明。 解: ①?xR(x) 前提引入 ②R(e) ①US规则 ③?x(Q(x)→?R(x)) 前提引入 ④Q(e) →?R(e) ③US规则 ⑤?Q (e) ②④析取三段论 ⑥?x(P(x)∨Q(x)) 前提引入 ⑦P(e) ∨Q(e) ⑥US规则 ⑧P(e) ⑤⑦析取三段论 ⑨?x (P(x)) ⑧EG规则 第五章

2018国家开放大学离散数学本形考任务答案

离散数学作业4 离散数学图论部分形成性考核书面作业 本课程形成性考核书面作业共3次,容主要分别是集合论部分、图论部分、数理逻辑部分的综合练习,基本上是按照考试的题型(除单项选择题外)安排练习题目,目的是通过综合性书面作业,使同学自己检验学习成果,找出掌握的薄弱知识点,重点复习,争取尽快掌握.本次形考书面作业是第二次作业,大家要认真及时地完成图论部分的综合练习作业. 要求:学生提交作业有以下三种方式可供选择: 1. 可将此次作业用A4纸打印出来,手工书写答题,字迹工整,解答题要有解答过程,完成作业后交给辅导教师批阅. 2. 在线提交word文档 3. 自备答题纸,将答题过程手工书写,并拍照上传. 一、填空题 1.已知图G中有1个1度结点,2个2度结点,3个3度结点,4个4度结点,则G的边数是15 . 2.设给定图G(如右由图所示),则图G的点割集是 { f },{ e,c} . 3.设G是一个图,结点集合为V,边集合为E,则 G的结点度数之和等于边数的两倍. 4.无向图G存在欧拉回路,当且仅当G连通且不含奇数度结 点. 5.设G=是具有n个结点的简单图,若在G中每一对结点度数之和大于等于︱v︱,则在G中存在一条汉密尔顿路.6.若图G=中具有一条汉密尔顿回路,则对于结点集V的每个非空子集S,在G中删除S中的所有结点得到的连通分支数为W,则S中结点数|S|与W满足的关系式为W ≤S . 7.设完全图K n 有n个结点(n 2),m条边,当n为奇数时时, K n 中存在欧拉回路. 姓名: 学号: 得分: 教师签名:

8.结点数v与边数e满足e=v - 1 关系的无向连通图就是树. 9.设图G是有6个结点的连通图,结点的总度数为18,则可从G中删去条边后使之变成树. 10.设正则5叉树的树叶数为17,则分支数为i = 4 . 二、判断说明题(判断下列各题,并说明理由.) 1.如果图G是无向图,且其结点度数均为偶数,则图G存在一条欧拉回路. 答:错误。应叙述为:“如果图G是无向连通图,且其结点度数均为偶数,则图G存在一条欧拉回路。” 2.如下图所示的图G存在一条欧拉回路. 答:错误。因为图中存在奇数度结点,所以不存在欧拉回路。 3.如下图所示的图G不是欧拉图而是汉密尔顿图.

离散数学期末试卷A卷及答案

《离散数学》试卷(A 卷) 一、 选择题(共5 小题,每题 3 分,共15 分) 1、设A={1,2,3},B={2,3,4,5},C={2,3},则C B A ⊕?)(为(C )。 A 、{1,2} B 、{2,3} C 、{1,4,5} D 、{1,2,3} 2、下列语句中哪个是真命题 ( A ) A 、如果1+2=3,则4+5=9; B 、1+2=3当且仅当4+5≠9。 C 、如果1+2=3,则4+5≠9; D 、1+2=3仅当4+5≠9。 3、个体域为整数集合时,下列公式( C )不是命题。 A 、)*(y y x y x =?? B 、)4*(=??y x y x C 、)*(x y x x =? D 、)2*(=??y x y x 4、全域关系A E 不具有下列哪个性质( B )。 A 、自反性 B 、反自反性 C 、对称性 D 、传递性 5、函数612)(,:+-=→x x f R R f 是( D )。 A 、单射函数 B 、满射函数 C 、既不单射也不满射 D 、双射函数 二、填充题(共 5 小题,每题 3 分,共15 分) 1、设|A|=4,|P(B)|=32,|P(A ?B)|=128,则|A ?B|=??2???.

2、公式)(Q P Q ?∨∧的主合取范式为 。 3、对于公式))()((x Q x P x ∨?,其中)(x P :x=1, )(x Q :x=2,当论域为{0,1,2}时,其真值为???1???。 4、设A ={1,2,3,4},则A 上共有???15????个等价关系。 5、设A ={a ,b ,c },B={1,2},则|B A |= 8 。 三、判断题(对的填T ,错的填F ,共 10 小题,每题 1 分,共计10 分) 1、“这个语句是真的”是真命题。 ( F ) 2、“张刚和小强是同桌。”是复合命题。 ( F ) 3、))(()(r q q p p ∧?∧→?∨是矛盾式。 ( T ) 4、)(T S R T R S R ??????。 ( F ) 5、恒等关系具有自反性,对称性,反对称性,传递性。 ( T ) 6、若f 、g 分别是单射,则g f ?是单射。 ( T ) 7、若g f ?是满射,则g 是满射。 ( F ) 8、若A B ?,则)()(A P B P ?。 ( T ) 9、若R 具有自反性,则1-R 也具有自反性。 ( T ) 10、B A ∈并且B A ?不可以同时成立。 (F ) 四、计算题(共 3 小题,每题 10 分,共30 分) 1、调查260个大学生,获得如下数据:64人选修数学课程,94人选修计算机课程,58人选修商贸课程,28人同时选修数学课程和商贸课程,26人同时选修数学课程和计算机课程,22人同时选修计算机课程和商贸课程,14人同时选修三门课程。问 (1)三门课程都不选的学生有多少? (2)只选修计算机课程的学生有多少?

离散数学课后答案

离散数学课后答案 习题一 6.将下列命题符号化。 (1)小丽只能从框里那一个苹果或一个梨. (2)这学期,刘晓月只能选学英语或日语中的一门外语课. 答: (1)(p Λ?q )ν(?pΛq)其中p:小丽拿一个苹果,q:小丽拿一个梨(2)(p Λ?q )ν(?pΛq)其中p:刘晓月选学英语,q:刘晓月选学日语 14.将下列命题符号化. (1) 刘晓月跑得快, 跳得高. (2)老王是山东人或河北人. (3)因为天气冷, 所以我穿了羽绒服. (4)王欢与李乐组成一个小组. (5)李辛与李末是兄弟. (6)王强与刘威都学过法语. (7)他一面吃饭, 一面听音乐. (8)如果天下大雨, 他就乘班车上班. (9)只有天下大雨, 他才乘班车上班. (10)除非天下大雨, 他才乘班车上班. (11)下雪路滑, 他迟到了. (12)2与4都是素数, 这是不对的. (13)“2或4是素数, 这是不对的”是不对的. 答: (1)p∧q, 其中, p: 刘晓月跑得快, q: 刘晓月跳得高. (2)p∨q, 其中, p: 老王是山东人, q: 老王是河北人. (3)p→q, 其中, p: 天气冷, q: 我穿了羽绒服. (4)p, 其中, p: 王欢与李乐组成一个小组, 是简单命题. (5)p, 其中, p: 李辛与李末是兄弟. (6)p∧q, 其中, p: 王强学过法语, q: 刘威学过法语. (7)p∧q, 其中, p: 他吃饭, q: 他听音乐. (8)p→q, 其中, p: 天下大雨, q: 他乘班车上班. (9)p→q, 其中, p: 他乘班车上班, q: 天下大雨. (10)p→q, 其中, p: 他乘班车上班, q: 天下大雨. (11)p→q, 其中, p: 下雪路滑, q: 他迟到了. (12) ? (p∧q)或?p∨?q, 其中, p: 2是素数, q: 4是素数. (13) ? ? (p∨q)或p∨q, 其中, p: 2是素数, q: 4是素数. 16. 19.用真值表判断下列公式的类型: (1)p→ (p∨q∨r) (2)(p→?q) →?q

大学离散数学期末重点知识点总结(考试专用)

1.常用公式 p ∧(P →Q)=>Q 假言推论 ┐Q ∧(P →Q)=>┐P 拒取式 ┐p ∧(P ∨Q)=>Q 析取三段式 (P →Q) ∧(Q →R)=>P →R 条件三段式 (PQ) ∧(QR)=>PR 双条件三段式 (P →Q)∧(R →S)∧(P ∧R)=>Q →S 合取构造二难 (P →Q)∧(R →S)∧(P ∨R)=>Q ∨S 析取构造二难 (?x)((Ax)∨(Bx)) <=>( ?x)(Ax)∨(?x)(Bx) (?x)((Ax)∧(Bx)) <=>(?x)(Ax)∧(?x)(Bx) —┐(?x)(Ax) <=>(?x)┐(Ax) —┐(?x)(Ax) <=>(?x)┐(Ax) (?x)(A ∨(Bx)) <=>A ∨(?x)(Bx) (?x)(A ∧(Bx)) <=>A ∧(?x)(Bx) (?x)((Ax)→(Bx)) <=>(?x)(Ax)→(?x)(Bx) (?x)(Ax) →B <=>(?x) ((Ax)→B) (?x)(Ax) →B <=>(?x) ((Ax)→B) A →(?x)(Bx) <=>(?x) (A →(Bx)) A →(?x)(Bx) <=>(?x) (A →(Bx)) (?x)(Ax)∨(?x)(Bx) =>(?x)((Ax)∨(Bx)) (?x)((Ax)∧(Bx)) =>(?x)(Ax)∧(?x)(Bx) (?x)(Ax)→(?x)(Bx) =>(?x)((Ax)→(Bx)) 2.命题逻辑 1.→,前键为真,后键为假才为假;<—>,相同为真,不同为假; 2.主析取范式:极小项(m)之和;主合取范式:极大项(M)之积; 3.求极小项时,命题变元的肯定为1,否定为0,求极大项时相反; 4.求极大极小项时,每个变元或变元的否定只能出现一次,求极小项时变元不够合取真,求极大项时变元不够析取假; 5.求范式时,为保证编码不错,命题变元最好按P ,Q,R 的顺序依次写; 6.真值表中值为1的项为极小项,值为0的项为极大项; 7.n 个变元共有n 2个极小项或极大项,这n 2为(0~n 2-1)刚好为化简完后的主析取加主合取; 8.永真式没有主合取范式,永假式没有主析取范式; 9.推证蕴含式的方法(=>):真值表法;分析法(假定前键为真推出后键为真,假定前键为假推出后键也为假) 10.命题逻辑的推理演算方法:P 规则,T 规则 ①真值表法;②直接证法;③归谬法;④附加前提法; 3.谓词逻辑 1.一元谓词:谓词只有一个个体,一元谓词描述命题的性质; 多元谓词:谓词有n 个个体,多元谓词描述个体之间的关系; 2.全称量词用蕴含→,存在量词用合取^; 3.既有存在又有全称量词时,先消存在量词,再消全称量词; 4.集合 1.N ,表示自然数集,1,2,3……,不包括0; 2.基:集合A 中不同元素的个数,|A|; 3.幂集:给定集合A ,以集合A 的所有子集为元素组成的集合,P(A); 4.若集合A 有n 个元素,幂集P(A)有n 2个元素,|P(A)|=||2A =n 2; 5.集合的分划:(等价关系) ①每一个分划都是由集合A 的几个子集构成的集合; ②这几个子集相交为空,相并为全(A); 6.集合的分划与覆盖的比较: 分划:每个元素均应出现且仅出现一次在子集中; 覆盖:只要求每个元素都出现,没有要求只出现一次; 5.关系 1.若集合A 有m 个元素,集合B 有n 个元素,则笛卡尔A ×B 的基数为mn ,A 到B 上可以定义mn 2种不同的关系; 2.若集合A 有n 个元素,则|A ×A|=2n ,A 上有22n 个不同的关系; 3.全关系的性质:自反性,对称性,传递性; 空关系的性质:反自反性,反对称性,传递性; 全封闭环的性质:自反性,对称性,反对称性,传递性; 4.前域(domR):所有元素x 组成的集合; 后域(ranR):所有元素y 组成的集合; 5.自反闭包:r(R)=RU Ix ; 对称闭包:s(R)=RU 1-R ; 传递闭包:t(R)=RU 2R U 3R U …… 6.等价关系:集合A 上的二元关系R 满足自反性,对称性和传递性,则R 称为等价关系; 7.偏序关系:集合A 上的关系R 满足自反性,反对称性和传递性,则称R 是A 上的一个偏序关系; 8.covA={|x,y 属于A ,y 盖住x}; 9.极小元:集合A 中没有比它更小的元素(若存在可能不唯一); 极大元:集合A 中没有比它更大的元素(若存在可能不唯一); 最小元:比集合A 中任何其他元素都小(若存在就一定唯一); 最大元:比集合A 中任何其他元素都大(若存在就一定唯一); 10.前提:B 是A 的子集 上界:A 中的某个元素比B 中任意元素都大,称这个元素是B 的上界(若存在,可能不唯一); 下界:A 中的某个元素比B 中任意元素都小,称这个元素是B 的下界(若存在,可能不唯一); 上确界:最小的上界(若存在就一定唯一); 下确界:最大的下界(若存在就一定唯一); 6.函数 1.若|X|=m,|Y|=n,则从X 到Y 有mn 2种不同的关系,有m n 种不同的函数; 2.在一个有n 个元素的集合上,可以有2n2种不同的关系,有nn 种不同的函数,有n!种不同的双射; 3.若|X|=m,|Y|=n ,且m<=n ,则从X 到Y 有A m n 种不同的单射; 4.单射:f:X-Y ,对任意1x ,2x 属于X,且1x ≠2x ,若f(1x )≠f(2x ); 满射:f:X-Y ,对值域中任意一个元素y 在前域中都有一个或多个元素对应; 双射:f:X-Y ,若f 既是单射又是满射,则f 是双射; 5.复合函数:f og=g(f(x)); 5.设函数f:A-B ,g:B-C ,那么 ①如果f,g 都是单射,则f og 也是单射; ②如果f,g 都是满射,则f og 也是满射; ③如果f,g 都是双射,则f og 也是双射; ④如果f og 是双射,则f 是单射,g 是满射; 7.代数系统 1.二元运算:集合A 上的二元运算就是2A 到A 的映射; 2. 集合A 上可定义的二元运算个数就是从A ×A 到A 上的映射的个数,即从从A ×A 到A 上函数的个数,若|A|=2,则集合A 上的二元运算的个数为2*22=42=16种; 3. 判断二元运算的性质方法: ①封闭性:运算表内只有所给元素; ②交换律:主对角线两边元素对称相等; ③幂等律:主对角线上每个元素与所在行列表头元素相同; ④有幺元:元素所对应的行和列的元素依次与运算表的行和列相同; ⑤有零元:元素所对应的行和列的元素都与该元素相同; 4.同态映射:,,满足f(a*b)=f(a)^f(b),则f 为由的同态映射;若f 是双射,则称为同构; 8.群 广群的性质:封闭性; 半群的性质:封闭性,结合律; 含幺半群(独异点):封闭性,结合律,有幺元; 群的性质:封闭性,结合律,有幺元,有逆元; 2.群没有零元; 3.阿贝尔群(交换群):封闭性,结合律,有幺元,有逆元,交换律; 4.循环群中幺元不能是生成元; 5.任何一个循环群必定是阿贝尔群; 10.格与布尔代数 1.格:偏序集合A 中任意两个元素都有上、下确界; 2.格的基本性质: 1) 自反性a ≤a 对偶: a ≥a 2) 反对称性a ≤b ^ b ≥a => a=b 对偶:a ≥b ^ b ≤a => a=b 3) 传递性a ≤b ^ b ≤c => a ≤c 对偶:a ≥b ^ b ≥c => a ≥c 4) 最大下界描述之一a^b ≤a 对偶 avb ≥a A^b ≤b 对偶 avb ≥b 5)最大下界描述之二c ≤a,c ≤b => c ≤a^b 对偶c ≥a,c ≥b => c ≥avb 6) 结合律a^(b^c)=(a^b)^c 对偶 av(bvc)=(avb)vc 7) 等幂律a^a=a 对偶 ava=a 8) 吸收律a^(avb)=a 对偶 av(a^b)=a 9) a ≤b <=> a^b=a avb=b 10) a ≤c,b ≤d => a^b ≤c^d avb ≤cvd 11) 保序性b ≤c => a^b ≤a^c avb ≤avc 12) 分配不等式av(b^c)≤(avb)^(avc) 对偶 a^(bvc)≥(a^b)v(a^c) 13)模不等式a ≤c <=> av(b^c)≤(avb)^c 3.分配格:满足a^(bvc)=(a^b)v(a^c)和av(b^c)=(avb)^(avc); 4.分配格的充要条件:该格没有任何子格与钻石格或五环格同构; 5.链格一定是分配格,分配格必定是模格; 6.全上界:集合A 中的某个元素a 大于等于该集合中的任何元素,则称a 为格的全上界,记为1;(若存在则唯一) 全下界:集合A 中的某个元素b 小于等于该集合中的任何元素,则称b 为格的全下界,记为0;(若存在则唯一) 7.有界格:有全上界和全下界的格称为有界格,即有0和1的格; 8.补元:在有界格内,如果a^b=0,avb=1,则a 和b 互为补元; 9.有补格:在有界格内,每个元素都至少有一个补元; 10.有补分配格(布尔格):既是有补格,又是分配格; 布尔代数:一个有补分配格称为布尔代数; 11.图论 1.邻接:两点之间有边连接,则点与点邻接; 2.关联:两点之间有边连接,则这两点与边关联; 3.平凡图:只有一个孤立点构成的图; 4.简单图:不含平行边和环的图; 5.无向完全图:n 个节点任意两个节点之间都有边相连的简单无向图; 有向完全图:n 个节点任意两个节点之间都有边相连的简单有向图; 6.无向完全图有n(n-1)/2条边,有向完全图有n(n-1)条边; 7.r-正则图:每个节点度数均为r 的图; 8.握手定理:节点度数的总和等于边的两倍; 9.任何图中,度数为奇数的节点个数必定是偶数个; 10.任何有向图中,所有节点入度之和等于所有节点的出度之和; 11.每个节点的度数至少为2的图必定包含一条回路; 12.可达:对于图中的两个节点i v ,j v ,若存在连接i v 到j v 的路,则称i v 与j v 相互可达,也称i v 与j v 是连通的;在有向图中,若存在i v 到j v 的路,则称i v 到j v 可达; 13.强连通:有向图章任意两节点相互可达; 单向连通:图中两节点至少有一个方向可达; 弱连通:无向图的连通;(弱连通必定是单向连通) 14.点割集:删去图中的某些点后所得的子图不连通了,如果删去其他几个点后子图之间仍是连通的,则这些点组成的集合称为点割集; 割点:如果一个点构成点割集,即删去图中的一个点后所得子图是不连通的,则该点称为割点; 15.关联矩阵:M(G),mij 是vi 与ej 关联的次数,节点为行,边为列; 无向图:点与边无关系关联数为0,有关系为1,有环为2; 有向图:点与边无关系关联数为0,有关系起点为1终点为-1, 关联矩阵的特点: 无向图: ①行:每个节点关联的边,即节点的度; ②列:每条边关联的节点; 有向图: ③所有的入度(1)=所有的出度(0); 16.邻接矩阵:A(G),aij 是vi 邻接到vj 的边的数目,点为行,点为列; 17.可达矩阵:P(G),至少存在一条回路的矩阵,点为行,点为列; P(G)=A(G)+2A (G)+3A (G)+4A (G) 可达矩阵的特点:表明图中任意两节点之间是否至少存在一条路,以及在任何节点上是否存在回路; A(G)中所有数的和:表示图中路径长度为1的通路条数; 2A (G)中所有数的和:表示图中路径长度为2的通路条数; 3A (G)中所有数的和:表示图中路径长度为3的通路条数; 4A (G)中所有数的和:表示图中路径长度为4的通路条数; P(G)中主对角线所有数的和:表示图中的回路条数; 18.布尔矩阵:B(G),i v 到j v 有路为1,无路则为0,点为行,点为列; 19.代价矩阵:邻接矩阵元素为1的用权值表示,为0的用无穷大表示,节点自身到自身的权值为0; 20.生成树:只访问每个节点一次,经过的节点和边构成的子图; 21.构造生成树的两种方法:深度优先;广度优先; 深度优先: ①选定起始点0v ; ②选择一个与0v 邻接且未被访问过的节点1v ; ③从1v 出发按邻接方向继续访问,当遇到一个节点所有邻接点均已被访问时,回到该节点的前一个点,再寻求未被访问过的邻接点,直到所有节点都被访问过一次; 广度优先: ①选定起始点0v ; ②访问与0v 邻接的所有节点v1,v2,……,vk,这些作为第一层节点; ③在第一层节点中选定一个节点v1为起点; ④重复②③,直到所有节点都被访问过一次; 22.最小生成树:具有最小权值(T)的生成树; 23.构造最小生成树的三种方法: 克鲁斯卡尔方法;管梅谷算法;普利姆算法; (1)克鲁斯卡尔方法 ①将所有权值按从小到大排列; ②先画权值最小的边,然后去掉其边值;重新按小到大排序; ③再画权值最小的边,若最小的边有几条相同的,选择时要满足不能出现回路,然后去掉其边值;重新按小到大排序; ④重复③,直到所有节点都被访问过一次; (2)管梅谷算法(破圈法) ①在图中取一回路,去掉回路中最大权值的边得一子图; ②在子图中再取一回路,去掉回路中最大权值的边再得一子图; ③重复②,直到所有节点都被访问过一次; (3)普利姆算法 ①在图中任取一点为起点1v ,连接边值最小的邻接点v2; ②以邻接点v2为起点,找到v2邻接的最小边值,如果最小边值比v1邻接的所有边值都小(除已连接的边值),直接连接,否则退回1v ,连接1v 现在的最小边值(除已连接的边值); ③重复操作,直到所有节点都被访问过一次; 24.关键路径 例2 求PERT 图中各顶点的最早完成时间, 最晚完成时间, 缓冲时间及关键路径. 解:最早完成时间 TE(v1)=0 TE(v2)=max{0+1}=1 TE(v3)=max{0+2,1+0}=2 TE(v4)=max{0+3,2+2}=4 TE(v5)=max{1+3,4+4}=8 TE(v6)=max{2+4,8+1}=9 TE(v7)=max{1+4,2+4}=6 TE(v8)=max{9+1,6+6}=12 最晚完成时间 TL(v8)=12 TL(v7)=min{12-6}=6 TL(v6)=min{12-1}=11 TL(v5)=min{11-1}=10 TL(v4)=min{10-4}=6 TL(v3)=min{6-2,11-4,6-4}=2 TL(v2)=min{2-0,10-3,6-4}=2 TL(v1)=min{2-1,2-2,6-3}=0 缓冲时间 TS(v1)=0-0=0 TS(v2)=2-1=1 TS(v3)=2-2=0 TS(v4)=6-4=2 TS(v5=10-8=2 TS(v6)=11-9=2 TS(v7)=6-6=0 TS(v8)=12-12=0 关键路径: v1-v3-v7-v8 25.欧拉路:经过图中每条边一次且仅一次的通路; 欧拉回路:经过图中每条边一次且仅一次的回路; 欧拉图:具有欧拉回路的图; 单向欧拉路:经过有向图中每条边一次且仅一次的单向路; 欧拉单向回路:经过有向图中每条边一次且仅一次的单向回路; 26.(1)无向图中存在欧拉路的充要条件: ①连通图;②有0个或2个奇数度节点; (2)无向图中存在欧拉回路的充要条件: ①连通图;②所有节点度数均为偶数; (3)连通有向图含有单向欧拉路的充要条件: ①除两个节点外,每个节点入度=出度; ②这两个节点中,一个节点的入度比出度多1,另一个节点的入;度比出度少1; (4)连通有向图含有单向欧拉回路的充要条件: 图中每个节点的出度=入度; 27.哈密顿路:经过图中每个节点一次且仅一次的通路; 哈密顿回路:经过图中每个节点一次且仅一次的回路; 哈密顿图:具有哈密顿回路的图; 28.判定哈密顿图(没有充要条件) 必要条件: 任意去掉图中n 个节点及关联的边后,得到的分图数目小于等于n ; 充分条件: 图中每一对节点的度数之和都大于等于图中的总节点数; 29.哈密顿图的应用:安排圆桌会议; 方法:将每一个人看做一个节点,将每个人与和他能交流的人连接,找到一条经过每个节点一次且仅一次的回路(哈密顿图),即可; 30.平面图:将图形的交叉边进行改造后,不会出现边的交叉,则是平面图; 31.面次:面的边界回路长度称为该面的次; 32.一个有限平面图,面的次数之和等于其边数的两倍; 33.欧拉定理:假设一个连通平面图有v 个节点,e 条边,r 个面,则 v-e+r=2; 34.判断是平面图的必要条件:(若不满足,就一定不是平面图) 设图G 是v 个节点,e 条边的简单连通平面图,若v>=3,则e<=3v-6; 35.同胚:对于两个图G1,G2,如果它们是同构的,或者通过反复插入和除去2度节点可以变成同构的图,则称G1,G2是同胚的; 36.判断G 是平面图的充要条件: 图G 不含同胚于K3.3或K5的子图; 37.二部图:①无向图的节点集合可以划分为两个子集V1,V2; ②图中每条边的一个端点在V1,另一个则在V2中; 完全二部图:二部图中V1的每个节点都与V2的每个节点邻接; 判定无向图G 为二部图的充要条件: 图中每条回路经过边的条数均为偶数; 38.树:具有n 个顶点n-1条边的无回路连通无向图; 39.节点的层数:从树根到该节点经过的边的条数; 40.树高:层数最大的顶点的层数; 41.二叉树: ①二叉树额基本结构状态有5种; ②二叉树内节点的度数只考虑出度,不考虑入度; ③二叉树内树叶的节点度数为0,而树内树叶节点度数为1; ④二叉树内节点的度数=边的总数(只算出度);握手定理“节点数=边的两倍”是在同时计算入度和出度的时成立; ⑤二叉树内节点的总数=边的总数+1; ⑥位于二叉树第k 层上的节点,最多有12-k 个(k>=1); ⑦深度为k 的二叉树的节点总数最多为k 2-1个,最少k 个(k>=1); ⑧如果有0n 个叶子,n2个2度节点,则0n =n2+1; 42.二叉树的节点遍历方法: 先根顺序(DLR ); 中根顺序(LDR ); 后根顺序(LRD ); 43.哈夫曼树:用哈夫曼算法构造的最优二叉树; 44.最优二叉树的构造方法: ①将给定的权值按从小到大排序; ②取两个最小值分支点的左右子树(左小右大),去掉已选的这两个权值,并将这两个最小值加起来作为下一轮排序的权值; ③重复②,直达所有权值构造完毕; 45.哈夫曼编码:在最优二叉树上,按照左0右1的规则,用0和1代替所有边的权值; 每个节点的编码:从根到该节点经过的0和1组成的一排编码;

相关文档
相关文档 最新文档