离散数学新
最新国家开放大学电大《离散数学》形考任务1试题及答案

最新国家开放大学电大《离散数学》形考任务1试题及答案最新国家开放大学电大《离散数学》形考任务1试题及答.形考任务1(集合论部分概念及性质)单项选择.题目.若集合A=.a, {a}, {1, 2}}, 则下列表述正确的是().选择一项:A.{a, {a}}.B..C.{1, 2..D.{a..题目.设函数f: N→N, f(n)=n+1, 下列表述正确的是.).选择一项: A.f是满射.B.f存在反函.C.f是单射函.D.f是双射.题目.设集合A={1, 2, 3, 4, 5}, 偏序关系是A上的整除关系, 则偏序集<A, >上的元素5是集合A的.).选择一项:A.极小.B.极大.C.最大.D.最小.题目.设A={a, b}, B={1, 2}, C={4, 5}, 从A到B的函数f={<a,1>.<b, 2>}, 从B到C的函数g={<1, 5>.<2, 4>}, 则下列表述正确的是.).选择一项:A.g..={<a, 5>.<b, 4>.B.g..={<5, .>.<4, .>.C.f°.={<5, .>.<4, .>.D.f°.={<a, 5>.<b, 4>.题目.集合A={1.2.3.4}上的关系R={<x, y>|x=y且x.yA}, 则R的性质为.).选择一项:A.传递.B.不是对称.C.反自.D.不是自反.题目.设集合..{1..}, 则P(A...).选择一项:A.{{1}.{a}.{1..}.B.{{1}.{a}.C.{,{1}.{a}.D.{,{1}.{a}.{1..}.题目.若集合A={1, 2}, B={1, 2, {1, 2}},则下列表述正确的是.).选择一项:A.AB, 且A.B.AB, 且A.C.BA, 且A.D.AB, 且A.题目.设集合A={1.2.3}, B={3.4.5}, C={5.6.7},则A∪B–.=.).选择一项:A.{1.2.3.4.B.{4.5.6.7.C.{2.3.4.5.D.{1.2.3.5.题目.设集合..{1.2.3.4.5}上的偏序关系的哈斯图如右图所示, 若A的子集..{3.4.5}, 则元素3为B的.).选择一项:A.最小上.B.下.C.最大下.D.最小.题目1.如果R1和R2是A上的自反关系, 则R1∪R2, R1∩R2, R1-R2中自反关系有.)个.选择一项:A..B..C..D..以下资料为赠送资料:《滴水之中见精神》主题班会教案活动目的: 教育学生懂得“水”这一宝贵资源对于我们来说是极为珍贵的, 每个人都要保护它, 做到节约每一滴水, 造福子孙万代。
最新离散数学参考答案--古天龙-常亮-版

数理逻辑
第三篇之抽象代数
2003年,上海市总人口达到1464万人,上海是全国第一个出现人口负增长的地区。
众上所述,我们认为:我们的创意小屋计划或许虽然会有很多的挑战和困难,但我们会吸取和借鉴“漂亮女生”和“碧芝”的成功经验,在产品的质量和创意上多下工夫,使自己的产品能领导潮流,领导时尚。在它们还没有打入学校这个市场时,我们要巩固我们的学生市场,制作一些吸引学生,又有使学生能接受的价格,勇敢的面对它们的挑战,使自己立于不败之地。第四篇之图论
据介绍,经常光顾“碧芝”的都是些希望得到世界上“独一无二”饰品的年轻人,他们在琳琅满目的货架上挑选,然后亲手串连,他们就是偏爱这种DIY的方式,完全自助。
10元以下□ 10~50元□ 50~100元□ 100元以上□
2、你大部分的零用钱用于何处?
当然,在竞争日益激烈的现代社会中,创业是件相当困难的事。我们认为,在实行我们的创业计划之前,我们首先要了解竞争对手,吸取别人的经验教训,制订相应竞争的策略。我相信只要我们的小店有自己独到的风格,价格优惠,服务热情周到,就一定能取得大多女孩的信任和喜爱。
(二)DIY手工艺品的“热卖化”
500元以上 1பைடு நூலகம் 24%
一、 消费者分析
标题:大学生“负债消费“成潮流 2004年3月18日
最新离散数学题库及答案

数理逻辑部分选择、填空及判断✓下列语句不是命题的( A )。
(A) 你打算考硕士研究生吗? (B) 太阳系以外的星球上有生物。
(C) 离散数学是计算机系的一门必修课。
(D) 雪是黑色的。
✓命题公式P→(P∨⌝P)的类型是( A )(A) 永真式(B) 矛盾式(C) 非永真式的可满足式(D) 析取范式✓A是重言式,那么A的否定式是( A )A. 矛盾式B. 重言式C. 可满足式D.不能确定✓以下命题公式中,为永假式的是( C )A. p→(p∨q∨r)B. (p→┐p)→┐pC. ┐(q→q)∧pD. ┐(q∨┐p)→(p∧┐p)✓命题公式P→Q的成假赋值是( D )A. 00,11B. 00,01,11C.10,11D. 10✓谓词公式)xxP∧∀中,变元x是 ( B )R(,x)(yA. 自由变元B. 既是自由变元也是约束变元C. 约束变元D. 既不是自由变元也不是约束变元✓命题公式P→(Q∨⌝Q)的类型是( A )。
(A) 永真式 (B) 矛盾式(C) 非永真式的可满足式 (D) 析取范式✓设B不含变元x,)Ax→x∃等值于( A ))((BA. B( D. B∃)xA→x∃)((∃ C. Bx∧Ax( B. )∀)xA→xx∨)A(x(B✓下列语句中是真命题的是( D )。
A.你是杰克吗? B.凡石头都可练成金。
C.如果2+2=4,那么雪是黑的。
D.如果1+2=4,那么雪是黑的。
✓从集合分类的角度看,命题公式可分为( B )A. 永真式、矛盾式B. 永真式、可满足式、矛盾式C. 可满足式、矛盾式D. 永真式、可满足式✓命题公式﹁p∨﹁q等价于( D )。
A. ﹁p∨qB. ﹁(p∨q)C. ﹁p∧qD. p→﹁q✓一个公式在等价意义下,下面写法唯一的是( D )。
(A) 范式 (B) 析取范式 (C) 合取范式 (D) 主析取范式✓下列含有命题p,q,r的公式中,是主析取范式的是( D )。
离散数学及应用

强连通与弱连通
在有向图中,如果任意两个节点 之间都有路径,则称图是强连通 的;在无向图中,如果任意两个 节点之间都有路径,则称图是弱 连通的。
最短路径问题
问题描述
Dijkstra算法
在一个图中,找到两个节点之间的最短路 径。
用于在有向图中找到单源最短路径。
Bellman-Ford算法
Floyd-Warshall算法
离散数学中的图论、集合论等在土木工程中用于描述和分析建
筑结构、道路网络等。
经济学中的应用
决策分析
离散数学中的概率论、统计决策理论等在经济学中用于决策分析,如风险评估、效用函数等。
博弈论
离散数学中的博弈论在经济学中用于研究竞争和策略行为,如寡头竞争、拍卖理论等。
THANKS
感谢观看
归纳推理
从特殊到一般的推理 方式,即从个别性前 提推出一般性结论的 推理。
推理规则
在逻辑推理中需要遵 循的规则,如“假言 推理”、“拒取式” 、“析取三段论”等 。
逻辑谬误
在逻辑推理中需要避 免的错误,如“偷换 概念”、“循环论证 ”等。
05
离散概率论
离散随机事件
01
定义
离散随机事件是样本空间中有限 或可数的子集,通常表示为E、F 、G等。
03
图论
图的基本概念
01 节点
图中的顶点称为节点。
03 边
连接两个节点的线段称为
边。
02 定向图与无向图
边是否有方向决定了图的
定向或无向性。
04 权重
某些边可以带有数值,表
示某种度量或权重。
图的连通性
连通性
如果图中的任意两个节点之间都 存在路径,则称图是连通的。
最新离散数学课件第三章集合与关系-2精品文档

逆关系
定义3-7.2 设R是A到B的二元关系,则R的逆是B到A 的二元关系,记为Rc,其中Rc ={<y,x>|<x,y>R}。
注 :(1)xRyyRcx (2)互换R的关系矩阵的行和列,即得Rc的
关系矩阵。 即 MRc=MRT
(3)颠倒R的关系图中每条弧线的箭头方向, 即得Rc的关系图。
逆关系举例
发用一条规则推出一串字符,使其第一个字符恰为 xj 。说明每个字母连续应用上述规则可能推出的 头字符。
闭包运算的性质
设R为集合X上的任一二元关系,那么 a)rs(R)=sr(R) 自反对称闭包等于对称自反闭包 b)tr(R)=rt(R) 传递自反闭包等于自反传递闭包 c)ts(R)st(R) 传递对称闭包包含对称传递闭包
证明 rs(R)=sr(R)
证:
rs(R)= r(s(R))
= r(R∪Rc)
= Ix∪R∪Rc = Ix∪R∪Rc∪Ix = (Ix∪R)∪(Rc∪Ixc) = (Ix∪R)∪(R∪Ix)c = s(Ix∪R) = sr(R)
证明 rt(R)=tr(R)
证:rt(R) = r(R∪R2∪…) = IX∪R∪R2∪…
对最小元素极小元素和最大下界也存在类似的关系来说它的逆p也是一个偏序集的p中的最大元素极大元素上界最小上界是p中的最小元素极小元素下界最大下界反之亦然
离散数学课件第三章集合与关 系-2
复合关系举例
例:A={1,2,3,4},B={3,5,7},C={1,2,3} R={<2,7>,<3,5>,<4,3>},S={<3,3>,<7,2>} 则 R◦S={<2,2>,<4,3>} 如图所示:
离散数学第3章_(1-6)(新教材)(1)

注: J恰好是全体n位二进制数,也就是集合 {0,1,2,…, 2 n 1} 的二进制表示.
第三节 集合的运算
1. 集合的并
定义3.1 A和B是集合, 所有属于A或属于B 的元素组成的集合S, 称为A和B的并集, 记作 AB, 即, S=AB={x |(xA)(xB)}
A AB AB B
A
例如, 设全集E为整数集合Z, O为奇数集合, 则 为偶数集合, A
定理3.3(补与差的性质) (1)A-B=A B , (2)A-B=A-(AB) (3) A =E, A = A A
(4)
A
=A,
,
(5) E , E
(6)
A E A
定义1.1(集合相等的定义): 两个集合A和B是相等的, 当且仅当A和B有相同的元素, 记作A=B; 集合A与 集合B不相等,记作AB;
例如上面例1中的(1)和(2)中的两个集合S和T, 不难 看出它们实际上是两个相同的集合,也即有S=T. 再看上面例1中的(3),根据数论中著名的 Lagrange四平方定理(该定理的结论是:每个自然数 都可以表示成四个整数的平方数之和)可以看出:这 个例子中的集合W与全体自然数组成的集合N也是 相等的集合。
定义2.2(幂集) 假设A是一个给定的集合, 将集合A的每 个子集看成一个元素,则集合A的所有子集为元素所作成的 新的集合称为集合A的幂集,记为(A). 例1.求空集的幂集. 解由于空集只有一个子集,也就是空集自己,从而它的 幂集为 ()={} . (注)请注意将空集与{}区别开来: 中没有任何元素,而 {}中恰好有一个元素。
.(De Morgan律)
(11)设A、B是任何集合, 若AB, 则有: [1] B ,[2] (BA)A=B. A
最新离散数学第三章消解原理

*第三章消解原理3・1斯柯伦标准形内容提要我们约泄,本章只讨论不含自由变元的谓词公式(也称语句,sentences),所说前束范式均指前束合取范式。
全称量词的消去是简单的。
因为约左只讨论语句,所以可将全称量词全部省去,把由此出现于公式中的“自由变元”均约立为全称量化的变元。
例如A(x)实指VxA(x)0存在量词的消去要复杂得多。
考虑3xA(x)o(1)当A(x)中除x外没有其它自由变元,那么,我们可以像在自然推理系统中所做那样,可引入A(e/x),其中c为一新的个体常元,称c为斯柯伦(Skolem)常元,用A(c/x)代替3xA(x),但这次我们不把A(c/x)看作假设,详见下文。
(2)当A中除x外还有其它自由变元y】,…,yz那么3xA(x, y】,…,yj来自于Vyr- Vy n3xA(x,yi,…,y』,其中"存在的x”本依赖于yi/-\y n的取值。
因此简单地用A(e/x, yi/-\y n) 代替3xA(x, y h-j n)是不适当的,应当反映出x对九…,y n的依赖关系。
为此引入函数符号f,以A(f(yi,…,y』/x, yi,・・・,yn)代替3xA(x, yi/-\y n),它義示:对任意给立的yi,…,yn,均可依对应关系f确左相应的x ・使x,y“…,y n满足A’」这里f是一个未知的确左的函数,因而应当用一个推理中尚未使用过的新函数符号,称为斯柯伦函数」定理3.1 (斯柯伦定理)对任意只含自由变元x, yi,…,yn的公式A(x, yi,…,y) 3xA(x, yi/-\y n)可满足,当且仅当A(f(y h-\y n),儿…,yj可满足。
这里f为一新函数符号:当n = 0 时,f为新常元。
定义3.1设公式A的前束范式为Bo C是利用斯柯伦常元和斯柯伦函数消去B中量词 (称斯柯伦化)后所得的合取范式,那么称C为A的斯柯伦标准形(Skolem normal form)o 以下我们约定:斯柯伦标准形中,乞子句之间没有相同的变元。
最新离散数学集合运算C++或C语言实验报告

离散数学实验报告专业班级:12级计算机本部一班姓名:鲍佳珍学号:201212201401016 实验成绩:1.【实验题目】命题逻辑实验四2.【实验目的】掌握用计算机求集合的交、并、差和补运算的方法。
3.【实验内容】编程实现集合的交、并、差和补运算。
4、【实验要求】C或C++语言编程实现5.【算法描述】(1)用数组A,B,C,E表示集合。
假定A={1,3,4,5,6,7,9,10}, B={2,,3,4,7,8,10}, E={1,2,3,4,5,6,7,8,9,10}, 输入数组A,B,E(全集),输入数据时要求检查数据是否重复(集合中的数据要求不重复),要求集合A,B是集合E的子集。
以下每一个运算都要求先将集合C置成空集。
(2)二个集合的交运算:A⋂B={x|x∈A且x∈B}把数组A中元素逐一与数组B中的元素进行比较,将相同的元素放在数组C 中,数组C便是集合A和集合B的交。
C语言算法:for(i=0;i<m;i++)for(j=0;j<n;j++)if(a[i]= =b[j]) c[k++]=a[i];(3)二个集合的并运算:A⋃B={x|x∈A或x∈B}把数组A中各个元素先保存在数组C中。
将数组B中的元素逐一与数组A中的元素进行比较,把不相同的元素添加到数组C中,数组C便是集合A和集合B 的并。
C语言算法:for(i=0;i<m;i++)c[i]=a[i];for(i=0;i<n;i++){for(j=0;j<m;j++)if(b[i]= =c[j]) break;if(j= =m){ c[m+k]=b[i];k++;}}(4)二个集合的差运算:A-B={x|x∈A且x∉B}将数组A中的元素逐一与数组B中的元素进行比较,把数组A与数组B不同的元素保存在数组C中,数组C便是集合A和集合B的差A-B。
C语言算法:for (j=0;j<m;j++){ for (i=0;i<n;i++){ if (A[j]= =B[i]){ C[k]=A[j];k++;break; }if (j= =n){ C[k]=A[i];k++; } }(5)集合的补运算:~A=B-A={x|x∈B且x∉A}将数组E中的元素逐一与数组A中的元素进行比较,把不相同的元素保存到数组C中,数组C便是集合A关于集合E的补集。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
2010年4月高等教育自学考试全国统一命题考试
离散数学试题
课程代码:02324
一、单项选择题(本大题共15小题,每小题1分,共15分)
在每小题列出的四个备选项中只有一个是符合题目要求的,请将其代码填写在题后的括号内。
错选、多选或未选均不得分。
1.下列句子为命题的是( )
A.全体起立!
B.x =0
C.我在说谎
D.张三生于1886年的春天
2.下列式子不是..
谓词合式公式的是( ) A.),()()),(),()((z x R z z x Q y x P x ∃∨→∀
B. ),()(),(),())((y x P x z x Q y x P y x ∃∧∨∀∀
C. ))()()(())()()(x Q x P x x Q x P x ∨⌝∀⇔→∀
D. ),()()(z y Q x P x ∧∃
3.下列式子为矛盾式的是( )
A.P P ⌝∧
B.)(Q P P ∧∨
C.P P ⌝∨
D.)(Q P ∨⌝ Q P ⌝∧⌝
4.设给定赋值N 如下:个体域为自然数集;特定元素a =0;特定函数f (x ,y )=x+y,g (x ,y )=xy ;特定谓词F (x ,y )为x =y 。
在赋值N 下,下列公式为真的是( )
A. )),,(()(x a x g F x ∀
B. ))),,(()),,(()()((x a y f F y a x f F y x →∀∀
C. )),,(())()((z y x f F z y x ∀∀∀
D. )),(),,(())((y x g y x f F y x ∀∀
5.对于公式),()()),(),()((z x R z z x Q y x P x ∃∨→∀,下列说法正确的是( )
A.y 是自由变元
B.x 是约束变元
C. )(x ∀的辖域是),()()),(),((z x R z z x Q y x P ∃∨→
D. )(x ∀的辖域是P (x ,y )
6.设论域为{l ,2},与公式)()(x A x ∃等价的是( )
A.A (1)∨A (2)
B. A (1)→A (2)
C.A (1)
D. A (2)→A (1)
7.设Z +是正整数集合,f :Z +→Z +,f (n )=2n -2,则f ( )
A.仅是入射
B.仅是满射
C.是双射
D.不是函数
8.下列关系矩阵所对应的关系具有反自反性的是( )
A.⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡001110101
B. ⎥⎥⎥⎦
⎤⎢⎢⎢⎣⎡101110001
C. ⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡001100100
D. ⎥⎥⎥⎦
⎤⎢⎢⎢⎣⎡001010101 9.设R 1和R 2是集合A 上的相容关系,下列关于21R R ⊕的说法正确的是( )
A.一定是相容关系
B.一定不是相容关系
C.可能是也可能不是相容关系
D.一定是等价关系
10.设A 是奇数集合,下列构成独异点的是( )
A.<A ,+>
B.<A ,->
C.<A ,×>
D.<A ,÷>
11.设A 是整数集,下列说法正确的是( )
A.<A ,+>有零元
B.<A ,÷>有零元
C.<A ,+>有幺元
D.<A ,÷>有幺元
12.下列说法不正确...
的是( ) A.在实数集上,乘法对加法是可分配的
B.在实数集上,加法对乘法是可分配的
C.在某集合的幂集上,∪对∩是可分配的
D.在某集合的幂集上,∩对∪是可分配的
13.右图的最大入度是( )
A.0
B.1
C.2
D.3
14.下列可一笔画成的图形是( )
15.一棵树有5个3度结点,2个2度结点,其它的都是l 度结点,那么这棵树的结点数是
( )
A.13
B.14
C.16
D.17
二、填空题(本大题共10小题,每小题2分,共20分)
请在每小题的空格中填上正确答案。
错填、不填均不得分。
16.请写出表示分配律的两个命题公式等价定理________,________。
17.n 个命题变元的________称为大项,其中每个变元与它的否定不能同时出现,但两者必须________。
18.在谓词推理过程中,由)()(x P x ∀得到P (a ),其中a 为论域的某个个体,用的是________规则,记为________规则。
19.请用联结词⌝,∨表示联结词∧和联结词→:________,________。
20.设A ={1,2,3,4},B ={2,4,6},则A -B =________,A ⊕B =________。
21.给出A ={l ,2}上的一个等价关系________,并给出其对应的划分________。
22.设A ={l ,2,3,4},A 上的二元关系R ={<1,2>,<2,3>,<3,2>},S ={<l ,3>,<2,3>,<4,3>},则R ∩S =________,(R —S )-1=________。
23.代数系统<A ,+,。
>是域,则________和________都是交换群。
24.若图中存在________,它经过图中所有的________,则称该图为汉密尔顿图。
25.n 点完全图记为K n ,那么当________时,K n 是平面图,当_____时,K n 是非平面图。
三、计算题(本大题共6小题,每小题5分,共30分)
26.列出)(P Q → ))((Q R P →∨的真值表。
27.用等值演算求→P (Q R )的主析取范式。
28.设A ={1,2,3,4},给定A 上的二元关系R ={<1,2>,<2,1>,<2,3>,<3,4>},求R 的传递闭包。
29.求右图所示格的所有5元和6元子格。
30.求<Z 7一{0},⊗>的所有生成元及所有2阶、3阶子群,其中⊗为模7乘法。
31.用矩阵的方法求右图中结点v 1,v 3之间长度为2的路径的数目。
四、证明题(本大题共3小题,第32小题8分,第33、34小题各6分,共20分)
32.用推理方法证明:)(,,,S P R R Q Q P ∧⌝⌝⌝∨⌝→ S ⌝。
33.设H 是G 的非空子集,则<H ,·>是群<G ,·>的子群当且仅当对任意a ,b ∈H 有a ·b -1∈H 。
34.证明整数集Z 上的大于等于关系“≥”是一个偏序关系。
五、综合应用题(本大题共2小题,第35小题6分,第36小题9分,共15分)
35.将下面命题符号化,并构造推理证明:
所有有理数是实数,有些有理数是整数,所以有些实数是整数。
36.某城市拟在六个区之间架设有线电话网,其网点间的距离如下列有权矩阵给出,请绘出有权图,给出架设线路的最优方案,并计算线路的总长度。