离散数学图算法总结.doc

离散数学图算法总结 一、 对该课程的理解： 离散数学是现代数学的一个重要分支，是计算机科学专业的专业主干课之一，课程结合计算科学的特点研究离散对象和相互关系，对提高学生的抽象思维与逻辑推理能力有很重要的作用。它以研究离散量的结构和相互关系为主要目标，在计算机科学的数据结构、操作系统等有广泛的应用。它是许多数学科目的统称。它的内容包括了数理逻辑、集合论、抽象代数、图论、排列组合、形式语言及自动机等。该门课概念较多、论性较强，定理比较多，学习起来难免有点枯燥乏味。同时也因为概念比较多所以课程连接比较混乱，概念不清，张冠李戴等问题屡屡出现。 第一章主要是介绍命题逻辑的基本概念。其中包括命题与联结词；命题公式及其赋值。这张可以说是基础中的基础，为后面打下基础。通过各种联结词将命题连接起来构成推理，从而可以判断其真假。 第二章主要是介绍命题逻辑等值演算。其中包括等值式；析取范式与合取范式；联结词的完备集；可满足性问题与消解集。学习完了第一章的命题逻辑之后，就开始在此基础上扩充知识点。在这章中重点有运用等值演算法或者真值表法去求解析取范式和合取范式以及等值式。26个等值式中我们要特别需要记住的有分配 律，德摩根律，蕴涵等值式，等价等值式，这些等值式贯穿于后面几章的知识。其后就是求主析取范式和主合取范式了 第三章主要是介绍命题逻辑的推理理论。其中包括推理的形式结构和自然推理系统P。这张将又会介绍更多的等值式。当然，学以致用在本章得以诠释，同时这也是考试的一个重点。 第四章的知识点逐渐深入，由浅及深，主要是介绍一阶逻辑基本概念。也就是一阶逻辑命题符号化，一阶逻辑公式及其解释。 第五章与第四章息息相关，主要是介绍一阶逻辑等值演算与推理。包括一阶逻辑等值式与置换规则，前束范式，推理理论。运用等值式及各种规则求一阶逻辑的翻译或者符号化。 第六章主要是介绍集合代数。包括有集合的基本概念，集合的运算，集合恒等式。这章主要是围绕集合而展开学习的，内容简单易懂。 第七章主要是介绍二元关系。其中包括有序对与笛卡尔积，二元关系，关系的运算，关系的性质，关系的闭包，等价关系与划分，偏序关系。这章内容比较重要，特别是后面的五种关系及闭包。了解了有序对知识点后，在此基础上继续学习五种关系：自反性，反自反性，对称性，反对称性，传递性，并且熟悉他们的证明过程。关系的闭包， 等价关系，偏序关系是考试的另一个重点，需重点掌握。 第八章主要是介绍函数。包括函数的定义和性质的掌握以及复合函数，反函数。 第九章和第十章主要是介绍代数系统及群与环。可以这样总结：二元运算及其性质---?代数系统---?半群---?独异点---?群。与此同时，我们也要掌握群，半群的相关证明。 第十四章和第十五章主要是介绍图的基本概念以及欧拉图，哈密顿图。在第十四章中，我们初步学习图的相关知识，同时还有图的矩阵表示和运算。这也是一重点。至于欧拉图及哈密顿图，我们要学习如何判断是否为欧拉图及哈密顿图，要求不是很多，了解就好。 二、对课程的意见和建议： 可以适当的多添加几节离散数学课，老师也可以在课堂上适当的添加一些在其他计算机学科中应用的知识点。对离散数学中的一些富有历史趣味的有关离散的历史故事也可以提一提，增加课堂气氛，减少课堂的乏味。 三、 对老师德意见和建议： 就我们的离散老师而言是非常的一个老师，她在课堂上总是充满热情，时不时的穿插一些笑话缓和课堂气氛。而且每次上课她都是面带微笑，让人产生一种亲切感，我认为对这样 的老师实在是没有什么意见和建议了，如果说有，那就是希望她以后可以多开一些习题课来巩固我们学习过的知识。 总结 离散数学知识点 第二章 命题逻辑 1.→，前键为真，后键为假才为假；，相同为真，不同为假； 2.主析取范式：极小项之和；主合取范式：极大项之积； 3.求极小项时，命题变元的肯定为1，否定为0，求极大项时相反； 4.求极大极小项时，每个变元或变元的否定只能出现一次，求极小项时变元不够合取真，求极大项时变元不够析取假； 5.求范式时，为保证编码不错，命题变元最好按P,Q,R的顺序依次写； 6.真值表中值为1的项为极小项，值为0的项为极大项； 7.n个变元共有2n个极小项或极大项，这2n为刚好为化简完后的主析取加主合取； 8.永真式没有主合取范式，永假式没有主析取范式； 9.自然数集，1,2,3??，不包括0； 2.基：集合A中不同元素的个数，|A|； 3.幂集：给定集合A，以集合A的所有子集为元素组成的集