离散数学课程总结

一、 对该课程的理解：

离散数学是现代数学的一个重要分支，是计算机科学专业的专业主干课之一，课程结合计算科学的特点研究离散对象和相互关系，对提高学生的抽象思维与逻辑推理能力有很重要的作用。它以研究离散量的结构和相互关系为主要目标，在计算机科学的数据结构、操作系统等有广泛的应用。它是许多数学科目的统称。它的内容包括了数理逻辑、集合论、抽象代数、图论、排列组合、形式语言及自动机等。该门课概念较多、论性较强，定理比较多，学习起来难免有点枯燥乏味。同时也因为概念比较多所以课程连接比较混乱，概念不清，张冠李戴等问题屡屡出现。

第一章主要是介绍命题逻辑的基本概念。其中包括命题与联结词；命题公式及其赋值。这张可以说是基础中的基础，为后面打下基础。通过各种联结词将命题连接起来构成推理，从而可以判断其真假。

第二章主要是介绍命题逻辑等值演算。其中包括等值式；析取范式与合取范式；联结词的完备集；可满足性问题与消解集。学习完了第一章的命题逻辑之后，就开始在此基础上扩充知识点。在这章中重点有运用等值演算法或者真值表法去求解析取范式和合取范式（或者主析取范式和主合取范式）以及等值式。26个等值式中我们要特别需要记住的有分配

律，德摩根律，蕴涵等值式，等价等值式，这些等值式贯穿于后面几章的知识。其后就是求主析取范式和主合取范式了

第三章主要是介绍命题逻辑的推理理论。其中包括推理的形式结构和自然推理系统P。这张将又会介绍更多的等值式。当然，学以致用在本章得以诠释，同时这也是考试的一个重点。

第四章的知识点逐渐深入，由浅及深，主要是介绍一阶逻辑基本概念。也就是一阶逻辑命题符号化，一阶逻辑公式及其解释。

第五章与第四章息息相关，主要是介绍一阶逻辑等值演算与推理。包括一阶逻辑等值式与置换规则，前束范式，推理理论。运用等值式及各种规则求一阶逻辑的翻译或者符号化。

第六章主要是介绍集合代数。包括有集合的基本概念，集合的运算，集合恒等式。这章主要是围绕集合而展开学习的，内容简单易懂。

第七章主要是介绍二元关系。其中包括有序对与笛卡尔积，二元关系，关系的运算，关系的性质，关系的闭包，等价关系与划分，偏序关系。这章内容比较重要，特别是后面的五种关系及闭包。了解了有序对知识点后，在此基础上继续学习五种关系：自反性，反自反性，对称性，反对称性，传递性，并且熟悉他们的证明过程。关系的闭包，

等价关系，偏序关系是考试的另一个重点，需重点掌握。

第八章主要是介绍函数。包括函数的定义和性质的掌握以及复合函数，反函数。

第九章和第十章主要是介绍代数系统及群与环。可以这样总结：二元运算及其性质---?代数系统---?半群---?独异点---?群。与此同时，我们也要掌握群，半群的相关证明。

第十四章和第十五章主要是介绍图的基本概念以及欧拉图，哈密顿图。在第十四章中，我们初步学习图的相关知识，同时还有图的矩阵表示和运算。这也是一重点。至于欧拉图及哈密顿图，我们要学习如何判断是否为欧拉图及哈密顿图，要求不是很多，了解就好。

二、对课程的意见和建议：

可以适当的多添加几节离散数学课，老师也可以在课堂上适当的添加一些在其他计算机学科中应用的知识点。对离散数学中的一些富有历史趣味的有关离散的历史故事也可以提一提，增加课堂气氛，减少课堂的乏味。

三、 对老师德意见和建议：

就我们的离散老师而言是非常的一个老师，她在课堂上总是充满热情，时不时的穿插一些笑话缓和课堂气氛。而且每次上课她都是面带微笑，让人产生一种亲切感，我认为对这样

的老师实在是没有什么意见和建议了，如果说有，那就是希望她以后可以多开一些习题课来巩固我们学习过的知识。

 

第二篇：离散数学课程总结

离散数学课程总结

姓名：

学号：

班级： 级计科系软件工程（ ）班

近年来，计算机科学与技术有了飞速发展，在生产与生活的各个领域都发挥着越来越重要的作用。离散数学是研究离散量的结构及其相互关系的数学学科，是现代数学的一个重要分支。它在各学科领域，特别在计算机科学与技术领域有着广泛的应用，同时离散数学也是计算机专业的许多专业课程。

一、课程总结

本书的主要内容有数理逻辑、集合论、代数结构、组合数学、图论以及初等数论六部分，而我们主要学习的有第一部分数理逻辑、第二部分集合论以及第五部分图论，第三部分代数结构也学习了一部分。 第一部分：数理逻辑

数理逻辑是研究推理的数学分支，推理有一些列的陈述句组成。在数理逻辑中，主要学习了命题逻辑的基本概念、命题逻辑的等值演

算、命题逻辑的推理理论、一阶逻辑基本概念、一阶逻辑等值演算与推理。

1. 在命题逻辑的基本概念中学习了命题的真值及真值表、命题与联结词、命题及其分类、联结词与复合命题、命题公式及其赋值。

2. 在命题逻辑的等值演算中主要学习了等值式与基本的等值式模式、等值演算与置换规则、析取范式与合取范式，极大值和极小值，主析取范式与主合取范式、联结词完备集。

3. 在命题逻辑的推理理论中主要学习了推理的正确与错误、推理的形式结构、判断推理正确的方法、推理定律；自然推理系统P、形式系统的定义与分类、自然推理系统P，在P中构造证明：直接证明法、附加前提证明法、归谬法。

4. 在一阶逻辑基本概念中主要学习了一阶逻辑命题符号化、个体词、谓词、量词、一阶逻辑公式及其解释、一阶语言、合式公式及合式公式的解释、永真式、矛盾式、可满足式。

5. 在一阶逻辑等值演算与推理中主要学习了一阶逻辑等值式与基本等值式、置换规则、换名规则、代替规则、前束范式、自然推理系统N及其推理规则。

第二部分：集合论

在集合论中，主要学习了集合代数、二元关系和函数。

1. 在集合代数中，学习了集合的基本概念：属于、包含、空集、元集、幂集、全集；集合的基本运算：并、交、补相对、对称差等；集合恒等式：集合运算的主要算律、恒等式的证明方法。

2. 在二元关系中学习了有序对与笛卡儿积、二元关系的定义与表示法、关系的运算、关系的性质、关系的闭包、等价关系与划分、偏序关系。

第三部分：代数结构

在代数结构中，主要学习了代数系统、群与环。

1、 在代数系统中学习了二元运算及其性质：一元和二元运算定义

及其实例、二元运算的主要性质、代数系统：代数系统定义及其实例、子代数、积代数。

2、 在群与环中学习了群的定义与性质：半群、独异点、群、阶。 第五部分：图论

在图论中主要学习了图的基本概念、欧拉图与哈密顿图、树。

1. 在图的基本概念中学习了图、通路与回路、图的连通性，图的矩阵表示、图的运算。

2. 在欧拉图与哈密顿图中学习了欧拉图、哈密顿图。

3. 在树中学习了无向树及其性质、生成树、根数及其应用。

二、对课程的建议

离散数学是建立在大量定义、定理之上的逻辑推理学科，因此对概念的理解是学习这门课程的核心。在学习这些概念的基础上，要特别注意概念之间的联系，而描述这些联系的实体则是大量的定理和性

质。在考试中有一部分内容是考查学生对定义和定理的识记、理解和运用，因此要真正理解离散数学中所给出的每个基本概念真正的含义。

另外，离散这门课程我觉得每一个部分之间并没有什么太大的联系，可以说都是独立的，所以我们可以对内容侧重讲解，虽然说这对以后的数据结构有一定的影响。所以更应该对一些有用的内容进行选择性的部分详细讲解。

更重要的一点就是加强实践，因为本书多是概念，我们不能仅仅只是纸上谈兵，例如在数理逻辑中，我们可能对一些命题逻辑公式熟练于心，但是解决实际问题时可能有各种问题。因此我们要加强训练，多做一些证明题，这样才能把理念用于实践之中。后面的图论就更不用说了，只有结合实际的题目才能够掌握和理解。

三、对老师的建议

老师讲课很认真，对每一个知识点讲的也很是详细，但是我觉得老师不够严厉。另外，我希望老师可以穿插介绍一些知识点在计算机科学中的应用，将之与离散数学理论结合介绍给学生，使学生更重视这一课程的学习。