《离散数学》课程论文
计科系10级计本
一、对课程的理解
个人认为离散数学是一门综合性非常强的学科。本书分为六个部分。为数理逻辑、集合论、代数结构、组合数学、图论和初等数论。其中由于课时紧凑我们忽略了部分学习内容。感觉它是一门集理论思维与抽象思维于一身的学科。开始学习大家可能会觉得很简单,学得很轻松,第一部分的数理逻辑在高中时也有所接触,只是现在在高中的基础上更深层次的加入一些元素。第二部分集合论高中也学过一点基本的,多了二元关系之类。据课本介绍,其中的偏序关系广泛用于实际问题中,调度问题就是典型的实例。第三部分的代数结构是完全新的学习内容,开始带有抽象的色彩。接下来就学习了图论,是个很有意思的部分,不像之前那么枯燥,可以有图形与关系之间的转换。
搜集有关资料得知《离散数学》的特点是:
1、知识点集中,概念和定理多:《离散数学》是建立在大量概念之上的逻辑推理学科,概念的理解是我们学习这门学科的核心。不管哪本离散数学教材,都会在每一章节列出若干定义和定理,接着就是这些定义定理的直接应用。掌握、理解和运用这些概念和定理是学好这门课的关键。要特别注意概念之间的联系,而描述这些联系的则是定理和性质。
2、方法性强:离散数学的特点是抽象思维能力的要求较高。通过对它的学习,能大大提高我们本身的逻辑推理能力、抽象思维能力和形式化思维能力,从而今后在学习任何一门计算机科学的专业主干课程时,都不会遇上任何思维理解上的困难。《离散数学》的证明题多,不同的题型会需要不同的证明方法(如直接证明法、反证法、归纳法、构造性证明法),同一个题也可能有几种方法。但是《离散数学》证明题的方法性是很强的,如果知道一道题用什么方法讲明,则很容易可以证出来,否则就会事倍功半。因此在平时的学习中,要勤于思考,对于同一个问题,尽可能多探讨几种证明方法,从而学会熟练运用这些证明方法。同时要善于总结。
通过以上特点介绍使我对离散数学有了不一样的认识。我们是学计算机专业的学生,离散数学的学习给了我们很多的帮助,虽然这门每个部分的联系不是很紧密。今年我们开设的专业课有《数据库》,其中二元关系这部分与之就有了很大的联系,听过离散数学后,数据库中这些关系的理解起来就不必那么费事了。还有专业课《数据结构与算法》,这部分联系的就多了,主要是图论这部分。使在学习数据结构时节省了不少时间,老师说起来也轻松。
二、对课程的建议
《离散数学》这本书中我们只学了四个部分:数理逻辑、集合论、代数系统、图论.这四部分内容中每一个部分都可以是一门独立的课程,它们分别作为《离散数学》课程的一部分,容易造成教学内容繁多与教学课时数偏少相矛盾,使教学过程具有很大的难度.这几部分的内容我们只是选择性的部分详细讲解,我觉得在教学过程中对讲授内容的设置上应当有所侧重,比如学生对集合论基础的很
多内容在中学数学中已经有所了解,所以这部分内容只需要简要介绍一下,重点放在用集合论的方法解决实际应用问题上.对于二元关系这部分,侧重点是加强对与二元关系的几个性质相关问题的论证方法的训练.在数理逻辑上通过将一般命题公式和一阶逻辑公式化成范式,达到强化训练学生逻辑演算能力,并通过逻辑推理理论的学习来提高逻辑推理能力.图论部分重点放在基本概念的理解和实际问题的处理上,通过对相关定理及其证明思路的理解来体会图论的研究方法.代数系统这部分内容重点放在群论上,尤其要在代数系统、群、子群、循环群、变换群、正规子群的概念及相关问题的理解上下功夫,特别要掌握同构和同态的概念及应用,对于其它的代数系统如环、域及布尔代数则可以略讲.另外,现行大多数教材,主要是集中在从纯数学理论角度教授基本内容,这也是不利于学生的理解学习的.如果选择了这种教材,在教学过程中,应穿插介绍一些知识点在计算机科学中的应用,将之与离散数学理论结合介绍给学生,使学生重视这一课程的学习,产生学习兴趣,主动地进行学习.这将有利于学生理解理论知识,又为后续课程的学习奠定基础.
三、对老师的建议
想起老师嘴角微微的上扬了,觉得老师很亲切。老师每次课后都会布置作批改作业也很及时,不懂不会的问题也会集中给我们讲解。是位很细心的老师。有时还会和我们讲讲笑话。有时老师不知道我们在下面说什么,那种懵懂的表情很可爱。个人来说还是很满足的,还有知道老师教的科目很多,站在女性的立场很佩服啊,以后得向老师看齐。老师的课还是很有意思的。后期可能是时间的关系和课时的稀少,感觉后面的内容感觉一味概念灌输。总而言之,对老师没什么不满意。真要说什么建议那就严厉一点,吓吓那些不爱学习的。
离散数学必备知识点总 结 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、第二遍复习按照考试大纲的要求对第一遍复习进行总结。把大纲中指定的例题及书后习题认真做一做。检验一下主要内容的掌握情况。 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.1简介 离散数学(Discrete mathematics)是研究离散量的结构及其相互关系的数学学科,是现代数学的一个重要分支。它在各学科领域,特别在计算机科学与技术领域有着广泛的应用,同时离散数学也是计算机专业的许多专业课程,如程序设计语言、数据结构、操作系统、编译技术、人工智能、数据库、算法设计与分析、理论计算机科学基础等必不可少的先行课程。1.2离散数学的内容 离散数学是传统的逻辑学,集合论(包括函数),数论基础,算法设计,组合分析,离散概率,关系理论,图论与树,抽象代数(包括代数系统,群、环、域等),布尔代数,计算模型(语言与自动机)等汇集起来的一门综合学科。离散数学的应用遍及现代科学技术的诸多领域,它通常研究的领域包括:数理逻辑、集合论、代数结构、关系论、函数论、图论、组合学、数论等。 2.离散数学在门电路设计中的应用 2.1 逻辑门的概念 逻辑门是集成电路中的基本组件。简单的逻辑门可由晶体管组成。这些晶体管的组合可以使代表两种信号的高低电平在通过它们之后产生高电平或者低电平的信号。高、低电平可以分别代表逻辑上的“真”与“假”
第二章谓词逻辑 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))在全总个体域却不是永真式。
离散数学论文 —浅谈离散数学的学习及其在计算机中的应用一、对离散数学学习的认识 通过这一学期的学习,我对这门课程有一些初步的了解,现在的心情和当初也很不相同。在听过老师讲解以后,我觉得第一部分的数理逻辑自己都能很好的掌握。后面的开始深入一些,对于好多以前没有接触过的名词定义不能马上理解,但是只要跟着老师的思维走,上课认真听讲,课后看一下书本就能懂。有了这些认知,我觉得这门课的难点在于课程比较枯燥,好多理论的知识需要我们去理解。前五章主要是认识逻辑语言符号,了解了数理逻辑的特点,并做一些简单的逻辑推理和运算。第二部分讲的是集合论。在这一部分中进一步认识、运用数理逻辑语言,熟练强化练习,深入理解。这一章的难度相较于前几章要繁琐些,有很多的符号转换,运算,运算过程很复杂。对于计算能力不强的我来说,这一章或许是最吃力的,即使知道原理也需要通过大量的练习强化巩固,而这其中用到的还有线性代数里面的矩阵。在第三部分的代数结构中主要学习了代数系统、群与环,其中二元运算和代数系统有点难度,较以往学习非常吃力!第五部分的图论可以归结为本书的重点之一,“图”“树及其应用”又是其中的重中之重。它的用途非常广泛,并且应用于我们整个日常生活中。比如:一个计算机芯片需要多少层才能使得同一层的路线互不相交?一位流动推销员要以怎样的顺序到达每一个城市才能使得旅行时间最短?这些问题以及其他一些实际问题都涉及“图论”。 这里所说的图并不是几何学中的图形,而是客观世界中某些具体事物间
联系的一个数学抽象,用顶点代表事物,用边表示各式物间的二元关系,如果所讨论的事物之间有某种二元关系,我们就把相应的顶点练成一条边。这种由顶点及连接这些顶点的边所组成的图就是图论中所研究的图。 树是指没有回路的连通图。它是连通图中最简单的一类图,许多问题对一般连通图未能解决或者没有简单的方法,而对于树,则已圆满解决,且方法较为简单。而且在许多不同领域中有着广泛的应用。例如家谱图就是其中之一。如果将每个人用一个顶点来表示,并且在父子之间连一条边,便得到一个树状图。 通过对图论的初步理解和认识,我深深地认识到,图论的概念虽然有其直观、通俗的方面,但是这许多日常生活用语被引入图论后就都有了其严格、确切的含义。我们既要学会通过术语的通俗含义更快、更好地理解图论概念,又要注意保持术语起码的严格。 本以为枯燥乏味的离散数学竟然会是贴近生活是我意想不到的,这些历史难题等等,都让我对它产生了一定的兴趣,虽然不可否认的是,对我来说它确实是一门很难很深奥很抽象的课程,但是仍然不减我对图论产生的兴趣,或许这也就是我选择这门课程最大的收获吧。 二、离散数学在计算机中的应用 离散数学是现代数学的重要分支,是研究离散量的结构及相互关系的学科,它在计算机理论研究及软、硬件开发的各个领域都有着广泛的应用。作为一门重要的专业基础课,对于我们计算机专业的同学来说,学习离散数学史有其重要现实意义:它不仅能为我们的专业课学习打下基础,也为我们今后将要从事的软、硬件开发和应用研究打下坚实的基础,同时也有助于培
我的离散数学学习心得 (1) -- 一类抽象代数题的解题思路 学习离散数学已经有一段时间了,书读了不少,题也做了一些。最近又常在群里和研友们讨论离散数学中的问题。所以对离散数学也有了一些心得和体会。在今后的一段时间里,我会不定期的写一些小的经验总结,以供后来人参考。:) 因为是“心得体会”,所以多半是想到什么写什么,组织和条理方面可能会比较差。还望各位看官多多包涵。;) 这次我们来讨论一类代数问题的解题思路。 问题:设R为含幺环,求证:对任意a,b∈R,若1-ab可逆,则1-ba也可逆。 分析: 我们知道,证明问题的方法大致可以分为两类:构造性证明和存在性证明。前者要求给出一个切实的方法,找出符合命题要求的元素(在这道题中,就是找到1-ba的逆元)。后者则只证明这样的元素必然存在,但并不给出切实的寻找方法。反证法是存在性证明的基本方法。 无论打算采用是哪种证明方法,确认一下我们可以使用的前提条件总是必要的。 就这道题而言,我们可以使用这些前提: 1、R是含幺环。这就意味着R对加法构成Abel群(从而我们可以自由地使用加法交换律、加法消去律、加法逆元等),R对乘法构成独异点(从而可以使用乘法单位元1),当然还有乘法对加法的分配律。 2、1-ab是可逆的,这就是说,存在c∈R,使得c(1-ab)=(1-ab)c=1。移项后得到:cab=abc=c-1。 需要注意的是: 1、在题设中没有假设R的可换性(事实上,如果R可换的话,整个问题就没有任何难度了),也没有假设a、b是可逆的。所以,在解题时,不能使用乘法交换律,也不能随便使用a、b的逆元(除非已经证明了它们的存在性)。 2、如果没有1-ab可逆这个条件,肯定是推不出1-ba可逆的(我们在环中可以找到太多的反例)。所以,cab=abc=c-1将是解题的关键。观察这个式子,我们注意到,它提供了在c的参与下,移动和消去ab 的方法。 我们的目的是,证明存在这样的一个元素d∈R,满足(1-ba)d=d(1-ba)=1。 初看到这道题,我们并不知道使用构造性证明容易还是使用反证法容易。 不过推理一下我们可以发现,如果要使用反证法的话,我们需要反设1-ba不存在乘法逆元,然后由此推出1-ab也不可能有逆元(或者推出R不是含幺环)。 但反设1-ba不存在乘法逆元后,我们到底能推出哪些结论来呢?似乎很少。我们甚至连“对任意x∈R,必有x(1-ba)≠1”这样简单的情况都难以证明(因为我们只假设了1-ba没有“乘法逆元”,并不能由此推出1-ba没有“乘法左逆元”)。 另一方面,利用等式cab=abc=c-1直接构造出一个1-ba的逆元应该一个比较有希望的方法。 这时,我们可以“取巧”了。注意到: 1、如果我们相信题目给的命题没有错的话,我们只要找到1-ba的左逆元(或者右逆元)就基本完成任务了(虽然最终书写证明时,我们需要证明我们找到的元素既是左逆元又是右逆元)。因为如果一个元素的左右逆元都存在的话,它的左右逆元是唯一且相等的(所以,1-ba确实可逆,而我们又找到了它的一
数理逻辑部分 第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.主析取范式:极小项 (m) 之和;主合取范式:极大项(M)之积; 3.求极小项时,命题变元的肯定为1,否定为 0,求极大项时相反; 4.求极大极小项时,每个变元或变元的否定只能出现一次,求极小项 时变元不够合取真,求极大项时变元不够析取假; 5.求范式时,为保证编码不错,命题变元最好按P,Q,R 的顺序依次写; 6.真值表中值为 1 的项为极小项,值为0 的项为极大项; 7.n 个变元共有2n个极小项或极大项,这2n为(0~ 2n -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) 有2 n个元素, |P(A)|= 2| A| = 2 n; 5.集合的分划: (等价关系 ) ①每一个分划都是由集合 A 的几个子集构成的集合; ② 几个子集相交空,相并全(A); 6.集合的分划与覆盖的比: 分划:每个元素均出且出一次在子集中; 覆盖:只要求每个元素都出,没有要求只出一次; 第五章关系 1.若集合 A 有 m 个元素,集合 B 有 n 个元素,笛卡 A×B 的基数mn, A 到 B 上可以定2mn种不同的关系; 2.若集合 A 有 n 个元素, |A ×A|= n2,A 上有2n2个不同的关系; 3.全关系的性:自反性,称性,性; 空关系的性:反自反性,反称性,性;
离散数学课程总结 姓名: 学号: 班级:级计科系软件工程()班 近年来,计算机科学与技术有了飞速发展,在生产与生活的各个领域都发挥着越来越重要的作用。离散数学是研究离散量的结构及其相互关系的数学学科,是现代数学的一个重要分支。它在各学科领域,特别在计算机科学与技术领域有着广泛的应用,同时离散数学也是计算机专业的许多专业课程。 一、课程总结 本书的主要内容有数理逻辑、集合论、代数结构、组合数学、图论以及初等数论六部分,而我们主要学习的有第一部分数理逻辑、第二部分集合论以及第五部分图论,第三部分代数结构也学习了一部分。第一部分:数理逻辑 数理逻辑是研究推理的数学分支,推理有一些列的陈述句组成。在数理逻辑中,主要学习了命题逻辑的基本概念、命题逻辑的等值演
算、命题逻辑的推理理论、一阶逻辑基本概念、一阶逻辑等值演算与推理。 1.在命题逻辑的基本概念中学习了命题的真值及真值表、命题与联 结词、命题及其分类、联结词与复合命题、命题公式及其赋值。2.在命题逻辑的等值演算中主要学习了等值式与基本的等值式模式、 等值演算与置换规则、析取范式与合取范式,极大值和极小值,主析取范式与主合取范式、联结词完备集。 3.在命题逻辑的推理理论中主要学习了推理的正确与错误、推理的 形式结构、判断推理正确的方法、推理定律;自然推理系统P、形式系统的定义与分类、自然推理系统P,在P中构造证明:直接证明法、附加前提证明法、归谬法。 4.在一阶逻辑基本概念中主要学习了一阶逻辑命题符号化、个体词、 谓词、量词、一阶逻辑公式及其解释、一阶语言、合式公式及合式公式的解释、永真式、矛盾式、可满足式。 5.在一阶逻辑等值演算与推理中主要学习了一阶逻辑等值式与基本 等值式、置换规则、换名规则、代替规则、前束范式、自然推理系统N及其推理规则。 第二部分:集合论 在集合论中,主要学习了集合代数、二元关系和函数。 1.在集合代数中,学习了集合的基本概念:属于、包含、空集、元 集、幂集、全集;集合的基本运算:并、交、补相对、对称差等; 集合恒等式:集合运算的主要算律、恒等式的证明方法。
离散数学部分概念和公式总结 命题:称能判断真假的陈述句为命题。 命题公式:若在复合命题中,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={
方法、知识点总结(知识重点和考题重点) 前三章重点内容(知识重点): 1、蕴含(条件)“→”的真值 P→Q的真值为假,当且仅当P为真,Q为假。 2、重言(永真)蕴涵式证明方法 <1>假设前件为真,推出后件也为真。 <2>假设后件为假,推出前件也为假。 易错 3、等价公式和证明中运用
4、重要公式 重言蕴涵式:P∧Q => P or Q P or Q => p∨Q A->B =>(A∧or∨C)->(B∧or∨C) 其他是在此基础上演变 等价公式:幂等律P∧P=P P∨P=P 吸收律P∧(P∨Q)=P P∨(P∧Q)=P 同一律P∨F=P P∧T=P P∨T=T P∧F=F P <-> Q = (P->Q)∧(Q->P) = (P∧Q)∨(﹁P∧﹁Q) 5、范式的写法(最方便就是真值表法) 6、派遣人员、课表安排类算法: 第一步:列出所有条件,写成符号公式 第二步:用合取∧连接 第三步:求上一步中的析取范式即可 7、逻辑推理的写法 直接推理论证:其中I公式是指重言蕴涵式那部分 其中E公式是指等价公式部分 条件论证: 形如~ , ~, ~ => R->S
R P(附加条件) ... ... S T R->S CP 8、谓词基本内容 注意:任意用—> 连接 存在用∧连接 量词的否定公式 量词的辖域扩充公式
量词分配公式 其他公式 9、带量词的公式在论域内的展开 10、量词辖域的扩充公式 11、前束范式的写法 给定一个带有量词的谓词公式, 1)消去公式中的联接词→和←→(为了便于量词辖域的扩充); 2)如果量词前有“﹁ ”,则用量词否定公式﹁ ”后移。再用摩根定律或求公式的否定公式,将“﹁ ”后移到原子谓词公式之前; 3)用约束变元的改名规则或自由变元的代入规则对变元换名(为量词辖域扩充作准备); 4)用量词辖域扩充公式提取量词,使之成为前束范式形式。 简要概括:1、去-> ,<-> 2、移﹁ 3、换元 4、量词辖域扩充
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={