离散数学复习要点
离散数学复习要点

离散数学复习要点第一章命题逻辑一、典型考查点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,最小联结词组详见P15,7、等价式详见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。
(排中律)(11) 条件式转化律:A→B A∨B,A→B B→A。
离散数学复习要点

离散数学复习要点离散数学是数学的一个分支领域,主要研究离散的结构和离散情形下的数学对象及其相关性质。
它与连续数学不同,离散数学的对象是离散的,如集合、图、布尔代数等。
在计算机科学、信息科学、通信工程等领域中,离散数学的理论和方法被广泛应用。
以下是离散数学的一些重要的复习要点:1.集合论:集合是离散数学的基础,集合的基本运算如交、并、差等,以及集合的基本性质如并集和交集的结合律、分配律等,都是需要复习的内容。
此外,还需要了解集合的基数和幂集等概念。
2.命题逻辑:命题是一个可以判断真假的陈述句,命题逻辑是研究命题及其逻辑关系的数学体系。
需要复习的内容包括命题的逻辑运算,如非、与、或、异或等,以及逻辑等价、逻辑推理等。
3.谓词逻辑:谓词逻辑是对自然语言中的谓词进行形式化表示和推理的系统。
复习重点包括一阶谓词逻辑的基本概念,如谓词、量词、域、项等,以及谓词的合取、析取、全称量词和存在量词等逻辑联结词的语义。
4.图论:图论是研究图及其性质的数学分支。
需要复习的内容包括图的基本概念,如顶点、边、路径、圈等,以及图的表示方法、图的遍历算法、连通图、树等。
5. 网络流模型:网络流模型是研究流动网络的数学方法,主要包括最大流、最小割等问题。
需要复习的内容包括网络的基本概念,如容量、割、流等,以及Ford-Fulkerson算法等解决网络流问题的方法。
6.布尔代数:布尔代数是一种关于逻辑运算的代数系统,常用于电路设计和逻辑推理。
需要复习的内容包括布尔代数的基本运算,如与、或、非等,以及布尔函数的最小项与最大项表示、卡诺图等。
7.组合数学:组合数学是研究离散中的计数问题的数学分支。
需要复习的内容包括排列、组合、多元排列组合等的计数方法,如乘法原理、加法原理、排列组合的顺序问题等。
8.代数系统:代数系统是研究代数结构及其性质的数学分支,包括群、环、域等。
需要复习的内容包括群的基本概念和性质,如封闭性、结合律、单位元、逆元等。
离散数学知识点总结

离散数学知识点总结 一、各章复习要求与重点第一章 集 合[复习知识点]1、集合、元素、集合的表示方法、子集、空集、全集、集合的包含、相等、幂集2、集合的交、并、差、补等运算及其运算律(交换律、结合律、分配律、吸收律、 De Morgan 律等),文氏(V enn )图3、序偶与迪卡尔积本章重点内容:集合的概念、集合的运算性质、集合恒等式的证明 [复习要求]1、理解集合、元素、子集、空集、全集、集合的包含、相等、幂集等基本概念。
2、掌握集合的表示法和集合的交、并、差、补等基本运算。
3、掌握集合运算基本规律,证明集合等式的方法。
4、了解序偶与迪卡尔积的概念,掌握迪卡尔积的运算。
[本章重点习题]P5~6,4、6; P14~15,3、6、7; P20,5、7。
[疑难解析] 1、集合的概念因为集合的概念学生在中学阶段已经学过,这里只多了一个幂集概念,重点对幂集加以掌握,一是掌握幂集的构成,一是掌握幂集元数为2n 。
2、集合恒等式的证明通过对集合恒等式证明的练习,既可以加深对集合性质的理解与掌握;又可以为第三章命题逻辑中公式的基本等价式的应用打下良好的基础。
实际上,本章做题是一种基本功训练,尤其要求学生重视吸收律和重要等价式在B A B A ~⋂=-证明中的特殊作用。
[例题分析]例1 设A ,B 是两个集合,A={1,2,3},B={1,2},则=-)()(B A ρρ 。
解}}3,2,1{},3,2{},3,1{},2,1{},3{},2{},1{,{)(φρ=A}}2,1{},2{},1{,{)(φρ=B于是}}3,2,1{},3,2{},3,1{},3{{)()(=-B A ρρ例2 设{}{}Φ=,,,,b a b a A ,试求:(1){}b a A ,-; (2)Φ-A ; (3){}Φ-A ; (4){}{}A b a -,; (5)A -Φ; (6){}A -Φ。
解 (1){}{}{}Φ=-,,,b a b a A (2)A A =Φ- (3){}{}{}b a b a A ,,,=Φ- (4){}{}Φ=-A b a , (5)Φ=-ΦA (6){}Φ=-ΦA 例3 试证明()()()()B A B A B A B A ~~~~⋂⋃⋂=⋃⋂⋃ 证明()()()()()()()()()()()()()()()()()()B A B A B A B A B B B A A B A A B B A A B A B A B A ~~~~~~~~~~~~~⋂⋃⋂=Φ⋃⋂⋃⋂⋃Φ=⋂⋃⋂⋃⋂⋃⋂=⋂⋃⋃⋂⋃=⋃⋂⋃第二章 二元关系[复习知识点]1、关系、关系矩阵与关系图2、复合关系与逆关系3、关系的性质(自反性、对称性、反对称性、传递性)4、关系的闭包(自反闭包、对称闭包、传递闭包)5、等价关系与等价类6、偏序关系与哈斯图(Hasse )、极大/小元、最大/小元、上/下界、最小上界、最大下界7、函数及其性质(单射、满射、双射)8、复合函数与反函数本章重点内容:二元关系的概念、关系的性质、关系的闭包、等价关系、半序关系、映射的概念 [复习要求]1、理解关系的概念:二元关系、空关系、全关系、恒等关系;掌握关系的集合表示、关系矩阵和关系图、关系的运算。
离散数学复习知识点

复习知识点: 第1章1. 命题、真命题、假命题 2. 命题符号化〔连接词〕设P :天下大雨,Q :他在室内运动,命题“除非天下大雨,否则他不在室内运动”可符合化为〔 D 〕A .Q P ∧⌝B .Q P →⌝C .Q P ⌝→⌝D .Q P ⌝→设P :只有你通过了大学英语六级考试,Q :你是英语专业的学生,R :你可以选修这门课程。
命题“只有你通过了大学英语六级考试而且不是英语专业的学生,才可以选修这门课程”( B )A .R Q)(P →∧B .R Q)(P →⌝∧C .R Q)(P ↔⌝∧D .R Q)(P ↔∧3. 什么是命题公式 4. 命题公式的等价式5. 利用逻辑等价关系证明下面的等价关系 Q P Q)(P P))(Q Q)((P ∨⇔∧→→∧→证明:6. 用真值表法求命题公式的主析取范式和主合取范式 7. 符号化以下语句,并推证结论的有效性。
有些学生相信所有的老师,任何一个学生都不相信骗子,所以老师都不是骗子。
解:设论述域为全总个体域,S(x):x 是学生,T(x):x 是老师,P(x):x 是骗子,L(x,y):x 相信y 。
将前提和结论符号化为P(x))x(T(x)y)))L(x,y(P(y)x(S (x)y))),L(x,y(T(y)x(S (x)⌝→∀⇒⌝→∀→∀→∀∧∃〔1〕y)))L(x,y(T(y)x(S (x)→∀∧∃ P 〔2〕y))L(a,y(T(y)S (a)→∀∧T1,ESQ)(P TQ)(P Q)Q (Q)(P Q Q)(P T)(Q Q)(P P))P ((Q Q)(P Q)(P P)(Q Q)(P Q)(P P)Q (Q)P (Q)(P P))Q (Q)P ((Q)(P P)Q (Q)P (Q)(P P))(Q Q)((P ∨⇔∧∨⇔∨⌝∧∨⇔∨⌝∧⇔∧∨⌝∧⇔∨⌝∧∨⌝∧⇔∧∨⌝∧∨⌝∧⇔∧∨∨⌝⌝∨∨⌝⌝⇔∧∨∨⌝∧∨⌝⌝⇔∧→∨⌝∧∨⌝⇔∧→→∧→〔3〕S(a) T2,I 〔4〕y))L(a,y(T(y)→∀ T2,I 〔5〕b)L(a,T(b)→T4,US 〔6〕y)))L(x,y(P(y)x(S (x)⌝→∀→∀ P 〔7〕y))L(a,y(P(y)S (a)⌝→∀→ T6,US 〔8〕y))L(a,y(P(y)⌝→∀ T3,7,I 〔9〕b)L(a,P(b)⌝→ T8,US 〔10〕P(b)b)L(a,⌝→ T9,E 〔11〕P(b)T(b)⌝→T5,10,I 〔12〕P(x))x(T(x)⌝→∀T11,UG侦查员在调查了某珠宝店的珠宝失窃案现场以及询问了认证之后,得到以下事实: (1) 是营业员甲或营业员乙作案。
离散数学复习资料

离散数学复习资料离散数学是计算机科学与数学领域中的重要学科,它研究的是离散的数学结构和离散的数学对象。
在计算机科学领域,离散数学是构建算法和设计计算机系统的基础。
为了更好地复习离散数学,我们可以从以下几个方面入手。
一、集合论集合论是离散数学的基础,它研究的是集合及其运算。
在集合论中,我们需要了解集合的定义、基本运算和集合间的关系。
此外,还需要掌握集合的代数运算法则,如交、并、差和补集等。
复习时可以通过解题来加深理解,例如证明集合之间的等价关系、集合的幂集等。
二、逻辑与命题逻辑是离散数学中的重要分支,它研究的是推理和论证的规则。
在逻辑中,命题是最基本的逻辑单位。
复习时需要了解命题的定义和常见的逻辑运算符,如非、与、或、异或等。
此外,还需要熟悉命题的真值表和命题之间的逻辑等价关系。
通过解题和推理,可以提高对逻辑的理解和应用能力。
三、图论图论是离散数学中的一个重要分支,它研究的是图及其性质。
在图论中,我们需要了解图的基本概念,如顶点、边、路径、环等。
此外,还需要熟悉图的表示方法,如邻接矩阵和邻接表。
复习时可以通过解题来加深对图的理解,例如求最短路径、判断图的连通性等。
四、代数系统代数系统是离散数学中的一个重要内容,它研究的是代数结构及其性质。
在代数系统中,我们需要了解群、环、域等代数结构的定义和性质。
此外,还需要熟悉代数运算法则和代数结构之间的关系。
复习时可以通过解题来加深对代数系统的理解,例如证明一个集合构成一个群、判断一个环是否是域等。
五、概率论与统计学概率论与统计学是离散数学中的一个重要分支,它研究的是随机事件和随机变量的概率性质。
在概率论与统计学中,我们需要了解概率的定义和性质,掌握常见的概率分布和统计方法。
此外,还需要熟悉概率的运算法则和统计推断的基本原理。
复习时可以通过解题和实际问题的分析来加深对概率论与统计学的理解。
总之,离散数学作为计算机科学与数学领域中的重要学科,对于计算机科学专业的学生来说具有重要意义。
《离散数学》总复习上课讲义

第3章 集合的基本概念和运算
3.1 集合的基本概念 3.2 集合的基本运算(重点) 3.3 集合中元素的计数(容斥原理是重点)
3.1 集合的基本概念
元素x与集合A的关系:属于xA,不属于xA 集合A与集合B的关系:习题3.2, 3.8, 3.12, 3.16
构造性二难
(AB)(AB)(AA) B 构造性二难(特殊形式)
(AB)(CD)( BD) (AC) 破坏性二难
习题1.18, 1.21, 1.17(2)。六1
注意事项1:命题
只有能确定真假(但不能可真可假)的陈述句才是 命题. 不管是正确的观点, 还是错误的观点, 都 是命题. 猜想和预言是命题, 如哥德巴赫猜想.
pq为假当且仅当 p 为真 q 为假,即 当p为假时,pq为真(不管q为真, 还是为假); 当q为真时,pq为真(不管p为真, 还是为假). 习题1.5(6)(7)
了解概念、掌握方法
真值表、命题公式类型 所有等值的含n个命题变项的公式对应同一
个n元真值函数F:{0,1}n{0,1};哑元 最小联结词组 对偶式与对偶原理 简单析取式、简单合取式 析取范式与合取范式 附加前提证明法、反证法
x(A(x)B)xA(x)B x(A(x)B)xA(x)B x(BA(x))BxA(x)
x(A(x)B(x))xA(x)xB(x)
x(A(x)B(x))xA(x)xB(x)
注意事项1:前束范式(重点)
设A为一个一阶逻辑公式, 若A具有如下形式 Q(11xi1Qk2)x为2…或Qkx,kBB, 则为称不A含为量前词束的范公式式, 其. 中Qi
重要的推理定律 第一组 命题逻辑推理定律代换实例 第二组 由基本等值式生成(置换规则) 第三组 xA(x)xB(x)x(A(x)B(x))
离散数学知识汇总

离散数学笔记第一章命题逻辑合取析取定义 1. 1.3否定:当某个命题为真时,其否定为假,当某个命题为假时,其否定为真定义 1. 1.4条件联结词,表示“如果……那么……”形式的语句定义 1. 1.5双条件联结词,表示“当且仅当”形式的语句定义 1.2.1合式公式(1)单个命题变元、命题常元为合式公式,称为原子公式。
(2)若某个字符串A 是合式公式,则⌝A、(A)也是合式公式。
(3)若A、B 是合式公式,则A ∧B、A∨B、A→B、A↔B 是合式公式。
(4)有限次使用(2)~(3)形成的字符串均为合式公式。
1.3等值式1.4析取范式与合取范式将一个普通公式转换为范式的基本步骤1.6推理定义 1.6.1 设 A 与 C 是两个命题公式, 若 A → C 为永真式、 重言式,则称 C 是 A 的有 效结论,或称 A 可以逻辑推出 C ,记为 A => C 。
(用等值演算或真值表)第二章 谓词逻辑2.1、基本概念∀:全称量词 ∃:存在量词一般情况下, 如果个体变元的取值范围不做任何限制即为全总个体域时, 带 “全称量词”的谓词公式形如"∀x(H(x)→B(x)),即量词的后面为条件式,带“存在量词”的谓词公式形如∃x(H(x)∨WL(x)),即量词的后面为合取式 例题R(x)表示对象 x 是兔子,T(x)表示对象 x 是乌龟, H(x,y)表示 x 比 y 跑得快,L(x,y)表示x 与 y 一样快,则兔子比乌龟跑得快表示为: ∀x ∀y(R(x)∧T(y)→H(x,y))有的兔子比所有的乌龟跑得快表示为:∃x ∀y(R(x)∧T(y)→H(x,y))2.2、谓词公式及其解释定义 2.2.1、 非逻辑符号: 个体常元(如 a,b,c)、 函数常元(如表示22y x 的 f(x,y))、 谓词常元(如表示人类的 H(x))。
定义 2.2.2、逻辑符号:个体变元、量词(∀∃)、联结词(﹁∨∧→↔)、逗号、括号。
离散数学复习要点

离散数学复习要点
题型:选择题、填空题、计算和证明题
(不用担心,考题不难,都是平时上课讲过的内容)
命题逻辑:
命题的判定和符号化(即命题的翻译).
会画命题公式的真值表.
理解成真赋值,小项.
含n个变元的不等价的命题公式有多少类.
求公式的主合取范式和主析取范式.
熟悉命题的等价公式(命题定律)和蕴涵公式(推理定律).
谓词逻辑:
命题的符号化,即带量词的谓词公式的翻译,包括一元谓词和二元谓词的翻译. 谓词公式中量词的作用域.
会求谓词公式的前束范式.
谓词逻辑中推理的证明(P,T规则 + EI,EG,UI,UG规则).
集合与关系:
子集概念,会求幂集,会求幂集中元素个数.
会求两个集合的笛卡尔积.
关系的性质:(反)自反性,(反)对称性,传递性。
弄清定义,会判断。
会求复合关系、逆关系.
会求自反/对称/传递闭包.
会证明等价关系.
等价关系与划分的相互转化.
图论:
基本概念: 简单图,多重图,零图,n阶完全图,结点的度.
握手定理及推论:图的度数之和=边数的两倍,边数=图的出度和=图的入度和.
无向图的连通性.
会判断有向图的强连通,单侧连通,弱连通性.
会求图(包括零图,完全图等)的点连通度、边连通度.
由邻接矩阵求结点的入度、出度,由邻接矩阵的幂求结点间长度为k的路的数目. 欧拉图的判定.
哈密顿图的判定: 理解必要条件;会证明充分条件.
好好复习! 预祝成功!。
离散数学必备知识点总结汇总

离散数学必备知识点总结汇总
1.集合论:集合的概念、元素、子集、交集、并集、差集、补集、空集、集合的运算、集合的等价关系、集合的序关系等。
2.命题逻辑:命题的概念、命题的联接词(与、或、非)、命题的否
定形式、命题的蕴涵、等价命题、命题的充分条件和必要条件、命题的合
取范式和析取范式、蕴涵式、逻辑等价式、命题的否定形式的推理。
3.谓词逻辑:谓词的概念、谓词的量化、全称量化和存在量化、谓词
逻辑的等价式和推理规则、归纳定理和应用。
4.关系:关系的概念、关系的性质、关系的运算、关系的性质和关系
的代数结构。
5.图论:图的概念、图的表示、连通图、树、度数和定理、欧拉图、
哈密顿图、图的平面性质等。
6.混合图:有向图、无向图、有向图和无向图的表示、混合图的回路、可达矩阵、连通度、强连通图等。
7.布尔代数:布尔运算、布尔函数、布尔代数的运算规则、完备性和
最小化。
8.代数结构:半群、群、环、域的定义和性质、同态和同构。
9.组合数学:排列组合、二项式系数、排列、组合、分配原理、鸽巢
原理、生成函数、容斥原理等。
10.图的着色:图的着色问题、邻接矩阵、边界点、图的着色问题的
算法、四色定理等。
11.概率论:基本概念、概率的性质、条件概率、独立事件、贝叶斯定理、随机变量、概率分布函数、期望、方差、协方差、相关系数、大数定理和中心极限定理等。
12.递归:递归关系、递归函数、递归算法、递归树、递归求解等。
离散数学复习要点

11
第三章 命题逻辑的推理理论 • 推理的形式结构 • 推理规则 • 在自然推理系统p中进行命题逻辑的推理
12
第三章 命题逻辑的推理理论 1、推理的形式结构 {A1, A2, …, Ak} B 等同于 蕴涵式 A1A2…AkB
(3.2)
2. 推理正确{A1, A2, …, Ak}╞ B等同于 A1 A2 … Ak B 3. 把推理的形式结构写成: 前提: A1, A2, … , Ak 结论: B 并把式(3.2)称作推理的形式结构
24
封闭的公式 定义4.6 若公式A中不含自由出现的个体变项,则称A为封闭 的公式,简称闭式. 例如,xy(F(x)G(y)H(x,y)) 为闭式, 而 x(F(x)G(x,y)) 不是闭式
25
公式的解释 在公式中指定个体域及个体常项符号、函数符号、谓词符 号称作解释,指定自由出现的个体变项的值称作赋值
量词
量词——表示个体常项或变项之间数量关系的词称作量词 全称量词: 表示所有的. x : 对个体域中所有的x 如, xF(x)表示个体域中所有的x具有性质F xyG(x,y)表示个体域中所有的x和y有关系G 存在量词: 表示存在, 有一个. x : 个体域中有一个x 如, xF(x)表示个体域中有一个x具有性质F xyG(x,y)表示个体域中存在x和y有关系G xyG(x,y)表示对个体域中每一个x都存在一个y使得 x和y有关系G xyG(x,y)表示个体域中存在一个x使得对每一个y, x和y有关系G
22
一阶语言L 的公式 定义4.4 L 的合式公式定义如下: (1) 原子公式是合式公式. (2) 若A是合式公式,则 (A)也是合式公式 (3) 若A, B是合式公式,则(AB), (AB), (AB), (AB)也是 合式公式 (4) 若A是合式公式,则xA, xA也是合式公式 (5) 只有有限次地应用(1)—(4)形成的符号串才是合式公式. 合式公式也称作谓词公式,简称公式 如, F(x), F(x)G(x,y), x(F(x)G(x)) xy(F(x)G(y)L(x,y))等都是合式公式
离散数学知识点整理

离散数学一、逻辑和证明1.1命题逻辑命题:是一个可以判断真假的陈述句。
联接词:A、V、一、f「。
记住“p仅当q”意思是“如果p,则q",即p-。
记住“q除非p”意思是“」p-q”。
会考察条件语句翻译成汉语。
构造真1.2语句翻译系统规范说明的一致性是指系统没有可能会导致矛盾的需求,即若pq无论取何值都无法让复合语句为真,则该系统规范说明是不一致的。
1.3命题等价式逻辑等价:在所有可能情况下都有相同的真值的两个复合命题,可以用真值表或者构造新的逻辑等价式。
证逻辑等价是通过p推导出q,证永真式是通过p推导出T。
(p—r)A(q-r) = (pVq)-r(p—q)V(p-r) = p—(qVr)(p—r)V(q-r) = (pAq)-r双条件命题等价式pf = (pfq) A (qfp)pf = -pfqpf Q (pAq) V(-pA-q)「(pf) = pfq1.4量词谓词+量词变成一个更详细的命题,量词要说明论域,否则没有意义,如果有约束条件就直接放在量词后面,如V x>0P(x)。
当论域中的元素可以一一列举,那么V xP(x)就等价于P(x1)AP(x2)...A P(xn)。
同理,3 xP(x)就等价于 P(x1)VP(x2)...VP(xn)。
两个语句是逻辑等价的,如果不论他们谓词是什么,也不论他们的论域是什么,他们总有相同的真值,如V x(P(x)AQ(x))和(V xP(x)) A (V xQ(x))。
量词表达式的否定:「V xP(x) Q 3 x-P(x),「3 xP(x) Q V x-P(x)。
1.5量词嵌套我们采用循环的思考方法。
量词顺序的不同会影响结果。
语句到嵌套量词语句的翻译,注意论域。
嵌套量词的否定就是连续使用德摩根定律,将否定词移入所有量词里。
1.6推理规则一个论证是有效的,如果它的所有前提为真且蕴含着结论为真。
但有效论证不代命题和量化命题的组合使用。
二、集合、函数、序列、与矩阵2.1集合£说的是元素与集合的关系,^说的是集合与集合的关系。
离散数学知识点整理

离散数学知识点整理离散数学是现代数学的一个重要分支,它在计算机科学、信息科学、数理逻辑等领域都有着广泛的应用。
下面就来对离散数学的一些重要知识点进行整理。
一、集合论集合是离散数学中最基本的概念之一。
集合是由一些确定的、彼此不同的对象所组成的整体。
集合的表示方法有列举法和描述法。
列举法就是将集合中的元素一一列举出来,用花括号括起来。
描述法是通过描述元素所具有的性质来确定集合。
集合之间的关系包括子集、真子集、相等。
如果集合 A 的所有元素都属于集合 B,那么 A 是 B 的子集;如果 A 是 B 的子集且 A 不等于 B,那么 A 是 B 的真子集;如果集合 A 和集合 B 的元素完全相同,那么 A 和 B 相等。
集合的运算有并集、交集、差集和补集。
并集是将两个集合中的所有元素合并在一起组成的新集合;交集是两个集合中共同的元素组成的新集合;差集是从一个集合中去掉另一个集合中的元素所得到的新集合;补集是在给定的全集 U 中,去掉集合 A 中的元素所得到的新集合。
二、关系关系是集合论中的一个重要概念,它描述了两个集合元素之间的某种联系。
关系可以用关系矩阵和关系图来表示。
关系矩阵是一个二维矩阵,用于表示两个有限集合之间的关系;关系图则是用顶点和边来表示关系。
关系的性质包括自反性、反自反性、对称性、反对称性和传递性。
自反性是指集合中的每个元素都与自身有关系;反自反性则是集合中的每个元素都与自身没有关系;对称性是如果 a 与 b 有关系,那么 b 与 a 也有关系;反对称性是如果 a 与 b 有关系且 b 与 a 有关系,那么 a 等于 b;传递性是如果 a 与 b 有关系,b 与 c 有关系,那么 a 与 c 有关系。
等价关系是一种具有自反性、对称性和传递性的关系,它可以将集合划分为等价类。
偏序关系是一种具有自反性、反对称性和传递性的关系,它可以引出偏序集的概念。
三、函数函数是一种特殊的关系,它对于定义域中的每个元素,在值域中都有唯一的元素与之对应。
离散数学期末复习要点与重点

离散数学期末复习要点与重点大纲复习以课本和笔记为主.文中标红为需重点掌握的,祝大家都能取得好成绩第1章命题逻辑复习要点1.理解命题概念,会判别语句是不是命题.理解五个基本联结词:否定P、析取、合取、条件、和双条件及其真值表,理解其他联结词的定义及基本等价式,会将简单命题符号化.具有确定真假意义的陈述句称为命题.命题必须具备:其一,语句是陈述句;其二,语句有唯一确定的真假意义.2.理解公式的概念公式、赋值、成真指派和成假指派和公式真值表的构造方法.能熟练地作公式真值表.理解永真式和永假式概念,掌握其判别方法.判定命题公式类型的方法:其一是真值表法,其二是等价演算法.3.了解公式等价概念,掌握公式的重要等价式和判断两个公式是否等价的有效方法:等价演算法、列真值表法和主范式方法.4.理解析取范式和合取范式、极大项和极小项、主析取范式和主合取范式的概念,熟练掌握它们的求法真值表法和等价推导法.命题公式的范式不惟一,但主范式是惟一的.命题公式A有n个命题变元,A的主析取范式有k个小项,有m个大项,则于是有1 A是永真式k=2n m=0;2 A是永假式m=2n k=0;5.了解C是前提集合{A1,A2,…,A m}的有效结论或由A1, A2, …, A m逻辑地推出C的概念.要理解并掌握推理理论的规则、重言蕴含式和等价式,掌握命题公式的证明方法:真值表法、直接证法、间接证法.重点:命题与联结词,真值表,主析取合取范式,命题演算的推理理论.第2章谓词逻辑复习要点1.理解谓词、量词、个体词、个体域,会将简单命题符号化.原子命题分成个体词和谓词,个体词可以是具体事物或抽象的概念,分个体常项和个体变项.谓词用来刻划个体词的性质或之间的关系.量词分全称量词,存在量词.命题符号化注意:使用全称量词,特性谓词后用;使用存在量词,特性谓词后用.2.了解原子公式、谓词公式、变元约束变元和自由变元与辖域等概念.掌握在有限个体域下消去公式的量词和求公式在给定解释下真值的方法.由原子公式、联结词和量词构成谓词公式.谓词公式具有真值时,才是命题.在谓词公式xA或xA中,x是指导变元,A是量词的辖域.会区分约束变元和自由变元.在非空集合D个体域上谓词公式A的一个解释或赋值有3个条件.在任何解释下,谓词公式A取真值1,A为逻辑有效式永真式;公式A取真值0,A 为永假式;至少有一个解释使公式A取真值1,A称为可满足式.在有限个体域下,消除量词的规则为:设D ={a 1, a 2, …, a n },则会求谓词公式的真值,量词的辖域,自由变元、约束变元,以及换名规则、代入规则等.掌握谓词演算的等价式和重言蕴含式.并进行谓词公式的等价演算.3.理解前束范式的概念,掌握求公式的前束范式的方法.若一个谓词公式F 等价地转化成 B x Q x Q x Q k k ...2211,那么B x Q x Q x Q k k ...2211就是F 的前束范式,其中Q 1,Q 2,…,Q k 只能是或,而x 1, x 2, …, x k 是个体变元,B 是不含量词的谓词公式.前束范式仍然是谓词公式.重点:翻译;前束范式.第3章 集合与关系复习要点1.理解集合、元素、集合的包含、子集、相等,以及全集、空集和幂集等概念,熟练掌握集合的表示方法.集合的表示方法:列举法和描述法.注意:集合的表示中元素不能重复出现,集合中的元素无顺序之分. 掌握集合包含子集、真子集、集合相等等概念.注意:元素与集合,集合与子集,子集与幂集,与,空集与所有集合等的关系. 空集,是惟一的,它是任何集合的子集.集合A 的幂集PA =}{A x x ⊆, A 的所有子集构成的集合.若A =n ,则PA =2n .2.熟练掌握集合A 和B 的并AB ,交AB ,补集AA 补集总相对于一个全集.差集A -B ,对称差,AB =A -BB -A ,或AB =AB -AB 等运算.掌握集合运算律运算的性质.3.掌握用集合运算基本规律证明集合恒等式的方法.集合的运算问题:其一是进行集合运算;其二是运算式的化简;其三是恒等式证明.证明方法有二:1要证明A =B ,只需证明AB ,又AB ;2通过运算律进行等式推导.4.了解有序对和笛卡尔积的概念,掌握笛卡尔积的运算.有序对就是有顺序二元组,如<x , y >,x , y 的位置是确定的,不能随意放置. 注意:有序对<a ,b ><b , a >,以a , b 为元素的集合{a , b }={b , a };有序对a , a 有意义,而集合{a , a }是单元素集合,应记作{a }.集合A ,B 的笛卡尔积A ×B 是一个集合,规定A ×B ={<x ,y >xA ,yB },是有序对的集合.笛卡尔积也可以多个集合合成,A 1×A 2×…×A n .5.理解关系的概念:二元关系、空关系、全关系、恒等关系.掌握关系的集合表示、关系矩阵和关系图,掌握关系的集合运算及复合关系、逆关系的性质与求法. 二元关系是一个有序对集合,},{B y A x y x R ∈∧∈><=,记作xRy .设A 、B 是两个集合,且|A|=m,|B|=n,则从A 到B 可产生的不同的二元关系个数为nm 2.关系的表示方法有三种:集合表示法,关系矩阵:RA ×B,R 的矩阵⎪⎪⎭⎫ ⎝⎛==⎪⎩⎪⎨⎧/==⨯n j m i b R a Rb a r r M j i j i ij n m ij R ,...,2,1,...,2,101,)(. 关系图:R 是集合上的二元关系,若<a i , b j >R ,由结点a i 画有向弧到b j 构成的图形.空关系是唯一、是任何关系的子集的关系; 全关系},,{A b a b a E A ∈><=A A ⨯≡; 恒等关系},{A a a a I A ∈><=,恒等关系的矩阵M I 是单位矩阵.关系的集合运算有并、交、补、差和对称差. 复合关系}),,(,{2121R c b R b a b c a R R R >∈<∧>∈<∃><== ;复合关系矩阵:21R R R M M M ⨯=按逻辑运算; 有结合律:R S T =R S T ,一般不可交换. 逆关系},,{1R y x x y R >∈<><=-;逆关系矩阵满足:T R R M M =-1; 复合关系与逆关系存在:R S -1=S -1 R -1.6.理解关系的性质自反性和反自反性、对称性和反对称性、传递性的定义以及矩阵表示或关系图表示,掌握其判别方法利用定义、矩阵或图,充分条件,知道关系闭包自反,对称,传递的定义和求法.注:1关系性质的充分必要条件:① R 是自反的I A R ;②R 是反自反的I A R =;③R 是对称的 R =R -1;④R 是反对称的RR -1I A ;⑤R 是传递的R RR .(2)I A 具有自反性,对称性、反对称性和传递性.E A 具有自反性,对称性和传递性.具有反自反性、对称性、反对称性和传递性.重点:集合的运算,笛卡尔积,关系的性质,复合关系和逆关系,关系的闭包.第4章 函数复习要点1.理解函数概念:函数映射,函数相等,复合函数和反函数.理解单射、满射和双射等概念,掌握其判别方法.设f 是集合A 到B 的二元关系,aA ,存在惟一bB ,使得<a , b >f ,且Dom f =A ,f 是一个函数映射.函数是一种特殊的关系设A 、B 是两个集合,且|A|=m,|B|=n,则从A 到B 可产生的不同的函数关系个数为m n .集合A ×B 的任何子集都是关系,但不一定是函数.函数要求对于定义域A 中每一个元素a ,B 中有且仅有一个元素与a 对应,而关系没有这个限制.二函数相等是指:定义域相同,对应关系相同,且定义域内的每个元素的对应值都相同.函数有:单射——若)()(2121a f a f a a ≠⇒≠;满射——fA =B 或,,A x B y ∈∃∈∀使得y =fx ;双射——单射且满射.复合函数,:,:,:C A f g C B g B A f →→→ 则 即))(()(x f g x f g = .复合成立的条件:)(Dom )(Ran g f ⊆.一般g f f g ≠,但f g h f g h )()(=.反函数——若f :AB 是双射,则有反函数f -1:BA , },)(,,{1A a b a f B b a b f ∈=∈><=-,f f g f f g ==-----11111)(,)(重点:函数.第5章 代数结构复习要点1.掌握代数系统中运算及其性质自反,对称,传递,等幂,会判断某代数系统具有哪种性质.2. 掌握半群,独异点,群,阿贝尔群,循环群的概念及判定方法.半群:封闭+可结合.独异点:封闭+可结合+有幺元.群:封闭+可结合+有幺元+每个元素有逆元.阿贝尔群:群+可交换.循环群:群+有生成元.3. 掌握同态与同构的概念,理解同态的相关性质,并熟练掌握同态与同构的证明方法.重点:代数系统的运算性质,群与循环群的证明方法,同构与同态的证明方法.第7章 图的基本概念复习要点1.理解图的概念:结点、边、有向图,无向图、简单图、完全图、结点的度数、边的重数和平行边等.理解握手定理.图是一个有序对<V ,E >,V 是结点集,E 是联结结点的边的集合.掌握无向边与无向图,有向边与有向图,混合图,零图,平凡图、自回路环,无向平行边,有向平行边等概念.简单图,不含平行边和环自回路的图、在无向图中,与结点vV 关联的边数为结点度数deg v ;在有向图中,以vV 为终点的边的条数为入度deg -v ,以vV 为起点的边的条数为出度deg +v ,deg v =deg +v +deg -v .无向完全图K n 及其边数)1(21-=n n E ;有向完全图及其边数)1(-=n n E . 了解子图、真子图、补图的概念. 知道图的同构概念,更应知道图同构的必要条件,用其判断图不同构.重要定理:1 握手定理 设G =<V ,E >,有∑∈=V v E v 2)deg(;2 在有向图D =<V , E >中,∑∑∈+∈-=Vv V v v v )(deg )(deg ;3 奇数度结点的个数为偶数个.2.了解路与回路概念.会求路和回路的长度.了解无向图的连通性,会求无向图的连通分支.了解点割集、边割集、割点、割边等概念.了解有向图的强连通强性;会判别其类型.设图G=<V,E>,结点与边的交替序列为路.路中边的数目就是路的长度.起点和终点重合的路为回路.边不重复的路是迹;结点不重复的路是通路.无向图G中,结点u, v存在通路,u, v是连通的,G中任意结点u, v连通,G是连通图.PG表示图G连通分支的个数.要知道:强连通−−→−必是弱连通,反之不成立.−必是单侧连通−−→3.掌握邻接矩阵,可达矩阵和距离矩阵的概念,掌握其构造方法及其应用.4.理解欧拉通路回路、欧拉图的概念,掌握欧拉图的判别方法.通过连通图G的每条边一次且仅一次的路回路是欧拉路回路.存在欧拉回路的图是欧拉图.欧拉回路要求边不能重复,结点可以重复.笔不离开纸,不重复地走完所有的边,走过所有结点,就是所谓的一笔画.欧拉图或通路的判定定理1 无向连通图G是欧拉图G为连通图且G不含奇数度结点即G的所有结点为偶数度;2 非平凡图G含有欧拉路G为连通图且G最多有两个奇数度的结点;3 连通有向图D含有有向欧拉回路D中每个结点的入度=出度.4 连通有向图D含有有向欧拉路D中除两个结点外,其余每个结点的入度=出度,且此两点满足一个结点的入度比出度大1,另一个结点的出度比入度大1.5.了解汉密尔顿路回路、汉密尔顿图的概念,会做简单判断.通过连通图G的每个结点一次,且仅一次的路回路,是汉密尔顿路回路.存在汉密尔顿回路的图是汉密尔顿图.汉密尔顿图的充分条件和必要条件1 在无向简单图G=<V,E>中,V3,任意不同结点V)deg(deg(,,则G是汉∈),vuGvu≥+密尔顿图.充分条件2 有向完全图D=<V,E>, 若3V,则图D是汉密尔顿图. 充分条件≥3 设无向图G=<V,E>,任意V1V,则WG-V1V1必要条件若此条件不满足,即存在V1V,使得PG-V>V1,则G一定不是汉密尔顿图非汉密尔顿图的充分条件.6.了解树、树叶、生成树和最小生成树等概念,掌握求最小生成树的方法.连通无回路的无向图是树.树的判别可以用图T是树的充要条件等价定义.注意:1 树T是连通图;2树T满足m=n-1即边数=顶点数-1.图G的生成子图是树,该树就是生成树.每边指定一正数,称为权,每边带权的图称为带权图.G的生成树T的所有边的权之和是生成树T的权,记作WT.最小生成树是带权最小的生成树.7.了解有向树、根树等概念.有向图删去边的方向为树,该图为有向树.对非平凡有向树,恰有一个结点的入度为0该结点为树根,其余结点的入度为1,该树为根树.有关树的求法:1生成树的破圈法和避圈法求法;2最小生成树的克鲁斯克尔求法;重点:图的概念,握手定理,路、回路以及图的矩阵表示,欧拉图和哈密顿图的基本概念及判别,树与根树的基本概念,最小生成树的求法.。
离散数学复习资料

离散数学复习资料第1章命题逻辑本章重点:命题与联结词,公式与解释,真值表,公式的类型及判定, (主)析取(合取)范式,命题逻辑的推理理论.一、重点内容1. 命题命题表述为具有确定真假意义的陈述句。
命题必须具备二个条件:其一,语句是陈述句;其二,语句有唯一确定的真假意义.2. 六个联结词及真值表h“”否定联结词,P是命题,P是P的否命题,是由联结词和命题P组成的复合命题.P取真值1,P取真值0,P取真值0,P取真值1. 它是一元联结词.h “”合取联结词,P Q是命题P,Q的合取式,是“”和P,Q组成的复合命题. “”在语句中相当于“不但…而且…”,“既…又…”. P Q取值1,当且仅当P,Q均取1;P Q取值为0,只有P,Q之一取0.h “”析取联结词,“”不可兼析取(异或)联结词, P Q是命题P,Q的析取式,是“”和P,Q组成的复合命题. P Q是联结词“”和P,Q组成的复合命题. 联结词“”或“”在一个语句中都表示“或”的含义,前者表示相容或,后者表示排斥或不相容的或. 即“P Q”“(P Q)(P Q)”. P Q取值1,只要P,Q之一取值1,P Q取值0,只有P,Q都取值0.h “”蕴含联结词, P Q是“”和P,Q组成的复合命题,只有P取值为1,Q取值为0时,P Q取值为0;其余各种情况,均有P Q的真值为1,亦即10的真值为0,01,11,00的真值均为1. 在语句中,“如果P则Q”或“只有Q,才P,”表示为“P Q”.h “” 等价联结词,P Q是P,Q的等价式,是“”和P,Q组成的复合命题. “”在语句中相当于“…当且仅当…”,P Q取值1当且仅当P,Q真值相同.3. 命题公式、赋值与解释,命题公式的分类与判别h命题公式与赋值,命题P含有n个命题变项P1,P2,…,P n,给P1,P2,…,P n各指定一个真值,称为对P的一个赋值(真值指派). 若指定的一组值使P的真值为1,则这组值为P的真指派;若使P的真值为0,则称这组值称为P的假指派.h命题公式分类,在各种赋值下均为真的命题公式A,称为重言式(永真式);在各种赋值下均为假的命题公式A,称为矛盾式(永假式);命题A不是矛盾式,称为可满足式;判定命题公式类型的方法:其一是真值表法,任给公式,列出该公式的真值表,若真值表的最后一列全为1,则该公式为永真式;若真值表的最后一列全为0,则该公式是永假式;若真值表的最后一列既非全1,又非全0,则该公式是可满足式.其二是推导演算法. 利用基本等值式(教材的十六个等值式或演算律),对给定公式进行等值推导,若该公式的真值为1,则该公式是永真式;若该公式的真值为0,则该公式为永假式.既非永真,也非用假,成为非永真的可满足式.其三主析取(合取)范式法,该公式的主析取范式有2n个极小项(即无极大项),则该公式是永真式;该公式的主合取范式有2n个极大项(即无极小项),则该公式是永假式;该公式的主析取(或合取)范式的极小项(或极大项)个数大于0小于2n,,则该公式是可满足式.h等值式A B,命题公式A,B在任何赋值下,它们的真值均相同,称A,B等值。
离散数学知识点全归纳

离散数学知识点全归纳离散数学是数学的一个分支,研究的是离散对象和离散结构。
在计算机科学、信息技术以及其他领域中,离散数学具有重要的应用价值。
以下是离散数学的一些重要知识点的全面总结。
1. 集合论和逻辑- 集合:基本概念、运算、包含关系、并集、交集、差集、幂集等。
- 命题逻辑:命题、命题的连接词、真值表、逻辑等价、析取范式、合取范式等。
- 谓词逻辑:谓词、量词、逻辑推理、存在量词和全称量词等。
2. 证明方法- 直接证明:利用已知事实和逻辑推理,直接得出结论。
- 对证法:从假设的反面出发,利用矛盾推理得出结论。
- 数学归纳法:证明基础情况成立,再证明递推步骤成立。
3. 图论- 图的基本概念:顶点、边、路径、回路、度、连通性等。
- 图的表示:邻接矩阵、邻接表等。
- 最短路径:Dijkstra算法、Floyd-Warshall算法等。
- 最小生成树:Prim算法、Kruskal算法等。
4. 关系与函数- 关系及其性质:自反性、对称性、传递性、等价关系等。
- 函数及其性质:定义域、值域、单射、满射、双射等。
- 逆函数和复合函数:求逆函数、复合函数的定义和性质。
5. 组合数学- 排列和组合:排列、组合的计算公式和性质。
- 递归关系:递推公式、递归算法等。
- 图的着色:色数、四色定理等。
6. 代数系统- 半群、幺半群、群、环、整环和域的定义和性质。
- 同态:同态映射、同构等。
- 应用:编码理论、密码学等。
以上是离散数学的一些重要知识点的概括。
深入理解和掌握这些知识,对于解决实际问题和在相关领域中取得成功非常重要。
在学习过程中,建议结合实际例子和习题进行练习,加深对知识的理解和应用能力。
离散数学 复习资料

离散数学复习资料离散数学复习资料离散数学是计算机科学和数学领域的重要基础课程,它涉及到离散结构和离散对象的研究,如集合论、图论、逻辑、代数和组合数学等。
在计算机科学领域,离散数学为算法设计、数据结构和计算机网络等问题提供了理论基础。
本文将为大家提供一些离散数学复习资料,帮助大家更好地掌握这门课程。
一、集合论集合论是离散数学的基础,它研究的是集合及其元素之间的关系。
在集合论中,我们需要了解集合的定义、运算、关系和函数等基本概念。
此外,还需要熟悉集合的证明方法,如直接证明、间接证明、归谬证明等。
在复习集合论时,可以通过做一些练习题来加深理解,同时也可以查阅一些相关的教材和参考资料。
二、图论图论是离散数学中的一个重要分支,它研究的是图及其性质和应用。
图由节点和边组成,节点表示对象,边表示对象之间的关系。
在图论中,我们需要了解图的基本概念,如有向图和无向图、路径和回路、连通性和强连通性等。
此外,还需要掌握一些图的算法,如最短路径算法、最小生成树算法和网络流算法等。
复习图论时,可以通过绘制图和解决一些图的实际问题来加深理解。
三、逻辑逻辑是离散数学中的另一个重要分支,它研究的是推理和证明的规则。
在逻辑中,我们需要了解命题逻辑和谓词逻辑的基本概念,如命题、命题变量、逻辑连接词、真值表和推理规则等。
此外,还需要熟悉一些逻辑证明的方法,如直接证明、间接证明和数学归纳法等。
复习逻辑时,可以通过做一些逻辑推理题和证明题来提高逻辑思维能力。
四、代数代数是离散数学中的一个重要分支,它研究的是代数结构和运算。
在代数中,我们需要了解集合的代数结构,如半群、幺半群、群、环和域等。
此外,还需要掌握一些代数运算,如集合的并、交和补运算,以及代数方程的求解方法。
复习代数时,可以通过做一些代数运算题和代数方程的求解题来加深理解。
五、组合数学组合数学是离散数学中的一个重要分支,它研究的是离散对象的组合和排列问题。
在组合数学中,我们需要了解组合和排列的基本概念,如组合数、排列数、二项式系数和多项式系数等。
离散数学重点难点复习提纲

第一部分数理逻辑第一章命题逻辑重点:●熟练掌握联结词的定义;●掌握数理逻辑中命题的翻译及命题公式的定义;●熟记基本的等价公式和蕴涵公式;●利用真值表技术和公式法求公式的主析取范式和主合取范式;●熟练掌握应用基本推理方法完成命题逻辑推理:1.直接证法2.反证法3.CP规则难点:●如何正确地掌握对语言的翻译;●如何利用推理方法正确的完成命题推理。
第二章谓词逻辑重点:●谓词、量词、个体域的概念;●谓词逻辑中带量词命题的符号化;●熟记基本的谓词等价公式;●求公式的前束范式;●掌握谓词逻辑的推理规则以及能够熟练地完成一阶逻辑推理;难点:●谓词逻辑中带量词命题的符号化;●如何利用推理方法正确地完成一阶逻辑推理。
第二部分集合论第三章集合与关系重点:●掌握集合的五种基本运算和集合相等的证明方法;●幂集的概念以及和子集的关系;●序偶和笛卡尔积的概念;●关系定义及其和笛卡尔积之间的联系;●关系的复合;●关系的五种性质及其判断和证明;●关系的闭包;●等价关系定义、证明及其与等价类、集合的划分间的关系;●偏序关系的定义和证明,哈斯图;●偏序关系中的特殊元素;难点:●如何正确证明集合之间包含和相等关系;●如何正确地理解和判断关系的性质;●非常重要的关系性质的证明方法——按定义证明法;●如何正确地掌握等价关系及相应的等价类与集合划分之间的关系;●如何正确地理解和判断偏序关系中的八种特殊元素。
第四章函数重点:●能够判定某个二元关系是否是函数;●几种特殊的函数:满射,单射,双射;难点:●如何正确地判断三种特殊函数。
第三部分代数结构重点:●理解代数结构的构成和研究方法;●代数结构中运算的性质以及特殊元素;●广群⇒半群⇒独异点⇒群;●群的定义与性质;●环与域的判断和证明;●格的两种定义;●特殊格:分配格、有界格、有补格、有补分配格;●有补分配格与布尔代数之间的联系;难点:●循环群的判断和证明;●如何正确理解由偏序关系定义的格与由代数系统定义格之间的关系和区别;●如何正确理解布尔代数的概念。
离散数学复习要点

《离散数学》复习大纲本说明包括以下部分:考核说明及实施要求考核内容和要求第一部分集合论第二部分数理逻辑第三部分图论第四部分代数结构第一部分集合论(集合和二元关系)一、集合[考核知识点]集合、元素、集合的表示方法、子集、空集、全集、集合的包含、相等、幂集集合的交、并、差、补等运算及其运算律(交换律、结合律、分配律、吸收律、 De Morgan律等),文氏(Venn)图序偶与迪卡尔积[考核要求]理解集合、元素、子集、空集、全集、集合的包含、相等、幂集等基本概念。
掌握集合的表示法和集合的交、并、差、补等基本运算。
掌握集合运算基本规律,证明集合等式的方法。
了解序偶与迪卡尔积的概念,掌握迪卡尔积的运算。
二、二元关系[考核知识点]关系、关系矩阵与关系图复合关系与逆关系关系的性质(自反性、对称性、反对称性、传递性)关系的闭包(自反闭包、对称闭包、传递闭包)等价关系与等价类[考核要求]理解关系的概念:二元关系、空关系、全关系、恒等关系;掌握关系的集合表示、关系矩阵和关系图、关系的运算。
掌握求复合关系与逆关系的方法。
理解关系的性质(自反性、对称性、反对称性、传递性),掌握其判别方法(定义、矩阵、图) 掌握求关系的闭包 (自反闭包、对称闭包、传递闭包)的方法。
理解等价关系的概念,掌握等价类的求法。
理解单射、满射、双射等概念,掌握其判别方法。
三、 典型题第一章 集合1. 设A=∅, B={∅,a,{a}},求P(A)和P(B).2. 设A={1,2,3,4} , B={a,b,c}, 求A ⨯B 和B ⨯A.3. P21: 84. P22: 125.证明:B A B A =-6.思考题 P29: 15, 16第二章 关系1. 设A={1,2,3,4},A 上的关系R={(1,1), (1,2), (1,3), (1,4), (2,2), (2,4),(3,4)}, S=={(2,1), (1,2), (2,3), (1,4), (2,2), (2,4),(4,4)}, 求(1) R 和S 的关系图和关系矩阵(2) R-S(3) S R 1-(4) S R ⊕(5) A 上的恒等关系I A2. 设A={a ,b ,c },R 是A 上的关系R={(a,a),(a,c),(c,b)}, 求 ∞=1n n R3. 设R 是A 上的关系,请叙述R 具有自反性,反自反性,对称性,反对称性和传递性的含义4. 设A={1,2,3,4,5},A 上的关系R={(a,b)|a-b 是偶数},求R ,判断R 具有的性质。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
离散数学复习要点第一章命题逻辑一、典型考查点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。
(排中律)(11) 条件式转化律:A→B⎤⇔A∨B,A→B⎤⇔B→⎤A。
(12) 双条件式转化律:A↔B⇔(A→B)∧(B→A)⇔(A∧B)∨(⎤A∧⎤B)8、蕴含式详见P23表1.6.3 证明方法:①前件真导后件真方法②后件假导前件假方法③真值表中,前件为真的行,后件也为真或者后件为假的行,前件也为假。
④用定义,证A⇒B,即证A→B是永真式。
9、范式求法步骤:①使用命题定律,消去公式中除∧、∨和⎤以外公式中出现的所有联结词;②使用⎤(⎤P)⇔P和德·摩根律,将公式中出现的联结词⎤都移到命题变元之前;③利用结合律、分配律等将公式化成析取范式或合取范式。
10、主范式的求法重点步骤:(a)把给定公式化成析取(合取)范式;(b)删除析取范式中所有为永假的简单合取(析取)式;(c)用等幂律化简简单合取(析取)式中同一命题变元的重复出现为一次出现,如P∧P⇔P。
(d)用同一律补进简单合取(析取)式中未出现的所有命题变元,如Q,则P⇔P∧(⎤Q∨Q)或P⇔P∨(⎤Q∧Q),并用分配律展开之,将相同的简单合取式的多次出现化为一次出现,这样得到了给定公式的主析取(合取)范式。
注意:主析取范式与主合取范式之间的联系。
例如:(P→Q)∧Q⇔m1∨m3⇔M0∧M2,即剩下的编码就是另一个主范式的编码,因此,求主范式,哪一个简单易求,就先求哪个,然后对应出所求结果。
详见P1611、推理证明:重点方法:演算、演绎法(常用的格式)、反证法、CP规则即附加前提等。
重点规则(主要蕴含式):(1) P∧Q⇒P化简(2) P∧Q⇒Q化简(3) P⇒P∨Q附加(4) ⎤P⇒P→Q变形附加(5)Q⇒P→Q变形附加(6) ⎤(P→Q)⇒P变形化简(7) ⎤(P→Q)⎤⇒Q变形化简(8) P,(P→Q)⇒Q假言推理(9) ⎤Q,(P→Q)⎤⇒P拒取式(10) ⎤P,(P∨Q)⇒Q析取三段论(11) (P→Q),(Q→R)⇒P→R条件三段论(12) (P↔Q),(Q↔R)⇒P↔R 双条件三段论文字证明推理三步:一命题符号化,二写出前提和结论,三进行证明。
详见P21二、强化练习1.命题的是( )A.走,看电影去B.x+y>0C.空集是任意集合的真子集D.你明天能来吗?2.下列式子为重言式的是( )A.P→P∨QB.(┐P∧Q)∧(P∨┐Q)C.┐ (P Q)D.(P∨Q) (P→Q)3.下列为两个命题变元P,Q的小项是()A.P∧Q∧⎤ P B.⎤ P∨Q C.⎤ P∧Q D.⎤ P∨P∨Q4.下列语句中是真命题的是()A.我正在说谎B.严禁吸烟C.如果1+2=3,那么雪是黑的D.如果1+2=5,那雪是黑的5.设P:我们划船,Q:我们跑步。
命题“我们不能既划船又跑步”符号化为()A.⎤ P∧⎤ Q B.⎤ P∨⎤ Q C.⎤(P↔Q) D.⎤(⎤ P∨⎤ Q)6.命题公式(P∧(P→Q))→Q是()A.矛盾式B.蕴含式C.重言式D.等价式7.命题公式⎤(P∧Q)→R的成真指派是()A.000,001,110,B.001,011,101,110,111 C.全体指派D.无8.设P:他聪明,Q:他用功,命题“他虽聪明但不用功”的符号化正确的是()A .⎤ P ∧QB .P ∧⎤ QC .P →⎤ QD .P ∨⎤ Q9.下面联结词运算不可交换的是( )A .∧ B .→ C .∨ D .10下列命题公式不是重言式的是( )A .Q →(P ∨Q )B .(P ∧Q )→PC .⎤(P ∧⎤ Q )∧(⎤ P ∨Q )D .(P →Q )(⎤ P ∨Q )11.设命题变元为P ,Q ,R ,则小项m100=________,大项M010=________。
12.置换规则:在证明的任何步骤上,命题公式中的任何子命题公式都可以________,记为________规则。
13.请用联结词┐,∧表示联结词∨和联结词 :________,________。
14.两个重言式的析取是________式,一个重言式与一个矛盾式的析取是________式。
15.命题公式(P ∧Q )→⎤ P 的成真指派为__________,成假指派为__________。
16.用等值演算求(P →Q)→R 的主合取范式。
17.列出(P →(Q ∨R)) (P →Q)的真值表。
19.构造命题公式((P ∧Q )→P )∨R 的真值表。
20.求下列公式的主合取范式和主析取范式:P ∨(⎤ P →(Q ∨(⎤ Q →R )))21.构造命题公式(R Q Q P ∧→∨)→P ∧⎤ R 的真值表。
22.求下列公式的主析取范式和主合取范式:(P →(Q ∧R ))∧(⎤ P →(⎤ Q →R ))。
23.用推理方法证明:P ∨Q ,P →R ,Q →S├R ∨S 。
24.构造下面推理的证明。
如果小张和小王去看电影,则小李也去看电影。
小赵不去看电影或小张去看电影。
小王去看电影。
所以,当小赵去看电影时,小李也去。
25.构造下面推理的证明。
只要A 曾到过受害者房间并且11点以前没离开,A 就犯了谋杀罪。
A 曾到过受害者房间。
如果在11点以前离开,看门人会看见他。
看门人没有看见他。
所以A 犯了谋杀罪。
离散数学复习要点 第二章谓词逻辑一、典型考查点1、基本概念:个体词、个体域、谓词、特性谓词、辖域,详见P27;前束范式详见P362、谓词符号化 步骤:①正确理解给定命题。
必要时把命题改叙,使其中每个原子命题、原子命题之间的关系能明显表达出来。
②把每个原子命题分解成个体、谓词和量词;在全总论域讨论时,要给出特性谓词。
③找出恰当量词。
应注意全称量词(∀x)后跟条件式,存在量词(∃x)后跟合取式。
④用恰当的联结词把给定命题表示出来。
详见P303、谓词公式类型的判定(永真式、永假式、可满足式) 方法:利用论域翻译成自然语言后进行判断。
详见P344、自由变元与约束变元的判定 方法:按定义,关键是要看它在A 中是约束出现,还是自由出现,若与量词的指导变元相同,就是约束出现,不同就是自由出现。
详见P31。
5、等价式 (1)量词否定等价式:(a)⎤(∀x)A ⇔(∃x)⎤A(b)⎤(∃x)A ⇔(∀x)⎤A(2) 量词辖域缩小或扩大等价式(a) (∀x)(A(x)∧B)⇔(∀x)A(x)∧B (b) (∀x)(A(x)∨B)⇔(∀x)A(x)∨B(c) (∀x)(A(x)→B)⇔(∃x)A(x)→B (d) (∀x)(B →A(x))⇔B →(∀x)A(x)(e) (∃x)(A(x)∧B)⇔(∃x)A(x)∧B (f) (∃x)(A(x)∨B)⇔(∃x)A(x)∨B(g) (∃x)(A(x)→B)⇔(∀x)A(x)→B (h) (∃x)(B →A(x))⇔B →(∃x)A(x)。
(3) 量词分配律等价式:(a) (∀x)(A(x)∧B(x))⇔(∀x)A(x)∧(∀x)B(x) (b)(∃x)(A(x)∨B(x))⇔(∃x)A(x)∨(∃x)B(x)其中,A(x),B(x)为有x 自由出现的任何公式。
详见P34356、蕴含式(a)(∀x)A(x)∨(∀x)B(x)⇒(∀x)(A(x)∨B(x))(b) (∃x)(A(x)∧B(x))⇒(∃x)A(x)∧(∃x)B(x)(c) (∀x)(A(x)→B(x))⇒(∀x)A(x)→(∀x)B(x)(d) (∀x)(A(x)→B(x))⇒(∃x)A(x)→(∃x)B(x)其中,A(x)和B(x)为含有x 自由出现的任意公式。
详见P356、前束范式 方法:①把量词全部通过等值演算化到整个谓词公式的前面②把量词前面的┐全部通过德摩根定律化到谓词公式的内部。
详见P367、推理:方法:演绎(常用格式)、反证法、CP 规则即附加前提等。
对于命题逻辑中的所有规则都可用。
特殊规则:(1)量词消去 (简称UI 或US 规则) (∀x)A(x)⇒A(c) (∀x)A(x)⇒A(y) (∃x)A(x)⇒A(c)量词产生规则(简称EG 或UG 规则) A(c)⇒(∃y)A(y) A(x)⇒(∀y)A(y) 详见P38二、强化练习1.下列式子不是谓词合式公式的是( )A.(∀x)(P(x)→(∃x)(Q(x) ∧A(x ,y)))B.(∀x)∧(∃y)∨P(x ,y)C.(∀x)P(x)→R(y)D.(∃x)P(x)∧Q(y ,z)2.设个体域为实数集,特定元素a=0,函数f(x ,y)=x-y ,特定谓词F(x ,y)为x<y ,下列公式真值为真的是( )A.(∀x)(∀y)F(x ,f(f(x ,y),y))B.(∀x)(∀y)(┐F(f(x ,y),x))C.(∀x)(∀y)(∀z)(F(x ,y)→F(f(x ,z),f(y ,z)))D.(∀x)F(f(a ,x),a)3.对于公式(∀x)(∀y)P(x ,y)∨Q(x ,z)∧(∃x)P(x ,y),下列说法正确的是( )A.x 是自由变元B.x 是约束变元C.( ∀x)的辖域是P(x ,y)∨Q(x ,z)D.(∀x)的辖域是P(x ,y)4.设论域为{1,2},与公式(∀x)┐A(X)等价的是( )A. ┐A(1) ∨┐A(2) B . ┐A(1)→┐(A2)C. ┐A(1) ∧┐A(2)D. A(1) →A(2)5.在公式(x ∀)F (x ,y )→(∃ y )G (x ,y )中变元x 是( )A .自由变元B .约束变元C .既是自由变元,又是约束变元D .既不是自由变元,又不是约束变元6.下列等价式不正确的是( )A .)(Q )(P ))(Q )(P (x x x x x x x ∀∨∀⇔∨∀B .)(Q )(P ))(Q )(P (x x x x x x x ∀∧∀⇔∧∀C .)(Q )(P ))(Q )(P (x x x x x x x ∃∨∃⇔∨∃D .Q )(P )Q )(P (∧∀⇔∧∀x x x x7.设A (x ):x 是人,B (x ):x 犯错误,命题“没有不犯错误的人”符号化为( )A .))(B )(A (x x x ∧∀ B .⎤→∃)(A (x x ⎤ B (x ))C .⎤))(B )(A (x x x ∧∃D .⎤∧∃)(A (x x ⎤ B(x))二、填空题8.一个公式,如果量词均在全式的________,其作用域延伸到整个公式的________,则该公式称为前束范式。