内容发布更新时间 : 2024/6/27 0:20:55星期一 下面是文章的全部内容请认真阅读。

离散数学课程总结

姓名：

学号：

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

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

一、课程总结

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

第一部分：数理逻辑

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

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

1. 在命题逻辑的基本概念中学习了命题的真值及真值表、命题与联结词、命题及其分类、联结词与复合命题、命题公式及其赋值。 2. 在命题逻辑的等值演算中主要学习了等值式与基本的等值式模式、等值演算与置换规则、析取范式与合取范式，极大值和极小值，主析取范式与主合取范式、联结词完备集。

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

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

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

第二部分：集合论

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

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

第三部分：代数结构

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

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

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

2、 在群与环中学习了群的定义与性质：半群、独异点、群、阶。

第五部分：图论

在图论中主要学习了图的基本概念、欧拉图与哈密顿图、树。 1. 在图的基本概念中学习了图、通路与回路、图的连通性，图的矩阵表示、图的运算。

2. 在欧拉图与哈密顿图中学习了欧拉图、哈密顿图。 3. 在树中学习了无向树及其性质、生成树、根数及其应用。

二、对课程的建议

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