离散数学知识点整理
离散数学
一、逻辑和证明
1.1命题逻辑
命题:是一个可以判断真假的陈述句。
联接词:∧、∨、→、?、?。记住“p仅当q”意思是“如果p,则q”,即p→。记住“q除非p”意思是“?p→q”。会考察条件语句翻译成汉语。
系统规范说明的一致性是指系统没有可能会导致矛盾的需求,即若pq无论取何值都无法让复合语句为真,则该系统规范说明是不一致的。
1.3命题等价式
逻辑等价:在所有可能情况下都有相同的真值的两个复合命题,可以用真值表或者构造新的逻辑等价式。
谓词+量词变成一个更详细的命题,量词要说明论域,否则没有意义,如果有约束条件就直接放在量词后面,如?x>0P(x)。
当论域中的元素可以一一列举,那么?xP(x)就等价于P(x1)∧P(x2)...∧P(xn)。同理,?xP(x)就等价于P(x1)∨P(x2)...∨P(xn)。
两个语句是逻辑等价的,如果不论他们谓词是什么,也不论他们的论域是什么,他们总有相同的真值,如?x(P(x)∧Q(x))和(?xP(x))∧(?xQ(x))。
量词表达式的否定:??xP(x) ??x?P(x),??xP(x) ??x?P(x)。
1.5量词嵌套
我们采用循环的思考方法。量词顺序的不同会影响结果。语句到嵌套量词语句的翻译,注意论域。嵌套量词的否定就是连续使用德摩根定律,将否定词移入所有量词里。
1.6推理规则
一个论证是有效的,如果它的所有前提为真且蕴含着结论为真。但有效论证
二、集合、函数、序列、与矩阵
2.1集合
∈说的是元素与集合的关系,?说的是集合与集合的关系。常见数集有N={0,1,2,3...},Z整数集,Z+正整数集,Q有理数集,R实数集,R+正实数集,C复数集。
A和B相等当仅当?x(x∈A?x∈B);A是B的子集当仅当?x(x∈A→x∈B);A是B的真子集当仅当?x(x∈A→x∈B)∧?x(x?A∧x∈B)。
幂集:集合元素的所有可能组合,肯定有?何它自身。如?的幂集就是{?},而{?}的幂集是{?,{?}}。
考虑A→B的函数关系,定义域、陪域(实值函数、整数值函数)、值域、像集(定义域的一个子集在值域的元素集合)。
一对一或者单射:B可能有多余的元素,但不重复指向。
映上或者满射:B中没有多余的元素,但可能重复指向。
一一对应或者双射:符合上述两种情况的函数关系。
反函数:如果是一一对应的就有反函数,否则没有。
合成函数:fοg(a)=f(g(a)),一般来说交换律不成立。
2.4序列
无限集分为:一组是和自然数集合有相同基数,另一组是没有相同基数。前者是可数的,后者不可数。想要证明一个无限集是可数的只要证明它与自然数之间有一一对应的关系。
如果A和B是可数的,则A∪B也是可数的。
如果存在一对一函数f从A到B和一对一函数g从B到A,那么A和B之间是一一对应的。
求和公式:
a+ar+ar2+ar3+...+ar n = (ar n+1-a)/(r-1)
1+2+3+...+n = n(n+1)/2
1+22+32+...+n2 = n(n+1)(2n+1)/6
1+23+33+...+n3 = n2(n+1)2/4
2.6矩阵
普通矩阵和、减、乘积,0-1矩阵还可以∧、∨、⊙(和相乘类似,用∨代替+,用∧代替×)
九、关系
9.1关系及其性质
设A和B是集合,从A到B的二元关系是A×B的子集。一个从A到B的二元关系是集合R,第一个元素取自A,第二个元素取自B,当(a,b)属于R时写作aRb。
集合A上的关系是A到A的关系,有n个元素就有n2个有序对,n2个有序对就有2n2个关系。
考虑集合A到A的关系R:
任意a∈A都有(a,a)∈R,则R是集合A上的自反关系。
任意a,b∈A,若(a,b)∈R都有(b,a)∈R,则R是对称关系。
任意a,b∈A,若(a,b)∈R且(b,a)∈R一定有a=b,则R是反对称关系。
任意a,b,c∈A,若(a,b)∈R且(b,c)∈R一定有(a,c)∈R,则R 是传递关系。
若R是A到B的关系,S是B到C的关系,R与S的合成RοS是有序数对(a,c)。其中a∈A,c∈C,且存在一个b∈B使得(a,b)∈R,(b,c)∈S。二元关系的5种复合要会翻译成汉语。
9.3关系的表示
0-1矩阵法:A有n个元素,B有m个元素,用一个n×m的矩阵M
R 表示,m
ij
=1
表示有关系。自反关系的0-1矩阵主对角线全为1;对称关系的0-1矩阵是对称阵;反对称关系的0-1矩阵关于主对角线反对称。
M
R1∪R2=M
R1
∨M
R2
,M
R1∩R2
=M
R1
∧M
R2
,M
R1
ο
R2
=M
R1
⊙M
R2
。
有向图法:A有n个元素,每一个关系是一条有向边。自反关系的图每一个顶点都有一个环;对称关系的图在不同顶点之间每一条边都存在与之对应的反方向边(也可用无向图);反对称关系的图在不同顶点之间每一条边都不存在与之对应的反方向边;传递关系的图在3个不同顶点之间构成正确方向的三角形。
9.4关系的闭包
自反闭包:R∪Δ,其中Δ={(a,a)|a∈A}
对称闭包:R并R-1,其中R-1={(b,a)|(a,b)∈R}
传递闭包:R矩阵传递闭包=M
R ∨M
R
[2]∨M
R
[3]...∨M
R
[n],了解沃舍尔算法
9.5等价关系:自反、对称且传递的关系
集合A的元素a在R上的等价类[a]={s|(a,s)∈R∧s∈A}。如A={1,2,3,4,5,6,7,8},R={(a,b)|a = b(mod 3)}的等价类划分如下
离散数学必备知识点总结
离散数学必备知识点总 结 Document number:NOCG-YUNOO-BUYTT-UU986-1986UT
总结离散数学知识点 第二章命题逻辑 1.→,前键为真,后键为假才为假;<—>,相同为真,不同为假; 2.主析取范式:极小项(m)之和;主合取范式:极大项(M)之积; 3.求极小项时,命题变元的肯定为1,否定为0,求极大项时相反; 4.求极大极小项时,每个变元或变元的否定只能出现一次,求极小项时变元不够合取真,求极大项时变元不够析取假; 5.求范式时,为保证编码不错,命题变元最好按P,Q,R的顺序依次写; 6.真值表中值为1的项为极小项,值为0的项为极大项; 7.n个变元共有n2个极小项或极大项,这n2为(0~n2-1)刚好为化简完后的主析取加主合取; 8.永真式没有主合取范式,永假式没有主析取范式; 9.推证蕴含式的方法(=>):真值表法;分析法(假定前键为真推出后键为真,假定前键为假推出后键也为假) 10.命题逻辑的推理演算方法:P规则,T规则 ①真值表法;②直接证法;③归谬法;④附加前提法; 第三章谓词逻辑 1.一元谓词:谓词只有一个个体,一元谓词描述命题的性质; 多元谓词:谓词有n个个体,多元谓词描述个体之间的关系;
2.全称量词用蕴含→,存在量词用合取^; 3.既有存在又有全称量词时,先消存在量词,再消全称量词; 第四章集合 1.N,表示自然数集,1,2,3……,不包括0; 2.基:集合A中不同元素的个数,|A|; 3.幂集:给定集合A,以集合A的所有子集为元素组成的集合,P(A); 4.若集合A有n个元素,幂集P(A)有n2个元素,|P(A)|=||2A=n2; 5.集合的分划:(等价关系) ①每一个分划都是由集合A的几个子集构成的集合; ②这几个子集相交为空,相并为全(A); 6.集合的分划与覆盖的比较: 分划:每个元素均应出现且仅出现一次在子集中; 覆盖:只要求每个元素都出现,没有要求只出现一次; 第五章关系 1.若集合A有m个元素,集合B有n个元素,则笛卡尔A×B的基 2种不同的关系; 数为mn,A到B上可以定义mn 2.若集合A有n个元素,则|A×A|=2n,A上有22n个不同的关系;
离散数学必备知识点总结
总结离散数学知识点 第二章命题逻辑 1.→,前键为真,后键为假才为假;<—>,相同为真,不同为假; 2.主析取范式:极小项(m)之和;主合取范式:极大项(M)之积; 3.求极小项时,命题变元的肯定为1,否定为0,求极大项时相反; 4.求极大极小项时,每个变元或变元的否定只能出现一次,求极小项 时变元不够合取真,求极大项时变元不够析取假; 5.求范式时,为保证编码不错,命题变元最好按P,Q,R的顺序依次写; 6.真值表中值为1的项为极小项,值为0的项为极大项; 7.n个变元共有n2个极小项或极大项,这n2为(0~n2-1)刚好为化简完后的主析取加主合取; 8.永真式没有主合取范式,永假式没有主析取范式; 9.推证蕴含式的方法(=>):真值表法;分析法(假定前键为真推出后键为真,假定前键为假推出后键也为假) 10.命题逻辑的推理演算方法:P规则,T规则 ①真值表法;②直接证法;③归谬法;④附加前提法; 第三章谓词逻辑 1.一元谓词:谓词只有一个个体,一元谓词描述命题的性质; 多元谓词:谓词有n个个体,多元谓词描述个体之间的关系; 2.全称量词用蕴含→,存在量词用合取^;
3.既有存在又有全称量词时,先消存在量词,再消全称量词; 第四章集合 1.N,表示自然数集,1,2,3……,不包括0; 2.基:集合A中不同元素的个数,|A|; 3.幂集:给定集合A,以集合A的所有子集为元素组成的集合,P(A); 4.若集合A有n个元素,幂集P(A)有n2个元素,|P(A)|=||2A=n2; 5.集合的分划:(等价关系) ①每一个分划都是由集合A的几个子集构成的集合; ②这几个子集相交为空,相并为全(A); 6.集合的分划与覆盖的比较: 分划:每个元素均应出现且仅出现一次在子集中; 覆盖:只要求每个元素都出现,没有要求只出现一次; 第五章关系 1.若集合A有m个元素,集合B有n个元素,则笛卡尔A×B的基数为mn,A到B上可以定义m n 2种不同的关系; 2.若集合A有n个元素,则|A×A|=2n,A上有22n个不同的关系; 3.全关系的性质:自反性,对称性,传递性; 空关系的性质:反自反性,反对称性,传递性;
离散数学期末练习题-(带答案)
离散数学复习注意事项: 1、第一遍复习一定要认真按考试大纲要求将本学期所学习内容系统复习一遍。 2、第二遍复习按照考试大纲的要求对第一遍复习进行总结。把大纲中指定的例题及书后习题认真做一做。检验一下主要内容的掌握情况。 3、第三遍复习把随后发去的练习题认真做一做,检验一下第一遍与第二遍复习情况,要认真理解,注意做题思路与方法。 离散数学综合练习题 一、选择题 1.下列句子中,()是命题。 A.2是常数。B.这朵花多好看呀! C.请把门关上!D.下午有会吗? 2.令p: 今天下雪了,q:路滑,r:他迟到了。则命题“下雪路滑,他迟到了” 可符号化为()。 A. p q r ∨→ ∧→ B. p q r C. p q r ∨? ∧∧ D. p q r 3.令:p今天下雪了,:q路滑,则命题“虽然今天下雪了,但是路不滑”可符号化为()。 A.p q ∧ ∧? B.p q C.p q →? ∨? D. p q 4.设() Q x:x会飞,命题“有的鸟不会飞”可符号化为()。 P x:x是鸟,() A. ()(()()) Q x ??∧()) x P x Q x ??→ B. ()(() x P x C. ()(()()) Q x ??∧()) x P x Q x ??→ D. ()(() x P x 5.设() L x y:x大于等于y;命题“所有整数 f x:x的绝对值,(,) P x:x是整数,() 的绝对值大于等于0”可符号化为()。 A. (()((),0)) ?→ x P x L f x ?∧B. (()((),0)) x P x L f x C. ()((),0) ?→ xP x L f x ?∧ D. ()((),0) xP x L f x 6.设() F x:x是人,() G x:x犯错误,命题“没有不犯错误的人”符号化为()。 A.(()()) ??→? x F x G x ?∧B.(()()) x F x G x C.(()()) ??∧? x F x G x ??∧D.(()()) x F x G x 7.下列命题公式不是永真式的是()。 A. () p q p →→ →→ B. () p q p C. () →∨ p q p p q p ?∨→ D. () 8.设() R x:x为有理数;() Q x:x为实数。命题“任何有理数都是实数”的符号化为()
离散数学知识点整理
离散数学 一、逻辑和证明 1.1命题逻辑 命题:是一个可以判断真假的陈述句。 联接词:∧、∨、→、?、?。记住“p仅当q”意思是“如果p,则q”,即p→。记住“q除非p”意思是“?p→q”。会考察条件语句翻译成汉语。 系统规范说明的一致性是指系统没有可能会导致矛盾的需求,即若pq无论取何值都无法让复合语句为真,则该系统规范说明是不一致的。 1.3命题等价式 逻辑等价:在所有可能情况下都有相同的真值的两个复合命题,可以用真值表或者构造新的逻辑等价式。
谓词+量词变成一个更详细的命题,量词要说明论域,否则没有意义,如果有约束条件就直接放在量词后面,如?x>0P(x)。 当论域中的元素可以一一列举,那么?xP(x)就等价于P(x1)∧P(x2)...∧P(xn)。同理,?xP(x)就等价于P(x1)∨P(x2)...∨P(xn)。 两个语句是逻辑等价的,如果不论他们谓词是什么,也不论他们的论域是什么,他们总有相同的真值,如?x(P(x)∧Q(x))和(?xP(x))∧(?xQ(x))。 量词表达式的否定:??xP(x) ??x?P(x),??xP(x) ??x?P(x)。 1.5量词嵌套 我们采用循环的思考方法。量词顺序的不同会影响结果。语句到嵌套量词语句的翻译,注意论域。嵌套量词的否定就是连续使用德摩根定律,将否定词移入所有量词里。 1.6推理规则 一个论证是有效的,如果它的所有前提为真且蕴含着结论为真。但有效论证
二、集合、函数、序列、与矩阵 2.1集合 ∈说的是元素与集合的关系,?说的是集合与集合的关系。常见数集有N={0,1,2,3...},Z整数集,Z+正整数集,Q有理数集,R实数集,R+正实数集,C复数集。 A和B相等当仅当?x(x∈A?x∈B);A是B的子集当仅当?x(x∈A→x∈B);A是B的真子集当仅当?x(x∈A→x∈B)∧?x(x?A∧x∈B)。 幂集:集合元素的所有可能组合,肯定有?何它自身。如?的幂集就是{?},而{?}的幂集是{?,{?}}。 考虑A→B的函数关系,定义域、陪域(实值函数、整数值函数)、值域、像集(定义域的一个子集在值域的元素集合)。 一对一或者单射:B可能有多余的元素,但不重复指向。 映上或者满射:B中没有多余的元素,但可能重复指向。 一一对应或者双射:符合上述两种情况的函数关系。 反函数:如果是一一对应的就有反函数,否则没有。 合成函数:fοg(a)=f(g(a)),一般来说交换律不成立。 2.4序列 无限集分为:一组是和自然数集合有相同基数,另一组是没有相同基数。前者是可数的,后者不可数。想要证明一个无限集是可数的只要证明它与自然数之间有一一对应的关系。 如果A和B是可数的,则A∪B也是可数的。
离散数学谓词逻辑课后总结
第二章谓词逻辑 2—1基本概念 例题1. 所有的自然数都是整数。 设N(x):x是自然数。I(x):x是整数。此命题可以写成?x(N(x)→I(x)) 例题2. 有些自然数是偶数。 设E(x):x是偶数。此命题可以写成?x(N(x)∧E(x)) 例题3. 每个人都有一个生母。 设P(x):x是个人。M(x,y):y是x的生母。此命题可以写 成:?x(P(x)→?y(P(y)∧M(x,y))) 2-2 谓词公式及命题符号化 例题1. 如果x是奇数,则2x是偶数。 其中客体x与客体2x之间就有函数关系,可以设客体函数g(x)=2x, 谓词O(x):x是奇数,E(x):x是偶数, 则此命题可以表示为:?x(O(x)→E(g(x))) 例题2 小王的父亲是个医生。 设函数f(x)=x的父亲,谓词D(x):x是个医生,a:小王,此命题可以表示为D(f(a))。 例题3 如果x和y都是奇数,则x+y是偶数。 设h(x,y)=x+y ,此命题可以表示为:?x?y((O(x)∧O(y))→E(h(x,y)) 命题的符号表达式与论域有关系 两个公式:一般地,设论域为{a1,a2,....,an},则有 (1). ?xA(x)?A(a1)∧A(a2)∧......∧A(an) (2). ?xB(x)?B(a1)∨B(a2)∨......∨B(an) 1.每个自然数都是整数。该命题的真值是真的。 表达式?x(N(x)→I(x))在全总个体域的真值是真的, 因?x(N(x)→I(x))?(N(a1)→I(a1))∧(N(a2)→I(a2))∧…∧(N(an)→I(an)) 式中的x不论用自然数客体代入,还是用非自然数客体代入均为真。例如(N(0.1)→I(0.1))也为真。 而?x(N(x)∧I(x))在全总个体域却不是永真式。
离散数学第二章一阶逻辑知识点总结
数理逻辑部分 第2章一阶逻辑 2.1 一阶逻辑基本概念 个体词(个体): 所研究对象中可以独立存在的具体或抽象的客体个体常项:具体的事物,用a, b, c表示 个体变项:抽象的事物,用x, y, z表示 个体域: 个体变项的取值范围 有限个体域,如{a, b, c}, {1, 2} 无限个体域,如N, Z, R, … 全总个体域: 宇宙间一切事物组成 谓词: 表示个体词性质或相互之间关系的词 谓词常项:F(a):a是人 谓词变项:F(x):x具有性质F 一元谓词: 表示事物的性质 多元谓词(n元谓词, n≥2): 表示事物之间的关系 如L(x,y):x与y有关系L,L(x,y):x≥y,… 0元谓词: 不含个体变项的谓词, 即命题常项或命题变项 量词: 表示数量的词 全称量词?: 表示任意的, 所有的, 一切的等 如?x 表示对个体域中所有的x
存在量词?: 表示存在, 有的, 至少有一个等 如?x表示在个体域中存在x 一阶逻辑中命题符号化 例1 用0元谓词将命题符号化 要求:先将它们在命题逻辑中符号化,再在一阶逻辑中符号化(1) 墨西哥位于南美洲 在命题逻辑中, 设p:墨西哥位于南美洲 符号化为p, 这是真命题 在一阶逻辑中, 设a:墨西哥,F(x):x位于南美洲 符号化为F(a) 例2 在一阶逻辑中将下面命题符号化 (1)人都爱美; (2) 有人用左手写字 分别取(a) D为人类集合, (b) D为全总个体域 . 解:(a) (1) 设G(x):x爱美, 符号化为?x G(x) (2) 设G(x):x用左手写字, 符号化为?x G(x) (b) 设F(x):x为人,G(x):同(a)中
离散数学课程总结
离散数学课程总结 姓名: 学号: 班级:级计科系软件工程()班 近年来,计算机科学与技术有了飞速发展,在生产与生活的各个领域都发挥着越来越重要的作用。离散数学是研究离散量的结构及其相互关系的数学学科,是现代数学的一个重要分支。它在各学科领域,特别在计算机科学与技术领域有着广泛的应用,同时离散数学也是计算机专业的许多专业课程。 一、课程总结 本书的主要内容有数理逻辑、集合论、代数结构、组合数学、图论以及初等数论六部分,而我们主要学习的有第一部分数理逻辑、第二部分集合论以及第五部分图论,第三部分代数结构也学习了一部分。第一部分:数理逻辑 数理逻辑是研究推理的数学分支,推理有一些列的陈述句组成。在数理逻辑中,主要学习了命题逻辑的基本概念、命题逻辑的等值演
算、命题逻辑的推理理论、一阶逻辑基本概念、一阶逻辑等值演算与推理。 1.在命题逻辑的基本概念中学习了命题的真值及真值表、命题与联 结词、命题及其分类、联结词与复合命题、命题公式及其赋值。2.在命题逻辑的等值演算中主要学习了等值式与基本的等值式模式、 等值演算与置换规则、析取范式与合取范式,极大值和极小值,主析取范式与主合取范式、联结词完备集。 3.在命题逻辑的推理理论中主要学习了推理的正确与错误、推理的 形式结构、判断推理正确的方法、推理定律;自然推理系统P、形式系统的定义与分类、自然推理系统P,在P中构造证明:直接证明法、附加前提证明法、归谬法。 4.在一阶逻辑基本概念中主要学习了一阶逻辑命题符号化、个体词、 谓词、量词、一阶逻辑公式及其解释、一阶语言、合式公式及合式公式的解释、永真式、矛盾式、可满足式。 5.在一阶逻辑等值演算与推理中主要学习了一阶逻辑等值式与基本 等值式、置换规则、换名规则、代替规则、前束范式、自然推理系统N及其推理规则。 第二部分:集合论 在集合论中,主要学习了集合代数、二元关系和函数。 1.在集合代数中,学习了集合的基本概念:属于、包含、空集、元 集、幂集、全集;集合的基本运算:并、交、补相对、对称差等; 集合恒等式:集合运算的主要算律、恒等式的证明方法。
离散数学第一章命题逻辑知识点总结
数理逻辑部分 第1章命题逻辑 命题符号化及联结词 命题: 判断结果惟一的陈述句 命题的真值: 判断的结果 真值的取值: 真与假 真命题: 真值为真的命题 假命题: 真值为假的命题 注意: 感叹句、祈使句、疑问句都不是命题,陈述句中的悖论以及判断结果不惟一确定的也不是命题。 简单命题(原子命题):简单陈述句构成的命题 复合命题:由简单命题与联结词按一定规则复合而成的命题 简单命题符号化 用小写英文字母p, q, r, … ,p i,q i,r i (i≥1)表示 简单命题 用“1”表示真,用“0”表示假 例如,令p:是有理数,则p 的真值为 0 q:2 + 5 = 7,则q 的真值为 1 联结词与复合命题 1.否定式与否定联结词“” 定义设p为命题,复合命题“非p”(或“p的否定”)称 为p的否定式,记作p. 符号称作否定联结词,并规定p为真当且仅当p为假. 2.合取式与合取联结词“∧” 定义设p,q为二命题,复合命题“p并且q”(或“p与q”)称为p与q 的合取式,记作p∧q. ∧称作合取联结词,并规定 p∧q为真当且仅当p 与q同时为真 注意:描述合取式的灵活性与多样性 分清简单命题与复合命题 例将下列命题符号化. (1) 王晓既用功又聪明. (2) 王晓不仅聪明,而且用功. (3) 王晓虽然聪明,但不用功. (4) 张辉与王丽都是三好生. (5) 张辉与王丽是同学. 解令p:王晓用功,q:王晓聪明,则 (1) p∧q (2) p∧q (3) p∧q. 令r : 张辉是三好学生,s :王丽是三好学生 (4) r∧s. (5) 令t : 张辉与王丽是同学,t 是简单命题 . 说明:
离散数学部分概念和公式总结
离散数学部分概念和公式总结 命题:称能判断真假的陈述句为命题。 命题公式:若在复合命题中,p、q、r等不仅可以代表命题常项,还可以代表命题变项,这样的复合命题形式称为命题公式。 命题的赋值:设A为一命题公式,p ,p ,…,p 为出现在A中的所有命题变项。给p ,p ,…,p 指定一组真值,称为对A的一个赋值或解释。若指定的一组值使A的值为真,则称成真赋值。真值表:含n(n≥1)个命题变项的命题公式,共有2^n组赋值。将命题公式A在所有赋值下的取值情况列成表,称为A的真值表。 命题公式的类型:(1)若A在它的各种赋值下均取值为真,则称A为重言式或永真式。 (2)若A在它的赋值下取值均为假,则称A为矛盾式或永假式。 (3)若A至少存在一组赋值是成真赋值,则A是可满足式。 主析取范式:设命题公式A中含n个命题变项,如果A得析取范式中的简单合取式全是极小项,则称该析取范式为A的主析取范式。 主合取范式:设命题公式A中含n个命题变项,如果A得析取范式中的简单合析式全是极大项,则称该析取范式为A的主析取范式。 命题的等值式:设A、B为两命题公式,若等价式A?B是重言式,则称A与B是等值的,记作A<=>B。 约束变元和自由变元:在合式公式?x A和?x A中,称x为指导变项,称A为相应量词的辖域,x称为约束变元,x的出现称为约束出现,A中其他出现称为自由出现(自由变元)。一阶逻辑等值式:设A,B是一阶逻辑中任意的两公式,若A?B为逻辑有效式,则称A与B是等值的,记作A<=>B,称A<=>B为等值式。 前束范式:设A为一谓词公式,若A具有如下形式Q1x1Q2x2Q k…x k B,称A为前束范式。集合的基本运算:并、交、差、相对补和对称差运算。 笛卡尔积:设A和B为集合,用A中元素为第一元素,用B中元素为第二元素构成有序对组成的集合称为A和B的笛卡尔积,记为A×B。 二元关系:如果一个集合R为空集或者它的元素都是有序对,则称集合R是一个二元关系。特殊关系:(1)、空关系:Φ(2)全域关系:EA={
(完整word版)离散数学知识汇总,推荐文档
离散数学笔记 第一章命题逻辑 合取 析取 定义 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)、 函数常元(如表示22 y x 的 f(x,y))、 谓词常元(如表示人 类的 H(x))。 定义 2.2.2、逻辑符号:个体变元、量词(??)、联结词(﹁∨∧→?)、逗号、括号。 定义 2.2.3、项的定义:个体常元、变元及其函数式的表达式称为项(item)。 定义 2.2.4、原子公式:设 R(n x x ... 1)是 n 元谓词,n t t ...1是项,则 R(t)是原子公式。原子公式中的个体变元,可以换成个体变元的表达式(项),但不能出现任何联结词与量词,只能为单个的谓词公式。 定义 2.2.5 合式公式:(1)原子公式是合式公式;(2)若 A 是合式公式,则(﹁A)也是合式公式;(3)若 A,B 合式,则 A ∨B, A ∧B, A →B , A ?B 合式(4)若 A 合式,则?xA 、?xA 合式(5)有限次使用(2)~(4)得到的式子是合式。 定义 2.2.6 量词辖域:?xA 和?xA 中的量词?x/?x 的作用范围,A 就是作用范围。 定义 2.2.7 约束变元:在?x 和?x 的辖域 A 中出现的个体变元 x ,称为约束变元,这是与量词相关的变元,约束变元的所有出现都称为约束出现。 定义 2.2.8 自由变元:谓词公式中与任何量词都无关的量词,称为自由变元,它的每次出现称为自由出现。一个公式的个体变元不是约束变元,就是自由变元。 注意:为了避免约束变元和自由变元同名出现,一般要对“约束变元”改名,而不对自由变元改名。 定义 2.2.9 闭公式是指不含自由变元的谓词公式
大学离散数学期末重点知识点总结(考试专用)
1.常用公式 p ∧(P →Q)=>Q 假言推论 ┐Q ∧(P →Q)=>┐P 拒取式 ┐p ∧(P ∨Q)=>Q 析取三段式 (P →Q) ∧(Q →R)=>P →R 条件三段式 (PQ) ∧(QR)=>PR 双条件三段式 (P →Q)∧(R →S)∧(P ∧R)=>Q →S 合取构造二难 (P →Q)∧(R →S)∧(P ∨R)=>Q ∨S 析取构造二难 (?x)((Ax)∨(Bx)) <=>( ?x)(Ax)∨(?x)(Bx) (?x)((Ax)∧(Bx)) <=>(?x)(Ax)∧(?x)(Bx) —┐(?x)(Ax) <=>(?x)┐(Ax) —┐(?x)(Ax) <=>(?x)┐(Ax) (?x)(A ∨(Bx)) <=>A ∨(?x)(Bx) (?x)(A ∧(Bx)) <=>A ∧(?x)(Bx) (?x)((Ax)→(Bx)) <=>(?x)(Ax)→(?x)(Bx) (?x)(Ax) →B <=>(?x) ((Ax)→B) (?x)(Ax) →B <=>(?x) ((Ax)→B) A →(?x)(Bx) <=>(?x) (A →(Bx)) A →(?x)(Bx) <=>(?x) (A →(Bx)) (?x)(Ax)∨(?x)(Bx) =>(?x)((Ax)∨(Bx)) (?x)((Ax)∧(Bx)) =>(?x)(Ax)∧(?x)(Bx) (?x)(Ax)→(?x)(Bx) =>(?x)((Ax)→(Bx)) 2.命题逻辑 1.→,前键为真,后键为假才为假;<—>,相同为真,不同为假; 2.主析取范式:极小项(m)之和;主合取范式:极大项(M)之积; 3.求极小项时,命题变元的肯定为1,否定为0,求极大项时相反; 4.求极大极小项时,每个变元或变元的否定只能出现一次,求极小项时变元不够合取真,求极大项时变元不够析取假; 5.求范式时,为保证编码不错,命题变元最好按P ,Q,R 的顺序依次写; 6.真值表中值为1的项为极小项,值为0的项为极大项; 7.n 个变元共有n 2个极小项或极大项,这n 2为(0~n 2-1)刚好为化简完后的主析取加主合取; 8.永真式没有主合取范式,永假式没有主析取范式; 9.推证蕴含式的方法(=>):真值表法;分析法(假定前键为真推出后键为真,假定前键为假推出后键也为假) 10.命题逻辑的推理演算方法:P 规则,T 规则 ①真值表法;②直接证法;③归谬法;④附加前提法; 3.谓词逻辑 1.一元谓词:谓词只有一个个体,一元谓词描述命题的性质; 多元谓词:谓词有n 个个体,多元谓词描述个体之间的关系; 2.全称量词用蕴含→,存在量词用合取^; 3.既有存在又有全称量词时,先消存在量词,再消全称量词; 4.集合 1.N ,表示自然数集,1,2,3……,不包括0; 2.基:集合A 中不同元素的个数,|A|; 3.幂集:给定集合A ,以集合A 的所有子集为元素组成的集合,P(A); 4.若集合A 有n 个元素,幂集P(A)有n 2个元素,|P(A)|=||2A =n 2; 5.集合的分划:(等价关系) ①每一个分划都是由集合A 的几个子集构成的集合; ②这几个子集相交为空,相并为全(A); 6.集合的分划与覆盖的比较: 分划:每个元素均应出现且仅出现一次在子集中; 覆盖:只要求每个元素都出现,没有要求只出现一次; 5.关系 1.若集合A 有m 个元素,集合B 有n 个元素,则笛卡尔A ×B 的基数为mn ,A 到B 上可以定义mn 2种不同的关系; 2.若集合A 有n 个元素,则|A ×A|=2n ,A 上有22n 个不同的关系; 3.全关系的性质:自反性,对称性,传递性; 空关系的性质:反自反性,反对称性,传递性; 全封闭环的性质:自反性,对称性,反对称性,传递性; 4.前域(domR):所有元素x 组成的集合; 后域(ranR):所有元素y 组成的集合; 5.自反闭包:r(R)=RU Ix ; 对称闭包:s(R)=RU 1-R ; 传递闭包:t(R)=RU 2R U 3R U …… 6.等价关系:集合A 上的二元关系R 满足自反性,对称性和传递性,则R 称为等价关系; 7.偏序关系:集合A 上的关系R 满足自反性,反对称性和传递性,则称R 是A 上的一个偏序关系; 8.covA={
离散数学总结
离散数学总结 班级:学号:姓名: 临近期末各科课程已经结束,随之而来就是总结各科学习总结和对这门学科的建议。《离散数学》这门课程当然也不会例外了。经过一个学期的学习我发现《离散数学》是一门理论性非常强的课程,而且知识点非常多,定义和定理以及定律是数之不尽。 《离散数学》顾名思义就是一门数学,它是数学众多领域中的一个小分支,即使是一个小小的分支,但是它的内容也非常之多,同时也非常抽象。自认我的数学成绩还是不错的,但是面对《离散数学》我就头痛,书本里面很多知识点我都是似懂非懂地。但鉴于《离散数学》在计算科学中的重要性,这是一门必须牢牢掌握的课程。因此我也很无奈,只好硬着头皮去学好它了。 离散数学是理论性较强的学科,学习离散数学的关键是对离散数学(集合论、数理逻辑和图论)有关基本概念的准确掌握,对基本原理及基本运算的运用,并要多做练习。 《离散数学》的特点是: 1、知识点集中,概念和定理多。《离散数学》是建立在大量概念之上的逻辑推理学科,概念的理解是我们学习这门学科的核心。不管哪本离散数学教材,都会在每一章节列出若干定义和定理,接着就是这些定义定理的直接应用。掌握、理解和运用这些概念和定理是学好这门课的关键。要特别注意概念之间的联系,而描述这些联系的则是定理和性质。 2、方法性强:离散数学的特点是抽象思维能力的要求较高。通过对它的学习,能大大提高我们本身的逻辑推理能力、抽象思维能力和形式化思维能力,从而今后在学习任何一门计算机科学的专业主干课程时,都不会遇上任何思维理解上的困难。《离散数学》的证明题多,不同的题型会需要不同的证明方法(如直接证明法、反证法、归纳法等),同一个题也可能有几种方法。但是《离散数学》证明题的方法性是很强的,如果知道一道题用什么方法讲明,则很容易可以证出来,否则就会事倍功半。因此在平时的学习中,要勤于思考,对于同一个问题,尽可能多探讨几种证明方法,从而学会熟练运用这些证明方法,再者要善于总结。 在学习《离散数学》的过程中,我明白了理解概念是至关重要的。只有概念明确,才有可能将离散数学学好。但是初学者往往不能够将概念与现实世界中的事物联系起来,这是学好离散数学的基础,因此也是初学者面临的一个困难。只有克服它,你才能有可能学好《离散数学》。 学完这门课后,我总结到了,如果你想学得更好——你可以在进行完一章的学习后,用专门的时间对该章包括的定义与定理实施强记。只有这样才可能本课程的抽象能够适应,并为后续学习打下良好的基础。而且必须及时复习和总结。 《离散数学》是一门数学科,大家都知道学数学就是要大量做数学,因此《离散数学》也不会例外。学习数学不仅限于学习数学知识,更重要的还在于学习数学的思维方法。这一点非常重要。 课程虽然是上完了,但是老师你的教学方法独特而新颖,思想开化而先进,是个容易沟通的老师。有你带着我们学习《离散数学》就是我们不想学好,我想也是很难吧!就我来说每次上课时在我快要与“周公”会面之际,你突然一个笑话和雷人的语录,我和“周公”迫不得已就分开了。当我再次看到周公时,耳边