02324离散数学201207

合集下载

02324离散数学2020年08月自考真题及答案

02324离散数学2020年08月自考真题及答案

绝密★启用前2020年8月高等教育自学考试全国统一命题考试离散数学试题答案及评分参考(课程代码 02324)一、单项选择题:本大题共15小题,每小题1分,共15分。

1. D2. B3. D4. A5. B6. C7. B8. D9. A 10. C11.B 12.A 13.D 14.C 15.D二、填空题:本大题共10小题,每小题2分,共20分。

16. 317.{1,5,9}18.T19.1120.{〈1,2〉}21.∀x∀y∃z�F(x)∨¬G(y)∨H(z)�22.1123.∅24.825.{〈3,1〉,〈9,2〉,〈6,3〉}三、简答题:本大题共7小题,第26~30小题,每小题6分;第31~32小题,每小题7分,共44分。

26.解:命题公式(P∧Q)∨(¬Q→R)的真值表如下P Q R P∧Q¬Q→R(P∧Q)∨(¬Q→R)(1分)F F F F F FF F T F T T (1分)F T F F T TF T T F T T (1分)T F F F F FT F T F T T (1分)T T F T T TT T T T T T (1分) 由上表可知,命题公式为非重言式的可满足式。

(1分)离散数学试题答案及评分参考第1页(共4页)离散数学试题答案及评分参考第2页(共4页) 27. 解:(P ∨¬Q )∧(¬R →Q )⇔(P ∨¬Q )∧(R ∨Q ) (2分) ⇔(P ∨¬Q ∨R )∧(P ∨¬Q ∨¬R )∧(P ∨Q ∨R )∧(¬P ∨Q ∨R )(1分) 主合取范式为 (P ∨Q ∨R )∧(P ∨¬Q ∨R )∧(P ∨¬Q ∨¬R )∧(¬P ∨Q ∨R ), (1分)成假赋值为000,010,011和100。

(2分) 28. 解:集合A ={a ,b ,c ,d }的二元关系R ={〈a ,b 〉,〈b ,d 〉,〈c ,a 〉,〈c ,c 〉,〈d ,c 〉},(2分) R 的关系矩阵M R =�0100000110001010�,(2分) 对称闭包的关系矩阵M s (R )=M R ∨M R −1=�0110100110011110�。

离散数学知识点

离散数学知识点

离散数学知识点离散数学是计算机科学中一门非常重要的基础课程,它涵盖了众多的知识点。

在本文中,我将为大家介绍离散数学中的几个关键知识点,包括集合论、逻辑、数论和图论。

首先,我们来讨论集合论。

集合是离散数学中最基本的概念之一,它由一组互不相同的元素组成。

在集合论中,有许多重要的操作,如并集、交集和补集。

并集指的是将两个或多个集合的元素合并在一起,交集指的是两个或多个集合中共有的元素,而补集指的是与给定集合不相交的所有元素的集合。

掌握这些操作对于解决实际问题非常关键,例如在数据库中进行查询等。

接下来,逻辑是离散数学中另一个重要的知识点。

逻辑关注的是命题和它们之间的关系。

在逻辑中,常用的连接词有“与”、“或”和“非”。

通过应用逻辑运算,我们能够推导出更复杂的命题,如条件语句和双条件语句。

逻辑还包括谓词逻辑和命题逻辑,它们用于描述和推导具体的命题。

除了集合论和逻辑,数论也是离散数学中的一个重要分支。

数论研究的是整数及其性质。

这个领域的研究对于密码学和安全性技术等领域具有重要意义。

在数论中,有许多重要的概念和定理,如质数、最大公约数和同余等。

研究数论有助于我们理解数字间的关系,并通过运用数学中的方法解决实际问题。

最后,让我们来探讨离散数学中的图论。

图论是研究图及其性质的学科。

图由节点和连接节点的边组成。

图可以用来描述各种关系,如社交网络中的朋友关系、城市之间的交通路线等。

在图论中,有许多重要的定理和算法,如欧拉定理、哈密顿定理和最短路径算法等。

通过应用图论的知识,我们可以解决旅行推销员问题、网络优化问题等实际难题。

综上所述,离散数学是计算机科学中不可或缺的一部分。

在这篇文章中,我们简要介绍了离散数学中的几个关键知识点,包括集合论、逻辑、数论和图论。

这些知识点为我们理解和解决实际问题提供了强大的工具和方法。

通过深入学习离散数学,我们能够拓宽思维,提高问题解决能力,并为日后的计算机科学研究打下坚实基础。

最新自考离散数学02324真题含答案(.4-2016.4年整理版)

最新自考离散数学02324真题含答案(.4-2016.4年整理版)

全国2009年4月自学考试离散数学试题(附答案)课程代码:02324一、单项选择题(本大题共15小题,每小题1分,共15分)在每小题列出的四个备选项中只有一个是符合题目要求的,请将其代码填写在题后的括号内。

错选、多选或未选均无分。

1.下列为两个命题变元P,Q的小项是()A.P∧Q∧⎤ P B.⎤ P∨QC.⎤ P∧Q D.⎤ P∨P∨Q2.下列语句中是真命题的是()A.我正在说谎B.严禁吸烟C.如果1+2=3,那么雪是黑的D.如果1+2=5,那么雪是黑的3.设P:我们划船,Q:我们跑步。

命题“我们不能既划船又跑步”符号化为()A.⎤ P∧⎤ Q B.⎤ P∨⎤ QC.⎤(P↔Q)D.⎤(⎤ P∨⎤ Q)4.命题公式(P∧(P→Q))→Q是()A.矛盾式B.蕴含式C.重言式D.等价式5.命题公式⎤(P∧Q)→R的成真指派是()A.000,001,110,B.001,011,101,110,111C.全体指派D.无6.在公式(x∀)F(x,y)→(∃y)G(x,y)中变元x是()A.自由变元B.约束变元C.既是自由变元,又是约束变元D.既不是自由变元,又不是约束变元7.集合A={1,2,…,10}上的关系R={<x,y>|x+y=10,x∈A,y∈A},则R的性质是()A.自反的B.对称的C.传递的、对称的D.反自反的、传递的8.若R和S是集合A上的两个关系,则下述结论正确的是()A.若R和S是自反的,则R∩S是自反的B.若R和S是对称的,则R S是对称的C.若R和S是反对称的,则R S是反对称的D.若R和S是传递的,则R∪S是传递的9.R={<1,4>,<2,3>,<3,1>,<4,3>},则下列不是..t(R)中元素的是()A.<1,1> B.<1,2>C.<1,3> D.<1,4>10.设A={{1,2,3},{4,5},{6,7,8}},下列选项正确的是()A.1∈A B.{1,2,3}⊆AC.{{4,5}}⊂A D.∅∈A11.在自然数集N上,下列运算是可结合的是()A.a*b=a-2b B.a*b=min{a,b}C.a*b=-a-b D.a*b=|a-b|12.在代数系统中,整环和域的关系是()A.整环一定是域B.域不一定是整环C.域一定是整环D.域一定不是整环13.下列所示的哈斯图所对应的偏序集中能构成格的是()A.B.C.D.14.设G为有n个结点的简单图,则有()A.Δ(G)<n B.Δ(G)≤nC.Δ(G)>n D.Δ(G)≥n15.具有4个结点的非同构的无向树的数目是()A.2 B.3C.4 D.5二、填空题(本大题共10小题,每小题2分,共20分)请在每小题的空格中填上正确答案。

自考离散数学02324课后答案:[5]1.6章节

自考离散数学02324课后答案:[5]1.6章节

似若来生愿.想一起去看星星,那最亮一颗是我心大雨
(3)|W∨|QT(2) (4)Q→|WT(3) (5)W→|WT(1)(4) (6)|W∨|WT(5) (7)|WT(6) (8)|(W∧Q)→|WCP (9)W→(W∧Q)T(8) d)
证明 (1)R∨SP (2)|R→ST(1) (3)|RP (4)ST(2)(3) (5)S→|QP (6)|QT(4)(5) (7)|W←→QP
2dj0f4c9b
似若来生愿.想一起去看星星,那最亮一颗是我心大雨
前提 P→|Q,R→Q,|P→||S,R 结论||S 证明(1)P→|QP (2)Q→|PT(1) (3)R→QP (4)R→|PT(2)(3) (5)|P→||SP (6)R→||ST(4)(5)
(7)RP (8)||ST(6)(7)自考离散数学 02324 课后答 案(共 5 篇)上一篇:1.5 章节
丙说“是乙”,丁说“不是我”,四人的回答只有 一人符合实际,问成绩最好是哪些?只有一人成 绩最好的是谁。
解: 设 P 甲成绩最好 Q 乙成绩最好 R 丙成绩最好 S 丁成绩最好
似若来生愿.想一起去看星星,那最亮一颗是我心大雨
如果甲说的是正确的,则|P,|S,|Q,S|S 与 S 矛盾
如果乙若来生愿.想一起去看星星,那最亮一颗是我心大雨
结论:如果我在看书,则天在下雨。 解: 设 P 天晴; Q 下雨; R 我去看电影; S 我在看书; 已知|P→Q∧|Q→P,P→R,R→|S,S 结论 Q
证明(1)P→RP (2)R→|SP (3)P→|ST(1)(2) (4)SP (5)|PT(3)(4) (6)|P→Q∧|Q→PP (7)|P→QT(6) (8)QT(5)(7)
(3)|A∨BP (4)A→BT(3) (5)AP(附加前提) (6)BT(4)(5) (6)|CT(2)(6) (6)A→|CCP b)证明(1)(C∧D)→EP (2)|(C∧D)∨ET(1)

(完整版)自考离散数学02324真题含答案(2009.4-2016.4年整理版),推荐文档.docx

(完整版)自考离散数学02324真题含答案(2009.4-2016.4年整理版),推荐文档.docx

全国 2009 年 4 月自学考试离散数学试题(附答案)课程代码: 02324一、(本大共15 小,每小 1 分,共 15 分)在每小列出的四个中只有一个是符合目要求的,将其代填写在后的括号内。

、多或未均无分。

1.下列两个命元P, Q 的小是()A . P∧Q ∧ P B. P∨ QC. P∧Q D. P∨P∨ Q2.下列句中是真命的是()A .我正在B.禁吸烟C.如果 1+2=3 ,那么雪是黑的D.如果 1+2=5 ,那么雪是黑的3. P:我划船, Q :我跑步。

命“我不能既划船又跑步” 符号化()A . P∧ Q B. P∨ QC.( P Q)D.( P∨ Q)4.命公式( P∧( P→ Q))→ Q 是()A .矛盾式B.含式C.重言式D.等价式5.命公式(P∧ Q)→ R 的成真指派是()A . 000,001, 110,B. 001, 011, 101,110, 111C.全体指派D.无6.在公式(x )F ( x,y)→(y) G( x,y)中元 x 是()A .自由元B.束元C.既是自由元,又是束元D.既不是自由元,又不是束元7.集合 A={1 , 2,⋯,10}上的关系 R={< x,y>|x+y=10, x∈ A , y∈A} , R 的性是()A .自反的B.称的C.的、称的D.反自反的、的8.若 R 和 S 是集合 A 上的两个关系,下述正确的是()A .若 R 和 S 是自反的,R∩ S 是自反的B.若 R 和 S 是称的,R S 是称的C.若 R 和 S 是反称的,R S 是反称的D.若 R 和 S 是的,R∪ S 是的9. R={<1 , 4>,<2 , 3>,<3, 1> , <4, 3>} ,下列不是t( R)中元素的是()A . <1, 1>B. <1, 2>C. <1, 3>D. <1, 4>10.设 A={{1 ,2, 3} , {4 , 5} , {6 ,7, 8}} ,下列选项正确的是()A . 1∈ A B. {1 , 2, 3} AC. {{4 , 5}} A D.∈ A11.在自然数集 N 上,下列运算是可结合的是()A . a b=a-2b B. a b=min{ a,b}C. a b=-a-b D. a b=|a-b|12.在代数系统中,整环和域的关系是()A .整环一定是域B.域不一定是整环C.域一定是整环D.域一定不是整环13.下列所示的哈斯图所对应的偏序集中能构成格的是()A .B.C.D.14.设 G 为有 n 个结点的简单图,则有()A .(G) <n B. (G) ≤nC.(G) >n D. (G) ≥ n15.具有 4 个结点的非同构的无向树的数目是()A . 2B. 3C. 4D. 5二、填空题(本大题共10 小题,每小题 2 分,共 20 分)请在每小题的空格中填上正确答案。

离散数学知识点总结

离散数学知识点总结

离散数学知识点总结离散数学知识点总结同时要善于总结,在学习《离散数学》的过程,对概念的理解是学习的重中之重。

本文就来分享一篇离散数学知识点总结,希望对大家能有所帮助!一、认知离散数学离散数学是计算机科学基础理论的核心课程之一,是计算机及应用、通信等专业的一门重要的基础课。

它以研究量的结构和相互关系为主要目标,其研究对象一般是有限个或可数个元素,充分体现了计算机科学离散性的特点。

学习离散数学的目的是为学习计算机、通信等专业各后续课程做好必要的知识准备,进一步提高抽象思维和逻辑推理的能力,为计算机的应用提供必要的描述工具和理论基础。

1.定义和定理多离散数学是建立在大量定义、定理之上的逻辑推理学科,因此对概念的理解是学习这门课程的核心。

在学习这些概念的基础上,要特别注意概念之间的联系,而描述这些联系的实体则是大量的定理和性质。

在考试中有一部分内容是考查学生对定义和定理的识记、理解和运用,因此要真正理解离散数学中所给出的每个基本概念的真正的含义。

比如,命题的定义、五个基本联结词、公式的主析取范式和主合取范式、三个推理规则以及反证法;集合的五种运算的定义;关系的定义和关系的四个性质;函数(映射)和几种特殊函数(映射)的定义;图、完全图、简单图、子图、补图的定义;图中简单路、基本路的定义以及两个图同构的定义;树与最小生成树的定义。

掌握和理解这些概念对于学好离散数学是至关重要的。

2. 方法性强在离散数学的学习过程中,一定要注重和掌握离散数学处理问题的方法,在做题时,找到一个合适的解题思路和方法是极为重要的`。

如果知道了一道题用怎样的方法去做或证明,就能很容易地做或证出来。

反之,则事倍功半。

在离散数学中,虽然各种各样的题种类繁多,但每类题的解法均有规律可循。

所以在听课和平时的复习中,要善于总结和归纳具有规律性的内容。

在平时的讲课和复习中,老师会总结各类解题思路和方法。

作为学生,首先应该熟悉并且会用这些方法,同时,还要勤于思考,对于一道题,进可能地多探讨几种解法。

离散数学知识点总结

离散数学知识点总结

离散数学知识点总结离散数学是数学的一个分支,主要研究离散的数学结构和离散的数学对象。

它包括了许多重要的概念和技术,是计算机科学、通信工程、数学和逻辑学等领域的基础。

本文将对离散数学的一些核心知识点进行总结,包括命题逻辑、一阶逻辑、图论、集合论和组合数学等内容。

1. 命题逻辑命题逻辑是离散数学的一个重要分支,研究命题之间的逻辑关系。

命题是一个陈述语句,要么为真,要么为假,而且不能同时为真和为假。

命题逻辑包括逻辑运算和逻辑推理等内容,是离散数学的基础之一。

1.1 逻辑运算逻辑运算包括与(∧)、或(∨)、非(¬)、蕴含(→)和双条件(↔)等运算。

与、或和非是三种基本的逻辑运算,蕴含和双条件则是基于这三种基本运算得到的复合运算。

1.2 逻辑等值式逻辑等值式是指在命题逻辑中具有相同真值的两个复合命题。

常见的逻辑等值式包括德摩根定律、双重否定定律、分配率等。

1.3 形式化证明形式化证明是命题逻辑的一个重要内容,研究如何利用逻辑规则和等值式来推导出给定命题的真值。

形式化证明包括直接证明、间接证明和反证法等方法,是离散数学中的常见技巧。

2. 一阶逻辑一阶逻辑是命题逻辑的延伸,研究命题中的量词和谓词等概念。

一阶逻辑包括量词、谓词逻辑和形式化证明等内容,是离散数学中的重要部分。

2.1 量词量词包括全称量词(∀)和存在量词(∃),用来对命题中的变量进行量化。

全称量词表示对所有元素都成立的命题,而存在量词表示至少存在一个元素使命题成立。

2.2 谓词逻辑谓词逻辑是一阶逻辑的核心内容,研究带有量词的语句和谓词的逻辑关系。

谓词是含有变量的函数,它可以表示一类对象的性质或关系。

2.3 形式化证明形式化证明在一阶逻辑中同样起着重要作用,通过逻辑规则和等值式来推导出给定命题的真值。

一阶逻辑的形式化证明和命题逻辑类似,但更复杂和抽象。

3. 图论图论是离散数学中的一个重要分支,研究图和图的性质。

图是由节点和边组成的数学对象,图论包括图的表示、图的遍历、最短路径、最小生成树等内容,是离散数学中的一大亮点。

离散数学课程

离散数学课程

离散数学离散数学是数学的一个分支,它研究离散结构和离散对象。

与连续数学不同,离散数学的对象是不连续的,例如整数、图、组合和逻辑等。

离散数学在计算机科学、信息理论、密码学等领域有着广泛的应用。

本文将对离散数学的基本概念和应用领域进行简要介绍。

基本概念集合论集合论是离散数学的基础,它研究集合的性质和运算。

集合是由一些确定的、不同的元素所构成的整体。

集合论中的基本概念包括集合、元素、子集、并集、交集、差集和补集等。

数理逻辑数理逻辑是研究命题、谓词、推理和证明的形式化方法。

它主要包括命题逻辑和谓词逻辑。

命题逻辑研究命题之间的逻辑关系,而谓词逻辑则进一步研究谓词和个体之间的关系。

代数结构代数结构是离散数学的一个重要组成部分,它研究集合上的元素之间的运算关系。

常见的代数结构有群、环、域等。

图论图论研究图的性质和应用。

图是由顶点和边组成的,它可以表示各种网络结构。

图论中的基本概念包括路径、回路、连通性等。

组合数学组合数学研究有限或可数无限集合的组合性质。

它主要包括排列、组合、二项式系数、生成函数等内容。

应用领域计算机科学离散数学在计算机科学领域有着广泛的应用,如数据结构、算法分析、计算机网络等。

例如,图论可以用于解决网络路由问题,组合数学可以用于计算排列组合等。

信息理论离散数学在信息理论中也有重要应用,如编码理论、信息熵等。

编码理论是研究如何将信息有效地传输和存储的理论,信息熵则是衡量信息量的一种方法。

密码学离散数学在密码学中也有着重要的应用,如公钥密码体制、数字签名等。

公钥密码体制是一种非对称加密技术,它使用一对密钥进行加密和解密操作。

数字签名则是一种验证消息完整性和发送者身份的技术。

总结:离散数学是一门研究离散结构和离散对象的数学分支,它在计算机科学、信息理论和密码学等领域有着广泛的应用。

通过学习离散数学,我们可以更好地理解和应用这些领域的知识和技术。

02324离散数学2020年10月试题及答案

02324离散数学2020年10月试题及答案

绝密★考试结束前全国2020年10月高等教育自学考试离散数学试题课程代码:023241. 请考生按规定用笔将所有试题的答案涂、写在答题纸上。

2. 答题前,考生务必将自己的考试课程名称、姓名、准考证号用黑色字迹的签字笔或钢笔填写在答题纸规定的位置上。

选择题部分注意事项:每小题选出答案后,用2B 铅笔把答题纸上对应题目的答案标号涂黑。

如需改动,用橡皮擦干净后,再选涂其他答案标号。

不能答在试题卷上。

一 、单项选择题:本大题共15小题,每小题1分,共15分。

在每小题列出的备选项中只有一项是最符合题目要求的,请将其选出。

1. 设P:我周末不加班,Q:我去爬山,命题“只要我周末不加班,我就去爬山”符号化为A.-PV-QB. PvQC. P→QD. Q→ P 2. 下列关系矩阵所对应的关系具有对称性的是....3. 下列图为欧拉图的是A. B. C. D.4. 如题4图所示的格中,元e 的补元是A. a 和bB. a 和c C . a 和d D. a 和f 5. 下列命题公式为矛盾式的是A.-(P→Q)^QvRB.(Pv(P^Q))→PC.-(PAQ)v(-P^-Q)D.-(P→Q)^Q题 4 图D C B A6. 设集合A中有4个元素,则A的不同的等价关系的个数为A. 11B. 12C. 15D. 167. 下列选项中与题7图互为补图的是A. B. C. D. 题7 图8. 在自然数集N上,a,b∈N,不满足交换律的运算是A. a*b= min(a,b)B. a*b=a+bC. a*b=a-bD.a*b=max(a,b)9. 下列式子中,不正确的是A.-3xA(x)= Vx-A(x)B.3x(A→B(x))=A→3xB(x)C.-VxB(x)=3x-B(x)D.Vx(A(x)→B)=VxA(x)→B10.下列图中不是哈密顿图的是A. B. C. D.11.设R为实数集,下列关系中能构成函数的是A. {(x,y>|x ∈R^y ∈RA(y²-2x=1)}B. {(x,y》|x ∈RAy ∈RA(x²+2y=1)}C. {(x,y>|x ∈R^y ∈RA(2y/x=1)}D. {<x,y>|x ∈RAy ∈RA(2y ·x=1)}12.谓词公式vx(F(x)^G(y)) →3y(H(x) →S(y,z)) 中量词Vx 的辖域是A.F(x)AG(y)B. F(x)C.Vx(F(x)^G(y))D. F(x),H(x)13.设R、S均为集合A上的二元关系,下列命题错误的是A. 若R和S是自反的,则R-S也是自反的B. 若R和S是反自反的,则R-S也是反自反的C. 若R和S是反对称的,则R-S也是反对称的D. 若R和S是对称的,则R-S也是对称的14.下列度数列可简单图化的是A.(5,4,4,2,1)B.(3,3,1,1)C.(4,4,3,3,2,2)D.(4,3,2,1)15.令S={a,b,c}上的二元运算*如题15表所示,则该代数系统不满足A. 交换律C. 结合律B. 幂等律D. 消去律题15表* a Ca ab bb b b bC b b c非选择题部分注意事项:用黑色字迹的签字笔或钢笔将答案写在答题纸上,不能答在试题卷上。

离散数学知识点整理

离散数学知识点整理

离散数学知识点整理离散数学是现代数学的一个重要分支,它在计算机科学、信息科学、物理学等众多领域都有着广泛的应用。

下面就为大家整理一下离散数学的主要知识点。

一、集合论集合是离散数学中最基本的概念之一。

集合是由一些确定的、互不相同的对象组成的整体。

集合的表示方法有列举法、描述法等。

集合的运算包括并集、交集、差集和补集。

并集是将两个集合中的所有元素合并在一起组成的新集合;交集是两个集合中共同拥有的元素组成的集合;差集是从一个集合中去掉另一个集合中的元素所剩下的元素组成的集合;补集是在给定的全集内,某个集合的补集是由全集中不属于该集合的元素组成的集合。

集合之间的关系有包含、相等、真包含等。

包含关系是指一个集合中的所有元素都属于另一个集合;相等关系是指两个集合中的元素完全相同;真包含关系是指一个集合包含另一个集合,且两个集合不相等。

二、关系关系是集合中元素之间的某种联系。

关系可以用集合的形式来表示。

关系的性质包括自反性、对称性、反对称性和传递性。

自反性是指集合中的每个元素都与自身有关系;对称性是指如果元素 a 与元素 b 有关系,那么 b 与 a 也有关系;反对称性是指如果元素 a 与元素 b 有关系,且 b 与 a 也有关系,那么 a 等于 b;传递性是指如果元素 a 与元素 b 有关系,b 与元素 c 有关系,那么 a 与 c 也有关系。

关系的运算有合成运算、逆关系等。

合成运算可以得到新的关系,逆关系是将原关系中的元素顺序颠倒得到的关系。

三、函数函数是一种特殊的关系,对于定义域中的每个元素,在值域中都有唯一的元素与之对应。

函数的性质包括单射、满射和双射。

单射是指定义域中的不同元素在值域中的对应元素也不同;满射是指值域中的每个元素都有定义域中的元素与之对应;双射是指函数既是单射又是满射。

四、图论图由顶点和边组成。

边可以是有向的或无向的。

图的类型有很多,如简单图、多重图、连通图等。

简单图是指没有自环和多重边的图;多重图允许存在自环和多重边;连通图是指图中任意两个顶点之间都存在路径。

离散数学概述

离散数学概述

数理逻辑简介
前提
推理(规则)
结论
集合论(set theroy)概述
20世纪数学中最为深刻的活动, 是关于数学基础的探讨。这 不仅涉及到数学的本性, 也涉及到演绎数学的正确性。数学 中若干悖论的发现, 引发了数学史上的第三次危机, 这种悖论 在集合论中尤为突出。
集合论最初是一门研究数学基础的学科, 它从一个比“数” 更简单的概念----集合出发, 定义数及其运算, 进而发展到整 个数学领域, 在这方面它取得了极大的成功。
达) 软件工程—团队开发—时间和分工的优化(图论—网络、划
分) (各种)算法的构造、正确性的证明和效率的评估(离散数学
的各分支)
目的和任务
由于离散数学的重要地位, 因此通过本课程的教学, 使计算机及应用专业的学生能够掌握数理逻辑、 集合论、近世代数与图论的基本概念、基本定理、 基本方法, 并且培养学生具有一定的抽象思维能力 和逻辑推理能力。同时为计算机及应用专业的其 它重要后续课程(如数据结构、操作系统、编译 原理等课程)奠定比较坚实的基础。
用数学方法来研究推理的规律称为数理逻辑。这里所指的数 学方法, 就是引进一套符号体系的方法, 在其中表达和研究推 理的规律。
数理逻辑简介
通常认为数理逻辑是由莱布尼兹(Leibniz)创立的。 数理逻辑的内容包括:
证明论、模型论、递归论、公理化集合论。 数理逻辑的应用 在形式语义学、程序设计方法学和软件工程领域。 在逻辑程序设计方面。 在数据库理论方面。 在程序自动生成、自动转换等的理论和技术研究中。 在形式语言理论、自动机理论、可计算理论、计算
图论
图论是离散数学的重要组成部分, 是近代应用数学的重要分支。
1736年是图论历史元年, 因为在这一年瑞士数学家欧拉(Euler) 发表了图论的首篇论文——《哥尼斯堡七桥问题无解》, 所以 人们普遍认为欧拉是图论的创始人。

离散数学自学考试真题附答案打印版

离散数学自学考试真题附答案打印版

离散数学试题课程代码:02324一、单项选择题(本大题共15小题,每小题1分,共15分)在每小题列出的四个选项中只有一个选项是符合题目要求的,请将正确选项前的字母填在题后的括号内。

1.一个连通的无向图G ,如果它的所有结点的度数都是偶数,那么它具有一条( )A.汉密尔顿回路B.欧拉回路C.汉密尔顿通路D.初级回路2.设G 是连通简单平面图,G 中有11个顶点5个面,则G 中的边是( )3.在布尔代数L 中,表达式(a ∧b)∨(a∧b ∧c)∨(b ∧c)的等价式是( )∧(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)是( ) ∪I A ∪{〈c,a 〉} ∩I A 9.设X={a,b,c},Ix 是X 上恒等关系,要使Ix ∪{〈a,b 〉,〈b,c 〉,〈c,a 〉,〈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)→B B.(∀x)A(x)→B (x)→B D.(∀x)A(x)→(∀x)B 13.谓词公式(∀x)(P(x,y))→(∃z)Q(x,z)∧(∀y)R(x,y)中变元x( )A.是自由变元但不是约束变元B.既不是自由变元又不是约束变元C.既是自由变元又是约束变元D.是约束变元但不是自由变元14.若P :他聪明;Q :他用功;则“他虽聪明,但不用功”,可符号化为( )∨Q ∧┐Q →┐Q ∨┐Q15.以下命题公式中,为永假式的是( )→(p ∨q ∨r)B.(p →┐p)→┐pC.┐(q →q)∧pD.┐(q ∨┐p)→(p ∧┐p)二、填空题(每空1分,共20分)16.在一棵根树中,仅有一个结点的入度为______,称为树根,其余结点的入度均为______。

2012年7月自考离散数学复习资料

2012年7月自考离散数学复习资料

离散数学1)二元关系:设S是一个非空集合,R是关于S的元素的一个条件件。

如果对S中任意一个有序元素对(a,b),我们总能确定a与b是否满足条件R,就称R是S的一个关系(relation).如果a与b满足条件R,则称a与b满足条件R,则称a与b有关系R,记做aRb;否则称a与b无关系R。

关系R也成为二元关系。

定义:集合 X 与集合 Y 上的二元关系是 R=(X, Y, G(R)) 当中 G(R),称为R 的图,是笛卡儿积X × Y的子集。

若(x,y) ∈ G(R) 则称 x 是 R-关系於 y 并记作 xRy 或 R(x,y)。

但经常地我们把关系与其图等价起来,即若 R ⊆ X × Y 则 R 是一个关系。

例子:有四件物件 {球,糖,车,枪} 及四个人 {甲,乙,丙,丁}。

若甲拥有球,乙拥有糖,及丁拥有车-即无人有枪及丙一无所有-则二元关系"为...拥有"便是R=({球,糖,车,枪}, {甲,乙,丙,丁}, {(球,甲), (糖,乙), (车,丁)})。

其中 R 的首项是物件的集合,次项是人的集合,而末项是由有序对(物件,主人)组成的集合。

比如有序对(球,甲)以球R甲表示,代表球为甲拥有。

不同的关系可以有相同的图。

以下的关系 ({球,糖,车,枪}, {甲,乙,丁}, {(球,甲), (糖,乙), (车,丁)} 中人人皆是物主,所以与 R 不同,但两者有相同的图。

话虽如此,我们很多时候索性把R 定义为 G(R) 而 "有序对(x,y) ∈ G(R)" 亦即是"(x,y) ∈ R"。

二元关系可看作成二元函数,这种二元函数把输入元x ∈ X 及y ∈ Y 视为独立变数并求真伪值(包括「有序对(x, y) 是或非二元关系中的一元。

」此一问题)。

若 X=Y,则称 R为 X上的关系。

二元关系的性质:关系的性质主要有以下五种:自反性,反自反性,对称性,反对称性和传递性。

全国2012年7月高等教育自学考试离散数学试题

全国2012年7月高等教育自学考试离散数学试题

全国2012年7月高等教育自学考试离散数学试题全国2012年7月高等教育自学考试离散数学试题课程代码:02324一、单项选择题(本大题共15小题,每小题1分,共15分)在每小题列出的四个备选项中只有一个是符合题目要求的,请将其代码填写在题后的括号内。

错选、多选或未选均无分。

1.设P :他看电影,Q :他学习,将命题“他在学习或在看电影”符号化正确的是()A.P →QB.P ∧QC.P ∨QD.Q →?P2.下列命题公式不是..永真式的是( ) A.()P Q P →→B.()P Q →∨PC.P ?∨()Q P →D.()P Q P →→ 3.下列等价式正确的是()A.()()()()x A x x A xB.()()()(())A x B x x A B x →→C.()(())()()x A x B x A x B ?→??→D.()(())()()x A x B x A x B ?→??→ 4.设A(x):x 是鸟,B(x):x 会飞,命题“有的鸟不会飞”符号化为()A.()(()x A x ??∧())B xB.()(()x A x ??∧())B xC.()(()())x A x B x ??→D.()(()())x A x B x ??→5.设X ={,{},{,}}a a ??,则下列陈述正确的是()A.a X ∈B.{,}a X ??C.{{,}}a X ??D.{}X ?∈6.设A B B = ,则有()A.A B A =B.A B -=?C.A B B =D.A B ? 7.设A ={a ,{b , c }},则其幂集P (A )的元素总个数为()A.3B.4C.6D.88.在整数集Z 上,下列定义的运算满足结合律的是()A.1a b b *=+B.1a b a *=-C.1a b ab *=-D.1a b a b *=++9.设是群,则下列陈述不正确...的是() A.11()a a --=B.111()ab a b ---=C.n m n m a a a +=D.11()n n a ba a b a --=10.设:,:f X Y g Y Z →→是函数,则下列陈述正确的是()A.若f 不是入射的,则g f 不是入射的B.若g 是入射的,则g f 也是入射的C.若f 是入射的,则g f 也是入射的D.若g f 不是入射的,则f 也不是入射的11.设简单图G 所有结点的度数之和为36,由G 的边数为()A.6B.9C.12D.1812.下列无向图不一定...是树的是() A.结点数比边数多1的连通图B.每对结点之间都有通路的图C.无回路但添加一条边则有回路的图D.无回路的连通图 13.设R 1,R 2是A 上的两个关系,s 为对称闭包,t 为传递闭包,则下列描述正确的是()A.1212()()()s R R s R s R =B.1212()()()t R R t R t R =C.1212()()()s R R s R s R =D.1212()()()t R R t R t R =14.下列必为欧拉图的是()A.有回路的连通图B.不可以一笔画的图C.有1个奇数度结点的连通图D.无奇数度结点的连通图 15.设X ={0},下列关于代数系统的陈述正确的是()A.0是幺元B.?是幺元C.{0}是幺元D.没有幺元二、填空题(本大题共10小题,每小题2分,共20分)请在每小题的空格中填上正确答案。

2020年8月自考02324离散数学试题及答案含评分标准

2020年8月自考02324离散数学试题及答案含评分标准

绝密★启用前2020年8月高等教育自学考试全国统一命题考试离散数学试题答案及评分参考(课程代码 02324)一、单项选择题:本大题共15小题,每小题1分,共15分。

1. D2. B3. D4. A5. B6. C7. B8. D9. A 10. C11.B 12.A 13.D 14.C 15.D二、填空题:本大题共10小题,每小题2分,共20分。

16. 317.{1,5,9}18.T19.1120.{〈1,2〉}21.∀x∀y∃z�F(x)∨¬G(y)∨H(z)�22.1123.∅24.825.{〈3,1〉,〈9,2〉,〈6,3〉}三、简答题:本大题共7小题,第26~30小题,每小题6分;第31~32小题,每小题7分,共44分。

26.解:命题公式(P∧Q)∨(¬Q→R)的真值表如下P Q R P∧Q¬Q→R(P∧Q)∨(¬Q→R)(1分)F F F F F FF F T F T T (1分)F T F F T TF T T F T T (1分)T F F F F FT F T F T T (1分)T T F T T TT T T T T T (1分) 由上表可知,命题公式为非重言式的可满足式。

(1分)离散数学试题答案及评分参考第1页(共4页)离散数学试题答案及评分参考第2页(共4页) 27. 解:(P ∨¬Q )∧(¬R →Q )⇔(P ∨¬Q )∧(R ∨Q ) (2分) ⇔(P ∨¬Q ∨R )∧(P ∨¬Q ∨¬R )∧(P ∨Q ∨R )∧(¬P ∨Q ∨R )(1分) 主合取范式为 (P ∨Q ∨R )∧(P ∨¬Q ∨R )∧(P ∨¬Q ∨¬R )∧(¬P ∨Q ∨R ), (1分)成假赋值为000,010,011和100。

(2分) 28. 解:集合A ={a ,b ,c ,d }的二元关系R ={〈a ,b 〉,〈b ,d 〉,〈c ,a 〉,〈c ,c 〉,〈d ,c 〉},(2分) R 的关系矩阵M R =�0100000110001010�,(2分) 对称闭包的关系矩阵M s (R )=M R ∨M R −1=�0110100110011110�。

离散数学2324

离散数学2324

(x)(y) A( x, y) (y)(x) A( x, y) (y)(x) A( x, y) (x)(y) A( x, y)
表 2 ― 1 谓词演算中常用的等价式和蕴含式
练习 72页 ( 6)(7)
B(x)A(x) (x)(BA(x)) (A不含x) 证 B(x)A(x) ¬B∨(x)A(x) 蕴涵表达式 (x)(¬B∨A(x)) 量词辖域扩张 (x)(BA(x)) 蕴涵表达式
第3讲练习 71页 ( 1) 72页(4)(5)
第二章 谓词逻辑 第4讲 §2—5 谓词演算的等价式和蕴含式
T F T
(x)( P( x) (y)Q( x, y)) (x)( P( x) (Q( x,1) Q( x, 2))) ( P(1) (Q(1,1) Q(1, 2))) ( P(2) (Q(2,1) Q(2, 2))) ( F (T T )) (T ( F F ))
四、谓词演算的等价式和蕴含式
(1)命题公式的推广
在命题演算中,任一永真公式,其中同一命题变元,用同 一公式取代时,其结果也是永真公式。可以把这个情况推广到 谓词公式之中,当谓词演算中的公式代替命题演算中永真公式 的变元时,所得的谓词公式即为有效公式,故命题演算中的等 价公式表和蕴含公式表都可推广到谓词演算中使用。
B (x) A( x) (x)( B A( x))
B (x) A( x) (x)( B A( x))
Hale Waihona Puke 这里A(x)是任意包括个体变元x的谓词公式,B 是不包括个体变元x的任意谓词公式。
练习 证明如上的 等价公式。
证明 (x)A(x)∨B (x)(A(x)∨B)
定义2-5.3 一个谓词公式wffA,如果在所有赋值下都为假, 则称wffA为不可满足的(或永假的)。

(全新整理)7月全国自考离散数学试卷及答案解析

(全新整理)7月全国自考离散数学试卷及答案解析

全国2018年7月高等教育自学考试离散数学试题课程代码:02324一、单项选择题(本大题共15小题,每小题1分,共15分)在每小题列出的四个备选项中只有一个是符合题目要求的,请将其代码填写在题后的括号内。

错选、多选或未选均无分。

1.令P:今天下雪了,Q:路滑,则命题“虽然今天下雪了,但是路不.滑”可符号化为()A.P →Q B.P ∨QC.P∧Q D.P ∧Q2.下列命题公式为重言式的是()A.Q→(P∧Q)B.P→(P∧Q)C.(P∧Q)→P D.(P∨Q)→Q3.下列4个推理定律中,不.正确的是()A.A⇒(A∧B)B.(A∨B )∧A⇒BC.(A→B)∧A⇒B D.(A→B )∧B ⇒ A4.谓词公式∀x(P(x)∨∃yR(y))→Q(x)中量词x∀的辖域是()A.))Px∃x∨∀B.P(x)(yR)((yC.(P(x)∨∃yR(y)) D.P(x), Q(x)5.设个体域A={a,b},公式∀xP(x)∧∃xS(x)在A中消去量词后应为()A.P(x)∧S(x) B.P(a)∧P(b)∧(S(a)∨S(b))C.P(a)∧S(b) D.P(a)∧P(b)∧S(a)∨S(b)6.下列选项中错误..的是()A.Ø⊆Ø B.Ø∈ØC.Ø⊆{Ø} D.Ø∈{Ø}7.设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}}18.设R为实数集,函数f:R→R,f(x)=2x,则f是()A.满射函数B.入射函数C.双射函数D.非入射非满射9.设R为实数集,R+={x|x∈R∧x>0},*是数的乘法运算,<R+,*>是一个群,则下列集合关于数的乘法运算构成该群的子群的是()A.{R+中的有理数} B.{R+中的无理数}C.{R+中的自然数} D.{1,2,3}10.下列运算中关于整数集不.能构成半群的是()A.aοb=max{a, b} B.aοb=bC.aοb=2ab D.aοb=|a-b|11.设Z是整数集,+,ο分别是普通加法和乘法,则(Z,+,ο)是()A.域B.整环和域C.整环D.含零因子环12.设A={a, b, c},R是A上的二元关系,R={<a, a>, <a, b>, <a, c>, <c, a>},那么R是()A.反自反的B.反对称的C.可传递的D.不可传递的13.设D=<V, E>为有向图,V={a, b, c, d, e, f}, E={<a, b>, <b, c>, <a, d>, <d, e>, <f, e>}是()A.强连通图B.单向连通图C.弱连通图D.不连通图14.在有n个结点的连通图中,其边数()A.最多有n-1条B.至少有n-1条C.最多有n条D.至少有n条15.连通图G是一棵树,当且仅当G中()A.有些边不是割边B.每条边都是割边C.无割边集D.每条边都不是割边二、填空题(本大题共10小题,每小题2分,共20分)请在每小题的空格中填上正确答案。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

2012年7月高等教育自学考试全国统一命题考试
离散数学试卷
课程代码:02324
本试卷满分100分,考试时间150分钟。

考生答题注意事项:
1.本卷所有试卷必须在答题卡上作答。

答在试卷和草稿纸上的无效。

2.第一部分为选择题。

必须对应试卷上的题号使用2B铅笔将“答题卡”的相应代码涂黑。

3.第二部分为非选择题。

必须注明大、小题号,使用0.5毫米黑色字迹签字笔作答。

4.合理安排答题空间,超出答题区域无效。

第一部分选择题
一、单项选择题(本大题共15小题,每小题1分,共15分)
在每小题列出的四个备选项中只有一个是符合题目要求的,请将其选出并将“答题卡’的相应代码涂黑。

未涂、错涂或多涂均无分。

1.设P:他看电影,Q:他学习,将命题“他在学习或在看电影”符号化正确的是
2.下列命题公式不是永真式的是
3.下列等价式正确的是
4.,“有的鸟不会飞”符号化为
5.设,则下列陈述正确的是
6.设A ∩ B=B,则有
7.设,则其幂集P(A)的元素总个数为
A 3 8.4 C.6 D.8
8.在整数集z上,下列定义的运算满足结合律的是
9.设<G,*>是群,则下列陈述不正确的是
10.设是函数,则下列陈述正确的是
A.若不是入射的,则不是入射的 B.若是入射的,则也是入射的
C.若是入射的,则也是入射的 D.若不是入射的,则,也不是入射的11.设简单图G所有结点的度数之和为36,则G的边数为
A.6 B.9 C.12 D.18
12.下列无向图不一定是树的是
A.结点数比边数多l的连通图 B.每对结点之间都有通路的图
C.无回路但添加一条边则有回路的图 D.无回路的连通图
13.设是A上的两个关系,s为对称闭包,t为传递闭包,则下列描述正确的是
14.下列必为欧拉图的是
A.有回路的连通图 B.不可以一笔画的图
C.有l个奇数度结点的连通图 D.无奇数度结点的连通图
15.设x={O},下列关于代数系统<P(X),∩>的陈述正确的是
A.0是幺元 B.是幺元 C.{O}是幺元 D.没有幺元
第二部分非选择题
二、填空题(本大题共l0小题,每小题2分,共20分)
请在答题卡上作答。

16.命题公式P→Q的成真指派为________,成假指派为________.
17.设A={1,a,b},B={1,2},贝4A B=________,A A=________.
18.公式的约束变元为________,自由变元为________
19.整数集Z中的运算*定义如下:a*b=a+b+3ab,则*运算的幺元为________;设a有逆元,则其逆元为________.
20.设,那么复合函数= ________,
21.j9:A={<1,3>,<3,5>,<4,4>},B={<1,3>,<4,5>,<5,5>},那么dom(A U B)=_________,ran(A n B)= ________.
22.如题22图所示的格中,b的补元是________,c的补元是________、
23.<Z,>是一个群,其中,则当n=10时,在<>中,l的阶为________,6的阶为________.
24.设R={<1,2>,<2,3>,<4,5>}和S={<3,2>,<4,3>,<5,1>}是集合A={1,2,3,4,5}上的两个关系,则R S=_______,S R=_______.
25.是n个结点的完全图,则恐有_______条边,每个结点的度数为_______.
三、计算题(本大题共4小题,每小题7分,共28分)
请在答题卡上作答。

26.构造命题公式,的真值表.
27.设R={<1,3>,<1,4>,<2,2>,<3,l>,<3,3>,<4,1>}是A={1,2,3,4}上的二元关系.
(1)画出R的关系图;
(2)写出R的关系矩阵;
(3)说明R是否具有自反、反自反、对称、反对称性质.
28.求公式的主合取范式和主析取范式.
29.设={1,3,5,9,15,45},≦为整除关系.
(1)画出<A,≦ >的哈斯图;
(2)求子集B={3,9,15}的极大元、极小元、最大元、最小元.
四、证明题(本大题共3小题,每小题7分,共21分)
请在答题卡上作答。

30.设<G,*>是一个群,C(G)=|a | a C,且.证明:C(G)是G的子群.
31.设A={<a,b>l a,b为正整数},在A上定义二元关系~如下:<a,b>一<c,d>当且仅当|a—b |=| c—d |.
证明:是一个等价关系.
32.设G是有n个结点、n+1条边的简单连通图,且G中存在度数为5的结点.证明:G中至少有一个度数为l的结点.
五、综合应用题(本大题共2小题,每小题8分,共16分)
请在答题卡上作答。

33. 构造下列推理的证明。

如果他有时间并且他有很多钱,他必去过桂林。

如果他没有很多钱,他一定不会买小轿车。

他有时间。

他买了小轿车。

所以他去过桂林。

34.今有a,b,c,d,f, g共7人,已知下列事实:a会讲汉语和英语;b会讲英语和韩语;
c会讲英语和意大利语;d会讲法语、俄语和意大利语;e会讲俄语和韩语;f会讲汉语:g会讲法语和汉语。

试问这7个人应如何排座位(圆桌),才能使每个人和他身边的人交谈?。

相关文档
最新文档