当前位置:文档之家› 北邮离散数学作业三

北邮离散数学作业三

北邮离散数学作业三
北邮离散数学作业三

一、判断题(共5道小题,共50.0分)

1.代数系统的零元是可逆元.

A. 正确

B. 错误

知识点: 代数系统的基本概念

学生答案: [B;]

得分: [10] 试题分值: 10.0

提示:

2.

3.集合A上的任一运算对A是封闭的.

A. 正确

B. 错误

知识点: 代数系统的基本概念

学生答案: [A;]

得分: [10] 试题分值: 10.0

提示:

4.

5.设

A. 正确

B. 错误

知识点: 群、环和域

学生答案: [B;]

得分: [10] 试题分值: 10.0

提示:

6.

7.设是布尔代数,则对任意,有.

A. 正确

B. 错误

知识点: 格和布尔代数

学生答案: [A;]

得分: [10] 试题分值: 10.0

提示:

8.

9.设是格的任意两个元素,则.

A. 正确

B. 错误

知识点: 格和布尔代数

学生答案: [A;]

得分: [10] 试题分值: 10.0

提示:

10.

二、单项选择题(共5道小题,共50.0分)

1.设是有理数集,在定义运算为,则的单位元

A.

B.

C. 1

D. 0

知识点: 代数系统的基本概念

学生答案: [D;]

得分: [10] 试题分值: 10.0

提示:

2.

3.下列定义的实数集R上的运算 * 中可结合的是

A.

B.

C.

D.

知识点: 代数系统的基本概念

学生答案: [C;]

得分: [10] 试题分值: 10.0

提示:

4.

5.循环群的所有子群为

A.

B.

C. 和

D.

知识点: 群、环和域

学生答案: [C;]

得分: [10] 试题分值: 10.0

提示:

6.

下列代数系统中,哪一个不构成群

A. 是模11乘法

B. 是模3加法

C. 普通加法

D. 普通乘法

知识点: 群、环和域

学生答案: [D;]

得分: [10.0] 试题分值: 10.0 提示:

7.在下面偏序集的哈斯图中,哪一个是格

A.

B.

C.

D.

知识点: 格和布尔代数

学生答案: [A;]

得分: [10] 试题分值: 10.0 提示:

8.

离散数学第二次在线作业

第二次在线作业 1.( 2.5分)代数系统是指由集合及其上的一元或二元运算符组成的系统 ?正确 ?错误 我的答案:正确此题得分:2.5分 2.(2.5分)设< L*1*2> 是代数系统,其中是*1*2二元运算符,如果*1*2都满足交换律、结合律,并且*1和*2满足吸收律,则称< L*1*2> 是格 ?正确 ?错误 我的答案:正确此题得分:2.5分 3.(2.5分)对实数的普通加法和乘法,0是加法的幂等元,1是乘法的幂等元 ?正确 ?错误 我的答案:正确此题得分:2.5分 4.(2.5分)零元是不可逆的 ?正确 ?错误 我的答案:正确此题得分:2.5分 5.(2.5分)群中每个元素的逆元都是惟一的 ?正确 ?错误 我的答案:正确此题得分:2.5分

6.(2.5分)设abc是阿贝尔群< G+> 的元素,则-(a+b+c)=(-a)+( -b)+( -c) ?正确 ?错误 我的答案:正确此题得分:2.5分 7.(2.5分) < {01234}MAXMIN> 是格 ?正确 ?错误 我的答案:正确此题得分:2.5分 8.(2.5分)一个图的哈密尔顿路是一条通过图中所有结点一次且恰好一次的路 ?正确 ?错误 我的答案:正确此题得分:2.5分 9.(2.5分)在有向图中,结点v的出度deg+(v)表示以v为起点的边的条数,入度deg-(v)表示以v为终点的边的条数 ?正确 ?错误 我的答案:正确此题得分:2.5分 10.(2.5分)一个图的欧拉回路是一条通过图中所有边一次且恰好一次的回路 ?正确 ?错误 我的答案:正确此题得分:2.5分

11.(2.5分)不含回路的连通图是树 ?正确 ?错误 我的答案:正确此题得分:2.5分 12.(2.5分)简单图邻接矩阵主对角线上的元素全为0 ?正确 ?错误 我的答案:正确此题得分:2.5分 13.(2.5分)树一定是连通图 ?正确 ?错误 我的答案:正确此题得分:2.5分 14.(2.5分)无向图的邻接矩阵是对称阵 ?正确 ?错误 我的答案:正确此题得分:2.5分 15.(2.5分)不与任何结点相邻接的结点称为孤立结点 ?正确 ?错误 我的答案:正确此题得分:2.5分

离散数学作业答案

离散数学作业7 离散数学数理逻辑部分形成性考核书面作业 本课程形成性考核书面作业共3次,内容主要分别是集合论部分、图论部分、数理逻辑部分的综合练习,基本上是按照考试的题型(除单项选择题外)安排练习题目,目的是通过综合性书面作业,使同学自己检验学习成果,找出掌握的薄弱知识点,重点复习,争取尽快掌握。本次形考书面作业是第三次作业,大家要认真及时地完成数理逻辑部分的综合练习作业。 要求:将此作业用A4纸打印出来,手工书写答题,字迹工整,解答题要有解答过程,要求2010年12月19日前完成并上交任课教师(不收电子稿)。并在07任务界面下方点击“保存”和“交卷”按钮,以便教师评分。 一、填空题 1.命题公式()P Q P →∨的真值是 1 . 2.设P :他生病了,Q :他出差了.R :我同意他不参加学习. 则命题“如果他生病或出差了,我就同意他不参加学习”符号化的结果为 (PQ)R . 3.含有三个命题变项P ,Q ,R 的命题公式PQ 的主析取范式是 (PQR) (PQR) . 4.设P(x):x 是人,Q(x):x 去上课,则命题“有人去上课.” 可符号化为 (x)(P(x) →Q(x)) . 5.设个体域D ={a, b},那么谓词公式)()(y yB x xA ?∨?消去量词后的等值式为 (A(a) A(b)) (B(a) B(b)) . 6.设个体域D ={1, 2, 3},A(x)为“x 大于3”,则谓词公式(x)A(x) 的真值为 . 7.谓词命题公式(x)((A(x)B(x)) C(y))中的自由变元为 . 8.谓词命题公式(x)(P(x) Q(x) R(x ,y))中的约束变元为 X . 三、公式翻译题 1.请将语句“今天是天晴”翻译成命题公式. 1.解:设P :今天是天晴; 则 P . 2.请将语句“小王去旅游,小李也去旅游.”翻译成命题公式. 解:设P :小王去旅游,Q :小李去旅游, 则 PQ . 3.请将语句“如果明天天下雪,那么我就去滑雪”翻译成命题公式. 解:设P:明天天下雪 。 Q:我去滑雪 则 P Q . 4.请将语句“他去旅游,仅当他有时间.”翻译成命题公式. 7.解:设 P :他去旅游,Q :他有时间, 则 P Q . 5.请将语句 “有人不去工作”翻译成谓词公式. 11.解:设P(x):x 是人,Q(x):x 去工作,

北邮离散数学第一次阶段作业

北京邮电大学 离散数学 第一次阶段作业 判断题 1. 如果A∪B=B,则A?B。【答案:A】 A. 正确 B. 错误 2. 如果a∈A∪B,则a?A或a?B。【答案:B】 A. 正确 B. 错误 3. a∈{a,a}。【答案:A】 A. 正确 B. 错误 4.{?}是空集。【答案:B】 A. 正确 B. 错误 5.设ρ是集合A上的等价关系,则当a,b∈ρ时,aρ=bρ。【答案:A】 A. 正确 B. 错误 单项选择题 1. 设A={a,a},则下列各式中错误的是【答案:B】 A. a∈2A B. {a}?2A C. {a}∈2A D. {a}?2A 解:2A={?,a,a, a,a} 2. 下列各式中不正确的是【答案:C】 A. ??? B. ?∈{?} C. ??? D. ?∈{?,?} 3. 设ρ是集合A上的关系,则()不是ρ为反对称关系的充分必要条件【答案:D】 A. ρ是反对称关系 B. ρ∩ρ?i A C. 对任意x,y∈A,当x,y∈ρ且x≠y时y,x?ρ D. 对A的某两个元素x, y,当x,y,y,x∈ρ时有x=y 4. 设A,B,C是集合,ρ,μ分别是A到B,B到C的关系,x∈A,z∈C,则存在y∈B使得x,y∈ρ且y,z∈μ是x,z∈ρ°μ的()条件【答案:C】 A. 充分而非必要 B. 必要而非充分 C. 充分必要

D. 既非充分又非必要 5. 设A={0,b},B={1,b,3},则A∪B的恒等关系为【答案:A】 A.{0,0,1,1,b,b,3,3} B. {0,0,1,1,3,3} C. {0,0,b,b,3,3} D. {0,1,1,b,b,3,3,0}

《离散数学》第2次作业

一、填空题 1. 设A = {1, 2}, B = {2, 3}, 则A - A =________, A – B =________, B – A =________. 2. 设N 是自然数集合, f 和g 是N 到N 的函数, 且f (n ) = 2n +1,g (n ) = n 2, 那么复合函数(f f ) (n )=________ , (f g ) (n )=________ , (g f ) (n ) =________. 3. 设|X | = n , P (X )为集合X 的幂集, 则| P (X )| = ________. 在代数结构(P (X ), ∪)中,则P (X ) 对∪运算的单位元是________, 零元是________ . 4. 在下图中, _______________________________是其Euler 路 . 5. 设有向图G = (V , E ),V = {v 1,v 2,v 3,v 4},若G 的邻接矩阵A =???? ??????1001001111011010, 则v 1的出度deg +(v 1) =________, v 1的入度deg -(v 1) =________, 从v 2到v 4长度为2的路有________条. 二、单选题 1. 设A = {{1, 2, 3}, {4, 5}, {6, 7, 8}}, 下列选项正确的是( ) (A) 1∈A (B) {1, 2, 3}?A (C) {{4, 5}}?A (D) ?∈A . 2.集合A = {1, 2, …, 10}上的关系R ={(x , y )|x + y = 10, x , y ∈A }, 则R 的性质是 ( ) (A) 自反的 (B) 对称的 (C) 传递的、对称的 (D) 反自反的、传递的. 3.若R 和S 是集合A 上的两个关系,则下述结论正确的是( ) (A) 若R 和S 是自反的, 则R ∩S 是自反的 (B) 若R 和S 是对称的, 则R S 是对称的 (C) 若R 和S 是反对称的, 则R S 是反对称的 (D) 若R 和S 是传递的, 则R ∪S 是传递的. 4.集合A = {1, 2, 3, 4}上的关系 R = {(1, 4), (2, 3), (3, 1), (4, 3)}, 则下列不是..t (R )中元素的是( ) (A) (1, 1) (B) (1, 2) (C) (1, 3) (D) (1, 4). 5.设p :我们划船,q :我们跑步, 则有命题“我们不能既划船又跑步”符号化为( ) (A) ? p ∧? q (B) ? p ∨? q

离散数学(大作业)与答案

一、请给出一个集合A,并给出A上既具有对称性,又具有反对称性的关系。(10分)解:A={1,2} R={(1,1),(2,2)} 二、请给出一个集合A,并给出A上既不具有对称性,又不具有反对称性的关系。(10分)集合A={1,2,3} A上关系{<1,2>,<2,1>,<1,3>},既不具有对称性,又不具有反对称性 三、设A={1,2},请给出A上的所有关系。(10分) 答:A上的所有关系: 空关系,{<1,1>,<1,2>,<2,1>,<2,2>} {<1,1>} {<1,2>} {<2,1>} {<2,2>} {<1,1>,<1,2>} {<1,1>,<2,1>} {<1,1>,<2,2>} {<1,2>,<2,1>} {<1,2>,<2,2>} {<2,1>,<2,2>} {<1,1>,<1,2>,<2,1>} {<1,1>,<1,2>,<2,2>}

{<1,2>,<2,1>,<2,2>} {<1,1>,<2,1>,<2,2>} 四、设A={1,2,3},问A 上一共有多少个不同的关系。(10分) 设A={1,2,3},A 上一共有2^(3^2)=2^9=512个不同的关系。 五、证明: 命题公式G 是恒真的当且仅当在等价于它的合取范式中,每个子句均至少包含一个原子及其否定。(10分) 证明:设公式G 的合取范式为:G ’=G1∧G2∧…∧Gn 若公式G 恒真,则G ’恒真,即子句Gi ;i=1,2,…n 恒真 为其充要条件。 Gi 恒真则其必然有一个原子和它的否定同时出现在Gi 中,也就是说无论一个解释I 使这个原子为1或0 ,Gi 都取1值。 若不然,假设Gi 恒真,但每个原子和其否定都不同时出现在Gi 中。则可以给定一个解释I ,使带否定号的原子为1,不带否定号的原子为0,那么Gi 在解释I 下的取值为0。这与Gi 恒真矛盾。 因此,公式G 是恒真的当且仅当在等价于它的合取范式中,每个子句均至少包含一个原子及其否定。 六、若G=(P ,L)是有限图,设P(G),L(G)的元数分别为m ,n 。证明:n ≤2m C ,其中2m C 表 示m 中取2的组合数。(10分) 证明:如果G=(P,L)为完全图,即对于任意的两点u 、v (u ≠v ),都有一条边uv ,则此时对于元数为m 的P(G),L(G)的元数取值最大为C m 2。因此,若G=(P,L)为一有限图,设P(G)的元数为m ,则有L(G)

北邮离散数学期末复习资料题1

离散数学期末复习题 第一章集合论 一、判断题 (1)空集是任何集合的真子集. ( 错 ) (2){ }φ是空集. ( 错 ) (3){}{ }a a a },{∈ ( 对 ) (4)设集合{}{}{}{}A A 22,1,2,1,2,1?=则. ( 对 ) (5)如果 B A a ??,则A a ?或B a ?. ( 错 ) 解 B A a ??则B A B A a ?=?∈,即A a ∈且B a ∈,所以A a ?且B a ? (6)如果A ∪.,B A B B ?=则 ( 对 ) (7)设集合},,{321a a a A =,},,{321b b b B =,则 },,,,,{332211><><><=?b a b a b a B A ( 错 ) (8)设集合}1,0{=A ,则}1},0{,0},0{,1,,0,{><><><><=φφρ是A 2到A 的关系. ( 对 ) 解 A 2}},1{},0{,{A φ=, =?A A 2}1,,0,,1},1{,0},1{,1},0{,0},0{,1,,0,{><><><><><><><>

2013年4月考试离散数学第二次作业

2013年4月考试离散数学第二次作业 一、单项选择题(本大题共50分,共 25 小题,每小题 2 分) 1. 下列语句中为命题的是() A. 暮春三月,江南草长. B. 这是多么可爱的风景啊! C. 大家想做什么,就做什么,行吗? D. 请勿践踏草地! 2. 2.设G是n个顶点的无向简单图,则下列说法不正确的是() A. 若G是树,则其边数等于n-1 B. 若G是欧拉图,则G中必有割边 C. 若G中有欧拉路,则G是连通图,且有零个或两个奇度数顶点 D. 若G中任意一对顶点的度数之和大于等于n-1,则G中有汉密尔顿路 3. 集合|A|=3,|B|=2,则A B上不同的函数个数为()。 A. 3+2个 B. 32个 C. 2*3个 D. 23个 4. 设A-B=φ,则以下正确的是()。 A. A=B B. A?B C. B?A D. 以上都不对 5. 设R为实数集,函数f:R→R,f(x)=2x,则f是() A. 满射函数 B. 入射函数 C. 双射函数 D. 非入射非满射 6. 设B={a,b,c},C={1,2,3,4},以下哪个关系是从B到C的单射函数?() A. f={<1,8>,<3,9>,<4,10>,<2,6>,<5,7>} B. f={<1,7>,<2,6>,<4,8>,<1,9>,<5,10>} C. f={<1,7>,<2,7>,<4,9>,<3,8>} D. f={<1,10>,<5,9>,<3,6>,<4,6>,<2,8>} E. f={<1,7>,<5,10>,<2,6>,<4,8>,<3,9>} 7. 下述*运算为实数集上的运算,其中可交换且可结合的运算是()。 A. a*b=a+2b B. a*b=a+b-ab C. a*b=a D. a*b=|a+b| 8. 在下列命题中,为真的命题是() A. 汉密顿图一定是欧拉图 B. 无向完全图都是欧拉图 C. 度数为奇数的结点个数为0个或2个的连通无向图G可以一笔画出 D. 有割点的连通图是汉密顿图 9. 设p:小李努力学习,q:小李取得好成绩,命题“只有小李努力学习,他才能取得好成绩”的符号化形式为()。 A. B. C.

北邮-离散数学-第三阶段作业 答案

第三阶段 一、判断题(共5道小题,共50.0分) 1. 设图G是连通的,则任意指定G的各边方向后所得的有向图是弱连通的 A. 正确 B. 错误 知识点: 无向图和有向图 学生答案: [A;] 得分: [10] 试题分值: 10.0 提示: 2. 3. n阶完全图的任意两个不同结点的距离都为1 A. 正确 B. 错误 知识点: 无向图和有向图 学生答案: [A;] 得分: [10] 试题分值: 10.0 提示: 4. 5. 设都是命题公式,则也是命题公式 A. 正确 B. 错误 知识点: 命题逻辑 学生答案: [B;] 得分: [10] 试题分值: 10.0 提示: 6. 7. “如果8+7>2,则三角形有四条边”是命题 A. 正确 B. 错误

知识点: 命题逻辑 学生答案: [A;] 得分: [10] 试题分值: 10.0 提示: 8. 9. 设都是谓词公式,,则是永真式 A. 正确 B. 错误 知识点: 一阶逻辑 学生答案: [A;] 得分: [10] 试题分值: 10.0 提示: 10. 二、单项选择题(共5道小题,共50.0分) 1. 设D是有向图,则D强连通的充分必要条件为 A. 略去D中各边方向后所得到的无向图是连通的 B. D是单向连通图,且改变它的各边方向后所得到的有向图也是单向连通图 C. D的任意两个不同的结点都可以相互到达 D. D是完全图 知识点: 无向图和有向图 学生答案: [C;] 得分: [10] 试题分值: 10.0 提示: 2. 3. 图和的结点和边分别存在一一对应关系是(同构)的 A. 充分条件 B. 必要条件 C. 充分必要条件 D. 既不充分也不必要条件 知识点: 无向图和有向图

中石油北京19春《离散数学》第二次在线作业

------------------------------------------------------------------------------------------------------------------------------ 1.(2.5分)代数系统是指由集合及其上的一元或二元运算符组成的系统 正确 错误 正确答案: 2.(2.5分)设< L,*1,*2> 是代数系统,其中是*1,*2二元运算符,如果*1,*2都满足交换律、结合律,并且*1和*2满足吸收律,则称< L,*1,*2> 是格 正确 错误 正确答案: 3.(2.5分)对实数的普通加法和乘法,0是加法的幂等元,1是乘法的幂等元 正确 错误 正确答案: 4.(2.5分)零元是不可逆的 正确 错误 正确答案: 5.(2.5分)群中每个元素的逆元都是惟一的 正确 错误 正确答案: 6.(2.5分)设a,b,c是阿贝尔群< G,+> 的元素,则-(a+b+c)=(-a)+( -b)+( -c) 正确 错误 正确答案: 7.(2.5分) < {0,1,2,3,4},MAX,MIN> 是格 正确 错误 正确答案: 8.(2.5分)一个图的哈密尔顿路是一条通过图中所有结点一次且恰好一次的路 正确 错误 正确答案: 9.(2.5分)在有向图中,结点v的出度deg+(v)表示以v为起点的边的条数,入度deg-(v)表示以v为终点的边的条数 正确 错误 正确答案: 10.(2.5分)一个图的欧拉回路是一条通过图中所有边一次且恰好一次的回路 正确 错误 正确答案: 11.(2.5分)不含回路的连通图是树

离散数学作业答案完整版

离散数学作业答案 HEN system office room 【HEN16H-HENS2AHENS8Q8-HENH1688】

离散数学集合论部分形成性考核书面作 业 本课程形成性考核书面作业共3次,内容主要分别是集合论部分、图论部分、数 理逻辑部分的综合练习,基本上是按照考试的题型(除单项选择题外)安排练习题 目,目的是通过综合性书面作业,使同学自己检验学习成果,找出掌握的薄弱知识 点,重点复习,争取尽快掌握。本次形考书面作业是第一次作业,大家要认真及时地 完成集合论部分的综合练习作业。 要求:将此作业用A4纸打印出来,手工书写答题,字迹工整,解答题要有解答 过程,要求本学期第11周末前完成并上交任课教师(不收电子稿)。并在03任务界 面下方点击“保存”和“交卷”按钮,完成并上交任课教师。 一、填空题 1.设集合{1,2,3},{1,2} ==,则P(A)- A B P(B )={{3},{1,3},{2,3},{1,2,3}},A? B={<1,1>,<1,2>,<2,1>,<2,2>,<3,1>,<3,2>} . 2.设集合A有10个元素,那么A的幂集合P(A)的元素个数为 1024 . 3.设集合A={0, 1, 2, 3},B={2, 3, 4, 5},R是A到B的二元关系, 则R的有序对集合为{<2,2>,<2,3>,<3,2>,<3,3>} . 4.设集合A={1, 2, 3, 4 },B={6, 8, 12},A到B的二元关系 R=} ∈ y x∈ y < > = {B , , x , 2 y A x 那么R-1={<6,3>,<8,4>} 5.设集合A={a, b, c, d},A上的二元关系R={, , , },则R具有的性质是没有任何性质. 6.设集合A={a, b, c, d},A上的二元关系R={, , , },若在R中再增加两个元素{,} ,则新得到的关系就具有对 称性. 7.如果R1和R2是A上的自反关系,则R1∪R2,R1∩R2,R1-R2中自反关系有 2 个. 8.设A={1, 2}上的二元关系为R={|x?A,y?A, x+y =10},则R的自反闭 包为 {<1,1>,<2,2>} . 9.设R是集合A上的等价关系,且1 , 2 , 3是A中的元素,则R中至少包含 <1,1>,<2,2>,<3,3> 等元素. 10.设集合A={1, 2},B={a, b},那么集合A到B的双射函数是 {<1,a>,<2,b>}或{<1,b>,<2,a>} . 二、判断说明题(判断下列各题,并说明理由.)

北邮离散数学期末复习题

北邮离散数学期末复习题 第一章集合论 一、判断题 (1)空集是任何集合的真子集. ( 错 ) (2){ }φ是空集. ( 错 ) (3){}{ }a a a },{∈ ( 对 ) (4)设集合{}{}{}{}A A 22,1,2,1,2,1?=则. ( 对 ) (5)如果 B A a ??,则A a ?或B a ?. ( 错 ) 解 B A a ??则B A B A a ?=?∈,即A a ∈且B a ∈,所以A a ?且B a ? (6)如果A ∪.,B A B B ?=则 ( 对 ) (7)设集合},,{321a a a A =,},,{321b b b B =,则 },,,,,{332211><><><=?b a b a b a B A ( 错 ) (8)设集合}1,0{=A ,则}1},0{,0},0{,1,,0,{><><><><=φφρ是A 2到A 的关系. ( 对 ) 解 A 2}},1{},0{,{A φ=, =?A A 2}1,,0,,1},1{,0},1{,1},0{,0},0{,1,,0,{><><><><><><><>

离散数学作业 (2)

离散数学作业布置 第1次作业(P15) 1.16 设p、q的真值为0;r、s的真值为1,求下列各命题公式的真值。 解:(1)p∨(q∧r)=0∨(0∧1)=0 (2)(p?r)∧(﹁q∨s)=(0?1)∧(1∨1)=0∧1 =0 (3)(﹁p∧﹁q∧r)?(p∧q∧﹁r)=(1∧1∧1)? (0∧0∧0)=0 (4)(r∧s)→(p∧q)=(0∧1)→(1∧0)=0→0=1 1.17 判断下面一段论述是否为真:“π是无理数。并且,如果3是无理数,则2 也是无理数。另外只有6能被2整除,6才能被4整除。” 解:p: π是无理数 1 q: 3是无理数0 r: 2是无理数 1 s:6能被2整除 1 t: 6能被4整除0 命题符号化为:p∧(q→r)∧(t→s)的真值为1,所以这一段的论述为真。 1.19 用真值表判断下列公式的类型: (4)(p→q) →(﹁q→﹁p) (5)(p∧r) ? (﹁p∧﹁q) (6)((p→q) ∧(q→r)) →(p→r) 解:(4) p q p→q q p q→p (p→q)→( q→p) 0 0 1 1 1 1 1 0 1 1 0 1 1 1 1 0 0 1 0 0 1 1 1 1 0 0 1 1 所以公式类型为永真式,最后一列全为1 (5)公式类型为可满足式(方法如上例),最后一列至少有一个1 (6)公式类型为永真式(方法如上例,最后一列全为1)。 第2次作业(P38) 2.3 用等值演算法判断下列公式的类型,对不是重言式的可满足式,再用真值表法求出成真赋值. (1) ﹁(p∧q→q) (2)(p→(p∨q))∨(p→r) (3)(p∨q)→(p∧r) 解:(1) ﹁(p∧q→q) ?﹁(﹁(p∧q) ∨q) ?(p∧q) ∧﹁q?p∧(q ∧﹁q) ? p∧0 ?0 所以公式类型为矛盾式 (2)(p→(p∨q))∨(p→r) ? (﹁p∨(p∨q))∨(﹁p∨r) ?﹁p∨p∨q∨r?1 所以公式类型为永真式 (3) (p∨q) → (p∧r) ?¬(p∨q) ∨ (p∧r) ? (¬p∧¬q) ∨(p∧r) 易见, 是可满足式, 但不是重言式. 成真赋值为: 000,001, 101, 111

离散数学作业答案

第一章 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规则 第五章

北邮离散数学-阶段作业一二三

阶段作业一 一、判断题(共5道小题,共50.0分) 1. 命题公式的真值分别为0,1,则的真值为0 A. 正确 B. 错误 知识点: 命题逻辑 学生答案: [A;] 得分: [10] 试题分值: 10.0 提示: 2. 设P,Q都是命题公式,则 A. 正确 B. 错误 知识点: 命题逻辑 学生答案: [A;] 得分: [10] 试题分值: 10.0 提示: 3. 空集是任何集合的真子集. A. 正确 B. 错误 知识点: 集合 学生答案: [B;] 得分: [10] 试题分值: 10.0 提示: 4.设为集合上的等价关系, 则 A. 正确 B. 错误

学生答案: [B;] 得分: [10] 试题分值: 10.0 提示: 5.设为集合上的等价关系, 则也是集合上的等价关系 C. 正确 D. 错误 知识点: 关系 学生答案: [A;] 得分: [10] 试题分值: 10.0 提示: 二、单项选择题(共5道小题,共50.0分) 1. 下面哪个联结词不可交换 A. B. C. D. 知识点: 命题逻辑 学生答案: [B;] 得分: [10] 试题分值: 10.0 提示: 2. 下列各式中不正确的是 A. B. C. D.

学生答案: [C;] 得分: [10] 试题分值: 10.0 提示: 3. 设为集合,若,则一定有 A. B. C. D. 知识点: 集合 学生答案: [C;] 得分: [10] 试题分值: 10.0 提示: 4. 设为集合上的等价关系,对任意,其等价类为 A. 空集 B. 非空集 C. 是否为空集不能确定 D. 知识点: 关系 学生答案: [B;] 得分: [10] 试题分值: 10.0 提示: 5. 设A,B是集合,则下列说法中()是正确的. A. A到B的关系都是A到B的映射 B. A到B的映射都是可逆的 C. A到B的双射都是可逆的 D. 时必不存在A到B的双射

电大离散数学作业答案作业答案

离散数学作业5 离散数学图论部分形成性考核书面作业 本课程形成性考核书面作业共3次,内容主要分别是集合论部分、图论部分、数理逻辑部分的综合练习,基本上是按照考试的题型(除单项选择题外)安排练习题目,目的是通过综合性书面作业,使同学自己检验学习成果,找出掌握的薄弱知识点,重点复习,争取尽快掌握。本次形考书面作业是第二次作业,大家要认真及时地完成图论部分的综合练习作业。 要求:将此作业用A4纸打印出来,手工书写答题,字迹工整,解答题要有解答过程,要求2010年12月5日前完成并上交任课教师(不收电子稿)。并在05任务界面下方点击“保存”和“交卷”按钮,以便教师评分。 一、填空题 1.已知图G 中有1个1度结点,2个2度结点,3个3度结点,4个4度结点,则G 的边数是 15 . 2.设给定图G (如右由图所示),则图G 的点割集是 {}f {}c e ,. 3.设G 是一个图,结点集合为V ,边集合为E ,则 G 的结点 度数之和 等于边数的两倍. 4.无向图G 存在欧拉回路,当且仅当G 连通且 不含奇数度结点 . 5.设G=是具有n 个结点的简单图,若在G 中每一对结点度数 之和大于等于︱V ︱ ,则在G 中存在一条汉密尔顿回路. 6.若图G=中具有一条汉密尔顿回路,则对于结点集V 的每个非空子集S ,在G 中删除S 中的所有结点得到的连通分支数为W ,则S 中结点数|S|与W 满足的关系式为 S W ≤ . 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 不是欧拉图而是汉密尔顿图. 答:正确。因为有4个结点的度数为奇数,所以不是欧拉图;而对于图中任意点集V 中的非空子集1V ,都有)(1V G P -??V 1?。其中)(1V G P -是从图中删除1V 结点及其关联的边。 4.设G 是一个有7个结点16条边的连通图,则G 为平面图. 答:错误。若G 是连通平面图,那么若63,3-≤≥v e v 就有, 而16>3×7-6,所以不满足定理条件,叙述错误。 5.设G 是一个连通平面图,且有6个结点11条边,则G 有7个面. 姓 名: 学 号: 得 分: 教师签名: G

北邮离散数学第一次阶段作业

一、判断题(共5道小题,共50.0分) 1. 如果,则或. A. 正确 B. 错误 知识点: 集合 学生答案: [B;] 得分: [10] 试题分值: 10.0 提示: 2. 是空集. A. 正确 B. 错误 知识点: 集合 学生答案: [B;] 得分: [10] 试题分值: 10.0 提示: 3. 设为集合上的等价关系, 则 A. 正确 B. 错误 知识点: 关系 学生答案: [B;] 得分: [10] 试题分值: 10.0 提示: 4. 设集合,则是到的关系

A. 正确 B. 错误 知识点: 关系 学生答案: [A;] 得分: [10] 试题分值: 10.0 提示: 5. 设集合,,则 A. 正确 B. 错误 知识点: 关系 学生答案: [B;] 得分: [10] 试题分值: 10.0 提示: 6. 二、单项选择题(共5道小题,共50.0分) 1. 设为实数集合,下列集合中哪一个不是空集 A. B. C. D. 知识点: 集合 学生答案: [A;] 得分: [10] 试题分值: 10.0 提示:

2. 设是集合A上的关系,则()不是为反对称关系的充分必要条件. A. 是反对称关系 B. ∩ C. 对任意 D. 对A的某两个元素 知识点: 关系 学生答案: [D;] 得分: [10] 试题分值: 10.0 提示: 3. 设为集合上的等价关系,对任意,其等价类为 A. 空集 B. 非空集 C. 是否为空集不能确定 D. 知识点: 关系 学生答案: [B;] 得分: [10] 试题分值: 10.0 提示: 4. 设,,则的恒等关系为 A. B.

离散数学作业标准答案

离散数学作业 一、选择题 1、下列语句中哪个就是真命题(C )。 A.我正在说谎。 B.如果1+2=3,那么雪就是黑色的。 C.如果1+2=5,那么雪就是白色的。 D.严禁吸烟! 2、设命题公式))((r q p p G →∧→=,则G 就是( C )。 A 、 恒假的 B 、 恒真的 C 、 可满足的 D 、 析取范式 3、谓词公式),,(),,(z y x yG x z y x F ??→中的变元x ( C )。 A.就是自由变元但不就是约束变元 B.既不就是自由变元又不就是约束变元 C.既就是自由变元又就是约束变元 D.就是约束变元但不就是自由变元 4、设A={1,2,3},则下列关系R 不就是等价关系的就是(C ) A.R={<1,1>,<2,2>,<3,3>} B.R={<1,1>,<2,2>,<3,3>,<2,3>,<3,2>} C.R={<1,1>,<2,2>,<3,3>,<1,4>} D.R={<1,1>,<2,2>,<3,3>,<1,2>,<1,3>,<2,3>,<2,1>, <3,1>,<3,2>} 5、设R 为实数集,映射σ=R →R,σ(x)= -x 2+2x-1,则σ就是( D )。 A.单射而非满射 B.满射而非单射 C.双射 D.既不就是单射,也不就是满射 6、下列二元运算在所给的集合上不封闭的就是( D ) A 、 S={2x-1|x ∈Z +},S 关于普通的乘法运算 B 、 S={0,1},S 关于普通的乘法运算 C 、 整数集合Z 与普通的减法运算 D 、 S={x | x=2n ,n ∈Z +},S 关于普通的加法运算 7、*运算如下表所示,哪个能使({a,b},*)成为含幺元半群( D ) b b b a a a b a * a b b b a a b a * 8( A )

离散数学 作业及答案

2011-2012学年第一学期离散数学作业及参考答案---信息安全10级5-1 1.利用素因子分解法求2545与360的最大公约数。 解:掌握两点:(1) 如何进行素因子分解 从最小素数2的素数去除n。 (2) 求最大公约数的方法 gcd(a,b) = p1min(a1,b1)p2min(a2,b2)pn min(an,bn) 360=2332515090 2545=2030515091 gcd(2545,360) =2030515090=5 2.求487与468的最小公倍数。 解:掌握两点:(1) 如何进行素因子分解 从最小素数2的素数去除n。 (2) 求最小公倍数的方法 lcm(a,b) = p1max(a1,b1)p2max(a2,b2)pn max(an,bn) ab=gcd(a, b)﹡lcm (a, b) 487是质数,因此gcd(487,468)=1 lcm(487,468)= (487*468)/1=487*468=227916 3.设n是正整数,证明:6|n(n+1)(2n+1) 证明:用数学归纳法: 归纳基础:当n=1时,n(n+1)(2n+1)=1*2*3=6,6|6 归纳假设:假设当n=m时,6|m(m+1)(2m+1) 归纳推导:当n=m+1时, n(n+1)(2n+1)=(m+1)(m+1+1)[2(m+1)+1] =(m+1)(m+2)(2m+3) = m(m+1)(2m+3)+2(m+1)(2m+3) = m(m+1)(2m+1+2)+2(m+1)(2m+3) = m(m+1)(2m+1)+2 m(m+1)+ 2(m+1)(2m+3) = m(m+1)(2m+1)+ 2(m+1)(m+2m+3) = m(m+1)(2m+1)+ 2(m+1)(3m+3) = m(m+1)(2m+1)+ 6(m+1)2 因为由假设6|m(m+1)(2m+1)成立。 而6|6(m+1)2 所以6|m(m+1)(2m+1)+ 6(m+1)2 故当n=m+1时,命题亦成立。 所以6| n(n + 1)(2n + 1) 5-2 1 已知 6x ≡7 (mod 23),下列式子成立的是( D ): A. x ≡7 (mod 23) B. x ≡8 (mod 23) C. x ≡6 (mod 23) D. x ≡5 (mod 23) 2 如果a ≡b (mod m) , c是任意整数,则(A ):

离散数学第三次在线作业

第三次在线作业 1.( 2.5分)不能再分解的命题称为原子命题,至少包含一个联结词的命题称为复合命题 ?正确 ?错误 我的答案:正确此题得分:2.5分 2.(2.5分)命题是能够表达判断(分辩其真假)的陈述语句 ?正确 ?错误 我的答案:正确此题得分:2.5分 3.(2.5分)一个命题可赋予一个值,称为真值 ?正确 ?错误 我的答案:正确此题得分:2.5分 4.(2.5分)复合命题是由连结词、标点符号和原子命题复合构成的命题 ?正确 ?错误 我的答案:正确此题得分:2.5分 5.(2.5分)在条件命题P→Q中,命题P称为P→Q的前件或前提,命题Q称为P→Q的后件或结论 ?正确 ?错误 我的答案:正确此题得分:2.5分

6.(2.5分)给定一个命题,若无论对分量作怎样的指派,其对应的真值永远为T,则称该 命题公式为重言式或永真公式 ?正确 ?错误 我的答案:正确此题得分:2.5分 7.(2.5分)给定一个命题,若无论对分量作怎样的指派,其对应的真值永远为F,则称该命题公式为矛盾式或永假公式 ?正确 ?错误 我的答案:正确此题得分:2.5分 8.(2.5分)任何两个重言式的合取或析取仍然是一个重言式 ?正确 ?错误 我的答案:正确此题得分:2.5分 9.(2.5分)一个命题称为合取范式,当且仅当它具有如下的形式: A1∧A2∧…∧An,(n≥1)其中A1A2…An都是由命题变元或其否定所组成的析取式 ?正确 ?错误 我的答案:正确此题得分:2.5分 10.(2.5分)一个命题称为析取范式,当且仅当它具有如下的形式: A1∨A2∨ … ∨An,(n≥1)其中A1A2…An都是由命题变元或其否定所组成的合取式 ?正确

离散数学第二次作业

第二次作业 1、使用包含排斥原理求在1~10000之间(包括1和10000在内)不能被4、5、6 整除的整数有多少个?(见书P107 24) 解:|A|=[10000/4]=2500 |B|=[10000/5]=2000 |C|=[10000/6]=1666 |A∩ B|=[1000/lcm(4,5)]=[10000/20]=500 |A∩ C|=[1000/lcm(4,6)]=[10000/12]=833 |B∩ C|=[1000/lcm(5,6)]=[10000/30]=333 |A∩ B ∩ C|=[1000/lcm(4,5,6)]=[10000/60]=166 |ˉA ∩ˉB ∩ˉC|=|S|-(|A|+|B|+|C|)+(|A∩ B|+|A∩ C|+|B∩ C|)-|A∩ B ∩ C| =10000-(2500+2000+1666) +(500+833+333) -166=5334 2、证明下列集合恒等式:(见书P108 33) (1)A∩(B∪~A)= B∩A 证对任意的X ,有 X ∈A ∩(B ∪~A) ?x ∈A ∧X ∈(B ∪~A) ?X ∈A ∧(X ∈B ∨X ∈~A) ?X ∈A ∧(X ∈B ∨X ? A ) ?X ∈A ∧(X ∈B ∨?X ∈A ) ?X ∈A ∧X ∈B ?A ∩B ?B ∩A 所以 A ∩(B ∪~A) = B∩

(2)~((~A∪~B)∩~A)=A 证~((~A∪~B)∩~A) =(~A∪~B)∩~A双重否定律 = ~A吸收律 =A双重否定律 3、设A={<1,2>,<2,4>,<3,3>} B={<1,3>,<2,4>,<4,2>} 求A∪B,A∩B,domA,domB,dom(A∪B),ranA,ranB, ran(A∩B), fld(A-B) A ∪B={<1,2>,<2,4>,<3,3>, <1,3>,<4,2>} A ∩B={<2,4>} A-B={<1,2>, <3,3>, <1,3>, <4,2>} domA={1,2,3} domB={1,2,4} dom (A ∪B ) ={1,2,3,4} ranA={2,4,3} ranB={3,4,2} ran(A∩B)={4} fld(A-B)={1,2,3,4} 4、设A={a,b,c,d}, R1, R2为A上的关系,其中 R1={,,} R2={,,,} 求R1? R2,R2? R1,R12,R23 (见书P140 16) 解: R1? R2={,,} R2? R1={} R12= R1?R1{,,} R22= R2? R2={,,} R23= R2? R22={,,}

相关主题
文本预览
相关文档 最新文档