- 1、本文档共5页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
离散数学期复习要点与重点
离散数学期末复习要点与重点大纲
(复习以课本和笔记为主。文中标红为需重点掌握的,祝大家都能取得好成绩!)
第1章 命题逻辑
复习要点
1.理解命题概念,会判别语句是不是命题.理解五个基本联结词:(、合取(、条件(、和双条件(及其真值表,理解其他联结词的定义及基本等价式,会将简单命题符号化.
具有确定真假意义的陈述句称为命题.
命题必须具备:其一,语句是陈述句;其二,语句有唯一确定的真假意义.
2.理解公式的概念(公式、赋值、成真指派和成假指派)和公式真值表的构造方法.能熟练地作公式真值表.理解永真式和永假式概念,掌握其判别方法.
判定命题公式类型的方法:其一是真值表法,其二是等价演算法.
3.了解公式等价概念,掌握公式的重要等价式和判断两个公式是否等价的有效方法:等价演算法、列真值表法和主范式方法.
4.理解析取范式和合取范式、极大项和极小项、主析取范式和主合取范式的概念,熟练掌握它们的求法(真值表法和等价推导法).
命题公式的范式不惟一,但主范式是惟一的.
命题公式A有n个命题变元,A的主析取范式有k个小项,有m个大项,则
于是有
(1) A是永真式(k=2n(m=0); (2) A是永假式(m=2n(k=0);
5.了解C是前提集合{A1,A2,…,Am}的有效结论或由A1, A2, …, Am 逻辑地推出C的概念.要理解并掌握推理理论的规则、重言蕴含式和等价式,掌握命题公式的证明方法:真值表法、直接证法、间接证法.
重点:命题与联结词,真值表,主析取(合取)范式,命题演算的推理理论.
第2章 谓词逻辑
复习要点
1.理解谓词、量词、个体词、个体域,会将简单命题符号化.
原子命题分成个体词和谓词,个体词可以是具体事物或抽象的概念,分个体常项和个体变项.谓词用来刻划个体词的性质或之间的关系.
量词分全称量词(,存在量词(.
命题符号化注意:使用全称量词(,特性谓词后用(;使用存在量词(,特性谓词后用(.
2.了解原子公式、谓词公式、变元(约束变元和自由变元)与辖域等概念.掌握在有限个体域下消去公式的量词和求公式在给定解释下真值的方法.
由原子公式、联结词和量词构成谓词公式.谓词公式具有真值时,才是命题.
在谓词公式(xA或(xA中,x是指导变元,A是量词的辖域.会区分约束变元和自由变元.
在非空集合D(个体域)上谓词公式A的一个解释或赋值有3个条件.
在任何解释下,谓词公式A取真值1,A为逻辑有效式(永真式);公式A取真值0,A为永假式;至少有一个解释使公式A取真值1,A称为可满足式.
在有限个体域下,消除量词的规则为:设D={a1, a2, …, an},则
会求谓词公式的真值,量词的辖域,自由变元、约束变元,以及换名规则、代入规则等.
掌握谓词演算的等价式和重言蕴含式.并进行谓词公式的等价演算.
3.理解前束范式的概念,掌握求公式的前束范式的方法.
若一个谓词公式F等价地转化成 ,那么就是F的前束范式,其中Q1,Q2,…,Qk只能是(或(,而x1, x2, …, xk是个体变元,B是不含量词的谓词公式.前束范式仍然是谓词公式.
重点:翻译;前束范式.
第3章 集合与关系
复习要点
1.理解集合、元素、集合的包含、子集、相等,以及全集、空集和幂集等概念,熟练掌握集合的表示方法.
集合的表示方法:列举法和描述法.
注意:集合的表示中元素不能重复出现,集合中的元素无顺序之分.
掌握集合包含(子集)、真子集、集合相等等概念.
注意:元素与集合,集合与子集,子集与幂集,(与(((),空集(与所有集合等的关系.
空集(,是惟一的,它是任何集合的子集.
集合A的幂集P(A)=, A的所有子集构成的集合.若(A(=n,则(P(A)(=2n.
2.熟练掌握集合A和B的并A(B,交A(B,补集(A((A补集总相对于一个全集).差集A-B,对称差(,A(B=(A-B)((B-A),或A(B=(A(B)-(A(B)等运算.
掌握集合运算律(运算的性质).
3.掌握用集合运算基本规律证明集合恒等式的方法.
集合的运算问题:其一是进行集合运算;其二是运算式的化简;其三是恒等式证明.
证明方法有二:(1)要证明A=B,只需证明A(B,又A(B;
(2)通过运算律进行等式推导.
4.了解有序对和笛卡尔积的概念,掌握笛卡尔积的运算.
有序对就是有顺序二元组,如x, y,x, y 的位置是确定的,不能随意放置.
注意:有序对a,b(b, a,以a, b为元素的集合{a, b}={b, a};有序对(a, a)有意义,而集合{a, a}是单元素集合,应记作{a}…×An.
5.理解关系的概念:二元关系、空关系、全关系、恒等关系.掌握关系的集合表示、关系矩阵和关系图,掌握关系的集合运
您可能关注的文档
- 电阻元件伏特性的测定.ppt
- 电阻的串联、并联及其电流表电压表内阻应用.ppt
- 电阻的伏特性曲线.doc
- 电路与模拟子技术第一章殷瑞祥.ppt
- 疼痛科诊临床路径.doc
- 画法几何工程制图B.doc
- 疼痛的评与剂量滴定.ppt
- 病理学题库(名解释,问答).doc
- 疲劳设计及应用实例.pptx
- 病历书写范及常见缺陷及法律法规.ppt
- 纺织品印花简介bywq.pptx
- 纺织品检验基础.pptx
- 纺织企业MTP管理基础能力.pptx
- 2024年二级建造师《市政公用工程管理与实务》A卷-北方版-回忆版.pdf
- 2023年二级建造师《水利水电工程管理与实务》真题及解析(两天三科)(OCR).pdf
- 2024年二级建造师《市政公用工程管理与实务》B卷-南方版-回忆版.pdf
- 2024年二级建造师《机电工程管理与实务》A卷-北方版-回忆版.pdf
- 2022~2017年二级建造师《水利水电工程管理与实务》真题及参考答案(OCR).pdf
- 2023年二级建造师《建设工程施工管理》真题(一).pdf
- 2023年二级建造师《水利水电工程管理与实务》真题及解析(一天三科)(OCR).pdf
文档评论(0)