离散数学复习指导3

合集下载

离散数学复习指导

离散数学复习指导

离散数学复习指导离散数学复习指导一、考试范围第一部分数理逻辑第七章二元关系9.1二元运算及其性质11.1格的定义与性质第五部分图论二、重点题型第一部分数理逻辑命题逻辑(一至三章)1、求命题公式的真值表知识:P7表1.1例题:P9例1.82等值演算知识:P17基本等值式例题:P19例2.33、判断公式的类型知识:P10定义1.10例题:用真值表法判断P15习题19用等值演算法判断P20例2.54、求主析取范式与主合取范式知识:P25开始例题:真值表法幻灯片例题2.9等值演算法P26例2.85、推理知识:P46定义3.3例题:P48例3.3(直接推理)例3.4(命题符号化后再推理)例3.5(附加前提证明法)例3.6(反证法)一阶逻辑(四五章)6、一阶逻辑等值演算知识:P68开始例题:P72例5.57、求一阶逻辑前束范式知识:P73定义5.2例题:p73例5.68、一阶逻辑推理知识:p76定义5.3例题:P77例5.9例5.10(直接推理)例5.11(命题符号化后再推理)第七章二元关系1、求二元关系的矩阵p105、关系图2、关系的运算:逆、右复合、幂p107定义7.7、7.8、7.10定理7.1、7.2、7.3、3、判断二元关系的性质知识:五种二元关系性质的定义、p117表7.1(定义法、集合表达式法、关系矩阵法、关系图法)例题:p117例7.14(关系图法)幻灯片例7.13、7.14、7.15、7.16、7.17(定义法、集合表达式法)4、求关系的闭包知识:p118定义7.14、定理7.10及推理(集合表达式法)、p119(关系矩阵法)例题:幻灯片例7.19(集合表达式法)、例题7.20(关系矩阵法)5、判断是否是等价关系、求等价类及划分知识:定义7.15、7.16、7.17、7.18例题:幻灯片例7.26、4.20(幻灯片编号有误,应为7.20)p133习题366、判断是否是偏序关系、画出偏序关系的哈斯图知识:p126定义7.19、7.20、7.22、7.23例题:幻灯片例4.26、4.27、4.28(幻灯片编号有误,应为7.26...)9.1二元运算及其性质1、画出二元运算的运算表2、求二元运算的单位元、零元、可逆元的逆元例题:p172例9.711.1格的定义与性质1、格的对偶原理的应用知识:p209对偶原理第五部分图论1、判断正整数序列是否是可图化的知识:p276定理14.1、14.2、14.3例题:p277例14.22、路、基本路、简单路、初级路概念3、求点割集与边割集知识:p283开始例题:p292习题21、224、求图的关联、邻接矩阵、求两结点长度为(或小于等于)n的通路数、求一结点长度为(或小于等于)n的回路数知识:p287开始例题:幻灯片例14.4、p294习题44、455、判断一个图是否具有欧拉路、欧拉回路、是否是欧拉图知识:p296开始例题:p305习题16、树的分支点、树叶和度的关系知识:p308定理16.1、定理16.2例题:p318习题2、3、47、求生成树、最小生成树知识:p310定义16.2、16.5例题:p312例16.38、求最优二叉树及其权知识:p314定义16.9、huffman算法例题:p314例16.5。

离散数学复习要点

离散数学复习要点

离散数学复习要点离散数学是数学的一个分支领域,主要研究离散的结构和离散情形下的数学对象及其相关性质。

它与连续数学不同,离散数学的对象是离散的,如集合、图、布尔代数等。

在计算机科学、信息科学、通信工程等领域中,离散数学的理论和方法被广泛应用。

以下是离散数学的一些重要的复习要点:1.集合论:集合是离散数学的基础,集合的基本运算如交、并、差等,以及集合的基本性质如并集和交集的结合律、分配律等,都是需要复习的内容。

此外,还需要了解集合的基数和幂集等概念。

2.命题逻辑:命题是一个可以判断真假的陈述句,命题逻辑是研究命题及其逻辑关系的数学体系。

需要复习的内容包括命题的逻辑运算,如非、与、或、异或等,以及逻辑等价、逻辑推理等。

3.谓词逻辑:谓词逻辑是对自然语言中的谓词进行形式化表示和推理的系统。

复习重点包括一阶谓词逻辑的基本概念,如谓词、量词、域、项等,以及谓词的合取、析取、全称量词和存在量词等逻辑联结词的语义。

4.图论:图论是研究图及其性质的数学分支。

需要复习的内容包括图的基本概念,如顶点、边、路径、圈等,以及图的表示方法、图的遍历算法、连通图、树等。

5. 网络流模型:网络流模型是研究流动网络的数学方法,主要包括最大流、最小割等问题。

需要复习的内容包括网络的基本概念,如容量、割、流等,以及Ford-Fulkerson算法等解决网络流问题的方法。

6.布尔代数:布尔代数是一种关于逻辑运算的代数系统,常用于电路设计和逻辑推理。

需要复习的内容包括布尔代数的基本运算,如与、或、非等,以及布尔函数的最小项与最大项表示、卡诺图等。

7.组合数学:组合数学是研究离散中的计数问题的数学分支。

需要复习的内容包括排列、组合、多元排列组合等的计数方法,如乘法原理、加法原理、排列组合的顺序问题等。

8.代数系统:代数系统是研究代数结构及其性质的数学分支,包括群、环、域等。

需要复习的内容包括群的基本概念和性质,如封闭性、结合律、单位元、逆元等。

《离散数学》课程复习指导

《离散数学》课程复习指导

《离散数学》课程复习指导一、考试题型:(1)单项选择题(每小题3分,本题共15分)(2)填空题(每小题3分,本题共15分)(3)逻辑公式翻译(每小题6分,本题共12分)(4)判断说明题(每小题7分,本题共14分)(5)计算题(每小题12分,本题共36分)(6)证明题(本题共8分)期末考试采用半开卷笔试形式,卷面满分为100分,考试时间为90分钟。

二、考试说明:Ⅰ.关于课程考核说明与实施要求1.考核对象:本课程考核说明适用于中央广播电视大学开放教育本科电气信息类计算机科学与技术专业的学生.2.考核依据:本考核说明是以本课程的教学大纲(2007年6月审定)和指定的参考教材为依据制定的.本课程指定的参考教材是李伟生主编的、中央广播电视大学出版社出版的《离散数学》.3.考核方式:本课程的考核实行形成性考核和终结性考核相结合的方式.4.课程综合成绩的记分方法:形成性考核占课程考核成绩的30%,即形成性考核的成绩满分为30分;终结性考核成绩占课程考核成绩的70%,即终结性考核成绩满分70分.课程考核成绩满分100分,60分以上为合格,可以获得课程学分.5.形成性考核的说明:见附件一。

6.终结性考试的说明:终结性考核实行全国统一考核,根据本课程考试说明,由中央电大统一命题,统一评分标准,统一考核时间.(1) 考核要求:本课程考核要求分三个层次,有关概念、性质和定理等理论方面的要求从高到低为理解,了解和知道;有关方法、公式和法则等的要求从高到低为熟练掌握,掌握和会.(2) 组卷原则:终结性考核的考核内容和要求以本考核说明为准,要求考核基本概念、基本原理和基本运算.命题覆盖面可适当宽些,但试题难度要适中,题量要适当.易、中、较难题目在试卷中分配为4:4:2.(3) 试题类型及结构:单项选择题的分数占15%,填空题的分数占15%,公式翻译题的分数占12%,判断说明题的分数占14%,计算题的分数占36%;证明题的分数占8%.单项选择题和填空题主要涉及基本概念、基本理论、重要性质和结论、公式及其简单计算.单项选择题给出四个备选答案,其一是正确选项.填空题只需填写正确结论,不写计算、推论过程或理由.逻辑公式翻译题主要是利用命题逻辑和谓词逻辑的基本概念及命题联结词、谓词量词,将一个陈述句翻译成命题公式或谓词公式.判断说明题是对给定的一个命题或结论作出对与错的判断,并给出简单的说明.计算题主要考核学生的基本运算技能和速度,要求写出化简、计算过程.证明题主要考查应用概念、性质、定理及重要结论进行逻辑推理的能力,要求写出推理过程.(4) 考核形式:采用半开卷、笔试方式,试卷满分100分.半开卷考试允许考生携带指定的一张专用A4纸(统一印制),考生可以将自己对全课程学习内容的总结归纳写在这张A4纸上带入考场,作为答卷时参考.(5) 考核时间:90分钟.三.重点复习内容第1章集合及其运算1.理解集合的概念,容斥原理.2.理解集合的包含、子集、相等和幂集等概念,熟练掌握集合的表示方法和集合的并、交、补、差和对称差等运算,会用文氏图表示集合的各种运算.3.掌握用集合运算基本规律证明集合恒等式的方法.4.掌握利用容斥原理进行计数的方法.第2章关系与函数1.了解有序对和笛卡儿积的概念,掌握笛卡儿积的运算.2.理解关系的概念:包括二元关系、空关系、全关系、恒等关系.掌握关系的集合表示、关系矩阵和关系图,掌握关系的运算.3.掌握求复合关系和逆关系的方法.4.理解关系的性质(自反性和反自反性、对称性和反对称性、传递性),掌握其判别方法.5.理解等价关系和偏序关系概念,掌握等价关系、偏序关系的判定,掌握等价类、复盖集的求法和作偏序关系哈斯图的方法.知道极大(小)元,最大(小)元的概念,会求极大(小)元、最大(小)元、最小上界和最大下界.6.理解函数概念:函数(映射),函数相等,复合函数和反函数.7.理解单射、满射和双射等概念,掌握其判别方法.第3章图的基本概念与性质1.理解图的基本概念:结点、边、有向图,无向图、简单图、完全图、结点的度数、图的同构子图等,理解握手定理.2.了解通路与回路的概念:简单通路、初级通路和复杂通路,简单回路、初级回路和复杂回路,会求通路和回路的长度.3.了解无向图的连通性,会求无向图的连通分支.了解点割集、割点、边割集、割边、点连通度、边连通度等概念.4.了解有向图的强连通性、单向连通性、弱连通性;会判别有向图连通性的类型.5.理解图的矩阵表示法、邻接矩阵、可达性矩阵的概念,掌握邻接矩阵、可达性矩阵的有关计算.6.知道最短路径的概念,会最短路径的算法.第4章几种特殊图1.了解欧拉回路、欧拉图的概念及性质,掌握欧拉图的判别方法.2.了解汉密尔顿回路、汉密尔顿图的概念及性质,掌握汉密尔顿图的判别方法. 3.了解平面图的概念:平面图、面、边界、面的次数和非平面图,掌握平面图的判别方法,掌握欧拉公式的应用.4.理解平面图与对偶图的关系、对偶图在图着色中的作用,掌握着色算法; 5.掌握图论中常用的证明方法第5章树及其应用1.了解无向树、树叶、分支点、平凡树、生成树和最小生成树等概念及性质,掌握最小生成树的Kruskal 算法.2.了解有向树、根树、有序树、最优二元(叉)树等概念及性质,掌握最优树的Huffman 算法.3.掌握利用最优树产生前缀码的方法.第6章命题逻辑1.理解命题联结词概念,掌握命题公式的翻译(命题符号化)及判断语句是不是命题的方法.2.熟练掌握求给定公式真值表的方法.3.掌握基本等值式以及用真值表法和等值演算法判别公式类型和公式等值的方法. 4.了解析取(合取)范式概念,理解极小(大)项的概念和主析取(合取)范式概念,熟练掌握用基本等值式或真值表将公式化为主析取(合取)范式的方法. 5.掌握命题公式的的直接证明方法与间接证明方法.第7章谓词逻辑1.理解谓词、量词、个体词、个体域、全域、原子公式、谓词公式和变元等概念.掌握谓词公式的翻译.2.掌握在有限个体域下消去公式的量词和求公式在给定解释下真值的方法. 3.掌握谓词演算的等值式和重言蕴含式.4.了解前束范式的概念,会求谓词公式的前束范式的方法. 5.了解谓词逻辑推理的规则,掌握谓词公式的证明与推导方法. *.各种试题类型及解答举例一、单项选择题1.设a 是集合A 的元素,则以下正确的是( ). A .a a ⊆}{B .A a ⊆}{C .A a ⊆D .A a ∈}{选项B 正确,填写答案:“B ”.(容易题)2.有向完全图D =<V ,E >, 则图D 的边数是( ).A .∣E ∣(∣E ∣-1)/2B .∣V ∣(∣V ∣-1)/2C .∣E ∣(∣E ∣-1)D .∣V ∣(∣V ∣-1) 选项D 正确,填写答案:“D ”.(中等题)二、填空题3.含有三个命题变项P ,Q ,R 的命题公式P ∧Q 的主析取范式是 . 填写答案:“(P ∧Q ∧R )∨(P ∧Q ∧⌝R )”.(较难题)4.设集合A ={1, 2, 3, 4 },B ={6, 8, 12}, A 到B 的二元关系R =},,2,{B y A x x y y x ∈∈=>< 那么R -1=填写答案:{<6,3>,<8,4> }.(容易题)三、公式翻译题5.请将语句“除非你去,否则我不去”翻译成命题公式. 解:设命题P :你去;Q :我去.则命题公式为:Q →P 或者┐P →┐Q .(中等题)6.请将语句“尽管有人努力工作了,但未必一切人都努力工作.”翻译成谓词公式. 解:设P (x ):x 是人;Q (x ):x 努力工作.则谓词公式:(∃x )(P (x )∧Q (x ))∧┐((∀x )(P (x )→Q (x ))) (较难题)四、判断说明题7.设R ,S 是集合A 上传递的关系,判断R ⋃S 是否具有传递性,并说明理由. 解:R ⋃S 不一定是传递的关系.例如集合A = {1 , 2 , 3 }上的关系R = {<1 , 2>},S ={<2 , 3>},都是A 上传递的关系.但是,R ⋃S = {<1 , 2>,<2 , 3>}不是A 上传递的.(中等题)8.用真值表判断命题公式))(()(P Q P Q P ∨∧→→的类型.解:命题公式))(()(P Q P Q P ∨∧→→的真值表如下五、计算题9.设},{},,,{},,{},,,,,{42=521=41=54321=C B A E ,求:(1)(A ⋂B )⋃~C ; (2)P (A )-P (C ); (3)A ⊕B .解:(1)(A ⋂B )⋃~C ={1}⋃}5,3,1{}5,3,1{=(2)}}4,2{},4{},2{,{}}4,1{},4{},1{,{)()(φφ-=-C P A P}}4,1{},1{{=(3)A ⊕B =(A ⋃B )-(A ⋂B )=}5,4,2{}1{}5,4,2,1{=- (容易题)10.(1)求命题公式)()(Q P Q P ⌝→∧→⌝的主析取范式; (2)求该命题公式的成假赋值.解:(1)()()()()P Q P Q P Q P Q ⌝→∧→⌝⇔∧⌝∧⌝∨⌝P Q ⇔∧⌝(2)因为该命题公式的成真赋值是(1,0),所以成假赋值为 (0,0),(0,1),(1,1) (中等题)六、证明题11.设G 是连通简单平面图,则它一定有一个度数不超过5的结点.(提示:用反证法) 证:因为G 是连通简单平面图,它的每个面至少有3条边,所以有e r 23≤,即32er ≤(其中r ,e 分别为图G 的面数和边数)假设结论不成立,则每个结点的度数都大于等于6.则有e v 26≤,即有3ev ≤(其中v 是图G 的结点数) 由欧拉公式:2=e e e e r v -+≤-+323=0 矛盾.所以G 中至少有一个结点的度数小于或等于5. (较难题)IV .样卷(一)一、单项选择题(每小题3分,本题共15分)1.若集合A ={2,a ,{3},4},则下列表述正确的是( ). A .{a }∈AB .{3}⊆AC .{3}∈AD .∅∈A2.设集合A ={a , b },则A 上的二元关系R={<a , a >, <b , b >}是A 上的( )关系.A .是等价关系但不是偏序关系B .是偏序关系但不是等价关系C .既是等价关系又是偏序关系 A .不是等价关系也不是偏序关系 3.设图G 的邻接矩阵为⎥⎥⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎢⎢⎣⎡0101010010000011100000100则G 的边数为( ).A .5B .6C .3D .44.无向图G 存在欧拉通路,当且仅当( ). A .G 中所有结点的度数全为偶数B .G 中至多有两个奇数度结点C .G 连通且所有结点的度数全为偶数D .G 连通且至多有两个奇数度结点5.下列命题公式是等值的为( ).A .⌝P ∧⌝Q ,P ∨QB .A →(⌝B →A ),⌝A →(A →B )C .Q →(P ∨Q ),⌝Q ∧(P ∨Q )D .⌝A ∨(A ∧B ),B二、填空题(每小题3分,本题共15分)6.设A , B 为任意集合,命题A -B =∅的条件是.7.设集合A ={a ,b ,c },R 是A 上的二元关系,其关系图如图一所示:图一那么R 的关系矩阵为:M R =.8.设G 是连通平面图,v , e , r 分别表示G 的结点数,边数和面数,则v , e 和r 满足的关系式是.9.设G =<V,E>是有p 个结点,s 条边的连通图,则从G 中删去条边,才能确定图G 的一棵生成树.10.设个体域D ={1,2},那么谓词公式)()(y yB x xA ∀∨∃消去量词后的等值式为.三、公式翻译题(每小题6分,本题共12分)11.请将语句“今天不是天晴”翻译成命题公式.12.请将语句“如果天不下雪,我有时间,那么我就去市里”翻译成命题公式.四、判断说明题(每小题7分,本题共14分)13.如果R 1和R 2是A 上的自反关系,判断 结论:“R 1∪R 2是自反的” 是否成立?并说明 理由.14.图G (如图二所示)能否一笔画出?说明 理由.若能画出,请写出一条通路或回路.五.计算题(每小题12分,本题共36分)15.设谓词公式)(),()),,(),((y F z y yR z x y zQ y x P x ↔∀∧∀→∃. (1)试写出量词的辖域;(2)指出该公式的自由变元和约束变元.16.设G =<V ,E >,V ={ v 1,v 2,v 3,v 4,v 5},E ={ (v 1,v 2),(v 1,v 3),(v 2,v 3),(v 2,v 4),(v 3,v 4),(v 3,v 5),(v 4,v 5) }.(1)试给出G 的图形表示;cv 12图二(2)写出其邻接矩阵; (3)求出每个结点的度数.17.设集合A ={a , b , c , d }上的二元关系R 的 关系图如图三所示.(1)写出R 的表达式; (2)写出R 的关系矩阵; (3)求出R 2.六、证明题(本题共8分)19.试证明集合等式:A ⋃ (B ⋂C )=(A ⋃B ) ⋂ (A ⋃C ).样卷(二)一、单项选择题(每小题3分,本题共15分)1.非空集合A 上的二元关系R ,满足( ),则称R 是等价关系.A .自反性,对称性和传递性B .反自反性,对称性和传递性C .反自反性,反对称性和传递性D .自反性,反对称性和传递性 2.下列数组中,能构成无向图的度数列的数组是( ).A .(1,1,2,3)B .(1,2,3,4,5)C .(2,2,2,2)D .(1,3,3)3.设G 是有n 个结点,m 条边的连通图,必须删去G 的( )条边,才能确定G 的一棵生成树.A .1m n -+B .m n -C .1m n ++D .1n m -+ 4.命题公式)(Q P →⌝的主析取范式是( ). A .Q P ⌝∧B Q P ∧⌝C .Q P ∨⌝D .Q P ⌝∨5.表达式))(),(())(),((z zQ y x R y z Q y x P x ∀→∃∧∨∀中x ∀的辖域是( ). A .P (x , y ) B .P (x ,y )∨Q (z ) C .R (x ,y ) D .P (x ,y )∧R (x ,y )二、填空题(每小题3分,本题共15分)6.设集合A ={ b ,c },那么集合A 的幂集合P (A )=.7.设A ,B 为有限集,且|A|=m ,|B|=n ,那末A 与B 间存在双射,当且仅当.8.已知图G 中有1个1度结点,2个2度结点,3个3度结点,4个4度结点,则G 的边数是.9.设G=<V ,E >是具有n 个结点的简单图,若在G 中每一对结点度数之和大于等于,则在G 中存在一条汉密尔顿路.10.命题公式()P Q P →∨的真值是.三、公式翻译题(每小题6分,本题共12分)11.请将语句“如果天不下雨,我就去书店”翻译成命题公式.12.请将语句“若a 是偶数,b 是偶数,则a +b 也是偶数.”翻译成命题公式.四、判断说明题(每小题7分,本题共14分)13.设A 、B 、C 为任意的三个集合,如果A ∪B =A ∪C ,判断结论B =C 是否成立?并说明理由.图三14.给定两个图G 1,G 2(如下图所示),试判断它们是否为欧拉图、哈密顿图?并说明理由.五.计算题(每小题12分,本题共36分)15.(1)化简集合表达式:((A ⋃B ⋃C )⋂(A ⋃B ))-((B ⋃(B -C ))-A ); (2)设集合A ={1,2},求A ×P (A ).16.设A ={1,2,3,4,5,6,7,8,9,10,11,12},R 是A 上的整除关系,B ={2,4,6}. (1)写出关系R 的表示式; (2)画出关系R 的哈斯图;(3)求出集合B 的最大元、最小元. 17.图G =<V , E >,其中V ={a ,b ,c ,d ,e ,f },E ={ (a , b ), (a , c ), (a , e ),(b , d ),(b , e ), (c , e ), (d , e ), (d , f ), (e , f ) },对应边的权值依次为5,2,1,2,6,1,9,3及8.(1)画出G 的图形;(2)求出G 权最小的生成树.六、证明(本题共8分)18.试证明逻辑式:(A →B )∧┐B ∧┐(C ∧┐A )⇒┐C附件一离散数学课程基于网络考核改革试点方案(2010年6月修改)离散数学是中央电大计算机科学与技术专业(本科)的一门统设必修学位课程。

1009离散数学期末复习指导

1009离散数学期末复习指导

离散数学期末复习指导注意:1试题类型及结构:单项选择题的分数占15%,填空题的分数占15%,公式翻译题的分数占12%,判断说明题的分数占14%,计算题的分数占36%;证明题的分数占8%.2考试重点:本学期的三次教学活动资料、学习笔记和历年试题!3离散数学期末复习指导分为两个部分:第一部分,离散数学历年试题汇编,熟悉考试试题及解题方法;第二部分,例题精讲。

4请大家充分利用课程学习平台教学活动资料栏目(尤其是本学期 11 月 3 日 , 24 日和 12 月 9 日 的三次教学辅导活动资料)、学习笔记栏目和课程复习 — 自测栏目中的资料,抓住重点进行复习争取期末考试获得好成绩。

第一部分,离散数学历年试题汇编一、单项选择题1.若集合A ={1,{1},{2},{1,2}},则下列表述正确的是(A ).A .{2}∈AB .{1,2}⊂AC .1∉AD .2 ⊂ A 2.设G 为无向图,则下列结论成立的是 ( C ) . A .无向图G 的结点的度数等于边数的两倍. B .无向图G 的结点的度数等于边数.C .无向图G 的结点的度数之和等于边数的两倍.D .无向图G 的结点的度数之和等于边数. 3.图G 如图一所示,以下说法正确的是(C ) . A .{(a ,b )}是边割集 B .{ a ,c }是点割集 C .{d }是点割集 D .{ (c ,d )}是边割集图一4.设集合A ={1},则A 的幂集为( D ).A .{{1}}B .{1,{1}}C .{∅,1}D .{∅,{1}}5.设A (x ):x 是人,B (x ):x 犯错误,则命题“没有不犯错误的人” 可符号化为( B ).A .┐(∃x )( A (x ) → ┐B(x))B .┐(∃x )( A (x )∧┐B (x ))C .┐(∃x )( A (x )∧B (x ))D .(∀x )( A (x )∧B (x ))6.若集合A={a,{1}}则下列表述正确的是( A).. {1}. {1}. {}. A A B A C a AD A∈⊆∈∅∈7. 设图,,GV E v V=<>∈,则下列结论成立的是(D).A 、deg()2v E =B 、deg()v E=οο ο οοο a b c defC 、deg()v Vv E ∈=∑ D 、deg()2v Vv E ∈=∑8. 如图一所示,以下说法正确的是(B )。

离散数学复习要点共121页

离散数学复习要点共121页
破平静。——马·格林 47、在一千磅法律里,没有一盎司仁 爱。— —英国
48、法律一多,公正就少。——托·富 勒 49、犯罪总是以惩罚相补偿;只有处 罚才能 使犯罪 得到偿 还。— —达雷 尔
50、弱者比强者更能得到法律的保护 。—— 威·厄尔
谢谢你的阅读
❖ 知识就是财富 ❖ 丰富你的人生
71、既然我已经踏上这条道路,那么,任何东西都不应妨碍我沿着这条路走下去。——康德 72、家庭成为快乐的种子在外也不致成为障碍物但在旅行之际却是夜间的伴侣。——西塞罗 73、坚持意志伟大的事业需要始终不渝的精神。——伏尔泰 74、路漫漫其修道远,吾将上下而求索。——屈原 75、内外相应,言行相称。——韩非

离散数学复习提纲

离散数学复习提纲

离散数学复习提纲离散数学是一门关于离散对象的数学分支,它主要研究离散结构及其性质,广泛应用于计算机科学、信息技术、密码学等领域。

下面是一个离散数学的复习提纲,包括离散数学的基本概念、离散结构、图论、关系、逻辑以及集合论等内容。

一、离散数学的基本概念1.数学基础:集合、函数、关系、证明方法(数学归纳法、反证法、递归法等);2.命题逻辑:命题、命题连接词、真值表、逻辑运算、逻辑等价、推理规则等;3.谓词逻辑:谓词、量词、公式、合取范式和析取范式、蕴含、等价、量词的否定规则等;4.证明方法:直接证明、间接证明、归谬证明、证明策略等。

二、离散结构1.图论:图的基本概念、图的表示方法、连通性、路径和回路、图的着色、最小生成树等;2.代数结构:群、环、域的定义、性质及基本例子;3.组合数学:组合基本原理、二项式系数、排列组合、生成函数、递归关系、容斥原理等;4.有限状态自动机:确定性有限状态自动机、非确定性有限状态自动机、正则表达式等。

1.图的基本概念:顶点、边、路径、回路、度等;2.图的表示:邻接矩阵、邻接表、关联矩阵等;3.图的遍历:深度优先、广度优先;4. 最短路径问题:Dijkstra算法、Floyd-Warshall算法;5. 最小生成树问题:Prim算法、Kruskal算法;6.匹配问题:最大匹配、二分图匹配等。

四、关系1.关系的基本概念:关系矩阵、关系的性质(反自反性、对称性、传递性等);2.等价关系:等价关系的性质、等价类等;3.偏序关系:偏序关系的性质、偏序集合、哈斯图等;4.传递闭包:传递闭包的定义、传递闭包的计算方法等。

五、逻辑1.命题逻辑:命题的定义、逻辑运算、真值表、逻辑等价、推理规则等;2.谓词逻辑:量词的定义、公式的定义、量词的否定规则、等价变换等;3.命题逻辑与谓词逻辑的转换;4.形式化推理:前向链式推理、后向链式推理、消解法等。

1.集合的基本概念:子集、并集、交集、差集、补集等;2.集合运算:集合的并、交、差、补等运算的性质;3.集合的关系:包含关系、相等关系、等价关系等;4.集合的表示方法:列举法、描述法、元祖法等;5.集合的基数:有限集合的基数、无穷集合的基数、基数的性质。

离散数学复习要点

离散数学复习要点

离散数学复习要点第一章命题逻辑一、典型考查点1、命题的判断方法:陈述句真值唯一,特殊:反问句也是命题。

其它疑问句、祈使句、感叹句、悖论等皆不是。

详见教材P12、联结词运算定律┐∧∨→记住特殊的:1∧1⇔1,0∨0⇔0,1→0⇔0,11⇔1,00⇔1详见P53、命题符号化步骤:A划分原子命题,找准联结词。

特殊自然语言:不但而且,虽然但是用∧,只有P才Q,应为Q→P;除非P否则Q,应为┐P→Q。

B设出原子命题写出符号化公式。

详见P54、公式的分类判定(重言式、矛盾式、可满足式)方法:其一根据所有真值赋值情况,其二根据等价演算来判断。

详见P95、真值表的构造步骤:①命题变元按字典序排列,共有2n个真值赋值。

②对每个指派,以二进制数从小到大或从大到小顺序列出。

③若公式较复杂,可先列出各子公式的真值(若有括号,则应从里层向外层展开),最后列出所求公式的真值。

详见P8。

6、基本概念:置换规则,P规则,T规则,详见P24;合取范式,析取范式,详见P15;小项详见P16;大项详见P18,最小联结词组详见P157、等价式详见P22表1.6.2 证明方法:①真值表完全相同②用等价演算③利用A⇔B的充要条件是A⇒B且B⇒A。

主要等价式:(1)双否定:⎤⎤A⇔A。

(2)交换律:A∧B⇔B∧A,A∨B⇔B∨A,A↔B⇔B↔A。

3)结合律:(A∧B)∧C⇔A∧(B∧C),(A∨B)∨C⇔A∨(B∨C),(A↔B)↔C⇔A↔(B↔C)。

(4) 分配律:A∧(B∨C)⇔(A∧B)∨(A∧C),A∨(B∧C)⇔(A∨B)∧(A∨C)。

(5) 德·摩根律:⎤(A∧B)⎤⇔A∨⎤B,⎤(A∨B)⎤⇔A∧⎤B。

(6) 等幂律:A∧A⇔A,A∨A⇔A。

(7) 同一律:A∧T⇔A,A∨F⇔A。

(8) 零律:A∧F⇔F,A∨T⇔T。

(9) 吸收律:A∧(A∨B)⇔A,A ∨(A∧B)⇔A。

(10) 互补律:A∧⎤A⇔F,(矛盾律),A∨⎤A⇔T。

离散数学复习资料

离散数学复习资料

离散数学复习资料离散数学是计算机科学与数学领域中的重要学科,它研究的是离散的数学结构和离散的数学对象。

在计算机科学领域,离散数学是构建算法和设计计算机系统的基础。

为了更好地复习离散数学,我们可以从以下几个方面入手。

一、集合论集合论是离散数学的基础,它研究的是集合及其运算。

在集合论中,我们需要了解集合的定义、基本运算和集合间的关系。

此外,还需要掌握集合的代数运算法则,如交、并、差和补集等。

复习时可以通过解题来加深理解,例如证明集合之间的等价关系、集合的幂集等。

二、逻辑与命题逻辑是离散数学中的重要分支,它研究的是推理和论证的规则。

在逻辑中,命题是最基本的逻辑单位。

复习时需要了解命题的定义和常见的逻辑运算符,如非、与、或、异或等。

此外,还需要熟悉命题的真值表和命题之间的逻辑等价关系。

通过解题和推理,可以提高对逻辑的理解和应用能力。

三、图论图论是离散数学中的一个重要分支,它研究的是图及其性质。

在图论中,我们需要了解图的基本概念,如顶点、边、路径、环等。

此外,还需要熟悉图的表示方法,如邻接矩阵和邻接表。

复习时可以通过解题来加深对图的理解,例如求最短路径、判断图的连通性等。

四、代数系统代数系统是离散数学中的一个重要内容,它研究的是代数结构及其性质。

在代数系统中,我们需要了解群、环、域等代数结构的定义和性质。

此外,还需要熟悉代数运算法则和代数结构之间的关系。

复习时可以通过解题来加深对代数系统的理解,例如证明一个集合构成一个群、判断一个环是否是域等。

五、概率论与统计学概率论与统计学是离散数学中的一个重要分支,它研究的是随机事件和随机变量的概率性质。

在概率论与统计学中,我们需要了解概率的定义和性质,掌握常见的概率分布和统计方法。

此外,还需要熟悉概率的运算法则和统计推断的基本原理。

复习时可以通过解题和实际问题的分析来加深对概率论与统计学的理解。

总之,离散数学作为计算机科学与数学领域中的重要学科,对于计算机科学专业的学生来说具有重要意义。

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

离散数学复习指导Ⅲ
代数结构部分
一学习要求
1.理解二元运算的含义及代数系统中的运算的性质及特殊元(单位元、零无、逆元)的定义;
2.了解代数系统的同态与同构的定义;知道满同态下的保持性;
3. 记住半群的定义,掌握特殊半群(独异点、循环半群、可交换半群等)的证明方法。

4. 记住群的定义,了解群的性质,掌握群的证明方法(从定义出发)。

;
二范例
例1. Z为整数集,S={x|)

∈x
x},在S 上定义二元运算*:
Z

-
5
10
(≤
x*y=min{x,y},证明<S,*>是单元可交换半群。

证:⑴对任意x,y S
∈,
∈, x*y=min{x,y}S
∴*是二元运算,<S,*>是代数系统;
⑵对任意x,y,z S

∵(x*y)*z=(min{x,y})*z=min{x,y,z}
x*(y*z)= z * (min{x,y}) =min{x,y,z}
∴*运算满足结合律,<S,*>是半群;
⑶对任意x S
∈,
∵x*10=10*x=x
∴10是单位元,<S,*>是单元半群;
⑷ x*y=min{x,y}= min{y,x}=y*x, ∴*运算满足交换律;
故<S,*>是单元可交换半群。

例2.(10分) Z n={0,1,2,…,n-1 },在Z n上定义二元运算·:
,· >是循环x·y=(x+y) mod n, 其中+、-是普通加法、减法,证明<Z
n
群。

证(1)对任意x,y∈Z n,因
x·y=(x+y) mod n∈Z
n
所以·是二元运算, <Z n,·>是代数系统;(2分)
(2) 对任意x,y,z∈Z
,因
n
(x·y)·z=((x+y) mod n) ·z=(x+y+z) mod n
x·(y·z)=x·((y+z) mod n)=(x+y+z) mod n
有(x·y)·z= x·(y·z)
所以·满足结合律, <Z n,·>是半群;(2分)
(3)对任意x, 因
0·x=x·0=x
所以,0是单位元; (2分)
-,
(4) 0
01=
对任意x∈Z n且0

x时,
x·(n-x)=(n-x) ·x=0
所以 x n x -=-1
由(1)(2(3)(4)知<Z n ,△>是群; (2分)
(5)对任意x ∈Z n 都有x=1x
1是生成元,所以<Z n ,·>是循环群。

(2分)
三 练习题
1.选择题
⑴设F={0,1},运算∙是普通乘法,则<F,∙> 。

A. 是群
B. 是半群但不是独异点
C. 不是半群
D.是独异点 ⑵ 设自然数集N 上,定义运算∙是普通乘法,则(N,∙) 。

A. 是群 B. 是单元半群但不是群
C. 是环但不是域
D.是域
⑶ 设R 实数,则R 关于如下_____定义的*运算不是二元运算。

A. y
x y x =* B. ),max(y x y x =* C. ),min(y x y x =* D. y x y x -=*
⑷ 有理数集Q 关于普通乘法*不能构成 。

A.代数系统
B.半群
C.独异点
D.群
⑸ 设F={-1,1},运算∙是普通乘法,则(F,∙) 。

A. 是独异点但不是群
B. 是群但不是阿贝尔群
C. 是阿贝尔群但不是循环群
D. 是阿贝尔群并且是循环群
2.在整数集Z 上定义二元运算*:x*y=x+y-xy,证明<Z ,*>是独异点且*运算满足交换律。

并求所有可逆元素的逆元
3 .Z 7={0,1,2,3,4,5,6},在Z 7 上定义二元运算* x*y=(x+y) mod 7,
其中+是普通加法,证明<Z 7,*>是循环群。

4.. 置换⎪⎪⎭
⎫ ⎝⎛16723457654321写成不交的轮换乘积是 。

5. S={1,2,3,4}, S 上的置换()124=τ,())24(13=σ,求τσ, 1-στ.
6. 6阶循环群G=<a> ,则G 的生成元为 和 ,G 共有 个子群。

相关文档
最新文档