资源描述：
《离散数学课程总结》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。
1、离散数学课程总结一、对该课程的理解：离散数学是现代数学的一个重要分支，是计算机科学专业的专业主干课之一，课程结合计算科学的特点研究离散对象和相互关系，对提高学生的抽象思维与逻辑推理能力有很重要的作用。它以研究离散量的结构和相互关系为主要目标，在计算机科学的数据结构、操作系统等有广泛的应用。它是许多数学科目的统称。它的内容包括了数理逻辑、集合论、抽象代数、图论、排列组合、形式语言及自动机等。该门课概念较多、论性较强，定理比较多，学习起来难免有点枯燥乏味。同时也因为概念比较多所以课程连接比较混乱，概念不清，张冠李戴等问题屡屡出现。第一章
2、主要是介绍命题逻辑的基本概念。其中包括命题与联结词；命题公式及其赋值。这张可以说是基础中的基础，为后面打下基础。通过各种联结词将命题连接起来构成推理，从而可以判断其真假。otherstaffoftheCentre.Duringthewar,ZhuwastransferredbacktoJiangxi,andDirectorofthenewOfficeinJingdezhen,JiangxiCommitteeSecretary.Startingin1939servedasrecorderoftheWestNorthOrganizati
3、on,SecretaryoftheSpecialCommitteeAfterthevictoryofthelongMarch,hehasbeentheNorthwestOfficeoftheFederationofStateenterprisesMinister,ShenmufuguSARmissions,DirectorofNingxiaCountypartyCommitteeSecretaryandrecorderoftheCountypartyCommitteeSecretary,Ministersand第二章主要是介绍命题逻
4、辑等值演算。其中包括等值式；析取范式与合取范式；联结词的完备集；可满足性问题与消解集。学习完了第一章的命题逻辑之后，就开始在此基础上扩充知识点。在这章中重点有运用等值演算法或者真值表法去求解析取范式和合取范式（或者主析取范式和主合取范式）以及等值式。26个等值式中我们要特别需要记住的有分配律，德摩根律，蕴涵等值式，等价等值式，这些等值式贯穿于后面几章的知识。其后就是求主析取范式和主合取范式了第三章主要是介绍命题逻辑的推理理论。其中包括推理的形式结构和自然推理系统P。这张将又会介绍更多的等值式。当然，学以致用在本章得以诠释，同时这也是
5、考试的一个重点。第四章的知识点逐渐深入，由浅及深，主要是介绍一阶逻辑基本概念。也就是一阶逻辑命题符号化，一阶逻辑公式及其解释。第五章与第四章息息相关，主要是介绍一阶逻辑等值演算与推理。包括一阶逻辑等值式与置换规则，前束范式，推理理论。运用等值式及各种规则求一阶逻辑的翻译或者符号化。第六章主要是介绍集合代数。包括有集合的基本概念，集合的运算，集合恒等式。这章主要是围绕集合而展开学习的，内容简单易懂。otherstaffoftheCentre.Duringthewar,ZhuwastransferredbacktoJiangxi,and
6、DirectorofthenewOfficeinJingdezhen,JiangxiCommitteeSecretary.Startingin1939servedasrecorderoftheWestNorthOrganization,SecretaryoftheSpecialCommitteeAfterthevictoryofthelongMarch,hehasbeentheNorthwestOfficeoftheFederationofStateenterprisesMinister,ShenmufuguSARmissions,
7、DirectorofNingxiaCountypartyCommitteeSecretaryandrecorderoftheCountypartyCommitteeSecretary,Ministersand第七章主要是介绍二元关系。其中包括有序对与笛卡尔积，二元关系，关系的运算，关系的性质，关系的闭包，等价关系与划分，偏序关系。这章内容比较重要，特别是后面的五种关系及闭包。了解了有序对知识点后，在此基础上继续学习五种关系：自反性，反自反性，对称性，反对称性，传递性，并且熟悉他们的证明过程。关系的闭包，等价关系，偏序关系是考试的另一
8、个重点，需重点掌握。第八章主要是介绍函数。包括函数的定义和性质的掌握以及复合函数，反函数。第九章和第十章主要是介绍代数系统及群与环。可以这样总结：二元运算及其性质---à代数系统---à半群---à独异点---à群。与此同时，我们也要
