离散数学课程总结
离散数学知识点总结
离散数学知识点总结离散数学是一门重要的数学学科，它涉及到离散的对象和离散的结构，而不是连续的对象和结构。
以下是离散数学的几个重要知识点的总结：集合论- 集合：集合是由元素组成的对象的集合。
集合的运算包括并集、交集和差集等。
集合：集合是由元素组成的对象的集合。
集合的运算包括并集、交集和差集等。
- 子集和超集：如果一个集合的所有元素都是另一个集合的元素，则称前者为后者的子集，反之则称后者为前者的超集。
子集和超集：如果一个集合的所有元素都是另一个集合的元素，则称前者为后者的子集，反之则称后者为前者的超集。
- 幂集：一个集合的幂集是所有可能的子集构成的集合。
幂集：一个集合的幂集是所有可能的子集构成的集合。
逻辑- 命题：一个命题是一个陈述句，可以被判断为真或假。
命题：一个命题是一个陈述句，可以被判断为真或假。
- 逻辑运算：逻辑运算包括与、或、非等，用来连接和否定命题，构成复合命题。
逻辑运算：逻辑运算包括与、或、非等，用来连接和否定命题，构成复合命题。
- 真值表：用来列出复合命题在各种可能情况下的真值。
真值表：用来列出复合命题在各种可能情况下的真值。
关系- 关系：关系用来描述元素之间的联系。
关系可以是二元的或多元的。
关系：关系用来描述元素之间的联系。
关系可以是二元的或多元的。
- 等价关系：等价关系是一种满足自反性、对称性和传递性的关系。
等价关系：等价关系是一种满足自反性、对称性和传递性的关系。
- 偏序关系：偏序关系是一种满足自反性、反对称性和传递性的关系。
偏序关系：偏序关系是一种满足自反性、反对称性和传递性的关系。
- 图的表示：图可以用邻接矩阵或邻接表来表示。
图的表示：图可以用邻接矩阵或邻接表来表示。
图论- 连通性：图中的连通性用来描述图中顶点之间是否存在路径。
连通性：图中的连通性用来描述图中顶点之间是否存在路径。
- 最短路径：最短路径问题是寻找两个顶点之间最短路径的问题。
最短路径：最短路径问题是寻找两个顶点之间最短路径的问题。
离散数学知识点总结
离散数学知识点总结离散数学是一门研究离散对象及其关系、运算规则的数学学科。
它在计算机科学、信息学等领域中扮演着重要的角色，是这些领域的基础知识之一。
本文将对离散数学的一些重要知识点进行总结。
一、集合论集合论是离散数学的基础，它研究的是元素的集合以及集合之间的关系。
在集合论中，我们需要了解集合的运算、集合的关系、集合的分割等概念。
集合的运算包括交集、并集、差集和补集等，而集合的关系则包括子集、包含关系等。
此外，集合的分割也是一个重要的概念，它将一个集合划分为不相交的子集。
二、图论图论是离散数学中的重要分支，它研究的是图的性质和图之间的关系。
图由节点和边组成，节点表示对象，边表示对象之间的关系。
图论的核心概念包括图的表示方法、图的遍历算法、最短路径算法等。
在实际应用中，我们可以利用图论来解决线路规划、网络优化等问题。
三、逻辑与真值表逻辑是离散数学的重要组成部分，它研究的是命题之间的关系，以及命题的真值。
逻辑的核心概念包括命题、谓词、命题逻辑和一阶谓词逻辑等。
命题逻辑研究的是命题之间的关系，通过真值表可以展示命题的真值。
一阶谓词逻辑则考虑了命题中的变量、量词等。
四、组合数学组合数学是研究离散对象组合方式的数学学科。
它包括排列、组合、二项式系数等概念。
排列是指从一组对象中取出一些对象按照一定的顺序排列，而组合则是指从一组对象中取出一些对象作为一个集合。
二项式系数是组合数学中常用的工具，它表示在一组对象中选择出一个子集的方式数目。
五、数论数论是离散数学中研究自然数的性质和关系的学科。
它研究整数、素数、同余关系等。
数论的核心概念包括质数与合数、素数分解、同余关系和模运算等。
数论在加密算法、密码学中有广泛的应用，对于保证数据安全性至关重要。
总结起来，离散数学是一门研究离散对象及其关系、运算规则的数学学科，其中包括集合论、图论、逻辑与真值表、组合数学和数论等重要知识点。
它在计算机科学、信息学等领域中具有重要的应用价值。
离散数学总结
离散数学总结离散数学是应用数学中一种重要的分支，它广泛应用于多种领域，例如计算机科学、机器学习、社会科学等。
本文对离散数学的基本概念、基本定义、基本概怀、主要方法及其应用做一个简单总结。
首先，离散数学是一种应用数学，其主要不同于其他应用数学科目，在于它探讨的是由个别元素组成的集合，而不是由连续元素组成的集合。
离散数学具有极大的实用价值，它为计算机科学、机器学习和相关科学提供了重要依据。
其次，离散数学的基本概念主要包括：集合、关系、函数、算法以及图等。
集合是由某一类元素的全体构成的、有穷的数学结构，可用规定的语言表示；关系是在一组数据或元素中表示的，可用规定的符号表示；函数是将一个对象映射到另一个对象的一种规律，可用规定的算式表示；算法是一组有限步骤、能做出所需结果的指令序列；图是由边和顶点构成的结构，它可以表示物理空间、逻辑结构以及抽象概念等。
离散数学的基本定义主要包括排列组合、组合数学、数的加减乘除、图论以及几何等。
排列组合是由一组数据排列成一定的组合，并说明它们之间的关系；组合数学是根据已给的一组数据，选出若干条件，把它们组合成一个有效的结构；数的加减乘除是把数字按照四则运算的规律，求出其结果；图论是把一组元素组织成一张图，用来表示问题解决中出现的实体及其关系；几何是把空间中的元素映射到一个数学模型，可以用来描述空间物体的行为特征等。
离散数学的主要方法主要包括计算机方法、递归方法、动态规划方法以及搜索方法等。
计算机方法是用电子计算机提出的一种新的计算方法；递归方法是把问题分解为一系列子问题，用算法计算每一个子问题，以达到求解本问题的目的；动态规划是把一个复杂的问题划分为一系列小问题，并用某种规则进行求解；搜索法是把一个问题转化为搜索树形结构，用某种算法在上面进行搜索，以达到寻找最优解的目的。
最后，离散数学的应用是非常广泛的，许多计算机科学、机器学习、数据挖掘、社会科学等领域都借助离散数学来解决非常复杂的问题。
2024年学习《离散数学》心得体会模板(二篇)
2024年学习《离散数学》心得体会模板《离散数学》学习心得体会随着信息科学技术的不断发展，离散数学作为计算机科学与技术中的重要学科，越来越受到学生们的关注与重视。
作为一门理论性较强的课程，《离散数学》涉及到一系列的离散结构、数学推理和证明方法等内容，对于学生来说具有一定的挑战性。
在2024年的学习过程中，我对《离散数学》有着一些新的体会和收获。
首先，通过学习《离散数学》，我对离散结构有了更深入的了解。
离散结构是计算机科学与技术的基础，也是离散数学的重要内容。
在这门课程中，我学习了集合论、关系、函数、图论等各种离散结构的概念和性质。
通过对离散结构的学习，我逐渐认识到离散数学在计算机科学中的重要性，这为我以后的学习和研究奠定了坚实的基础。
其次，学习《离散数学》让我了解到数学推理的重要性。
离散数学是一门很有理论性的学科，需要进行严密的推理和证明。
在学习中，我逐渐熟悉了数学推理的方法和步骤，比如直接证明、归纳法、反证法等。
这些方法不仅在离散数学中有所应用，在其他学科中也有很大的作用。
通过锻炼数学推理的能力，我对问题的思考和解决能力也有了明显的提升。
此外，学习《离散数学》还让我明白了数学的抽象思维的重要性。
离散数学中的很多概念和性质都具有很高的抽象程度，需要我们用抽象的思维方式去理解和运用。
在学习过程中，我逐渐适应了这种抽象思维的方式，并通过解决问题和做题的过程中熟练掌握了抽象思维的技巧。
这对于我以后在计算机科学和其他领域的学习和研究有着重要的借鉴意义。
此外，通过学习《离散数学》，我也提高了自己的问题解决能力。
离散数学中的问题往往需要我们通过分析和推理找到解决的方法，这对于培养我们的问题解决能力非常重要。
通过实践和思考，我逐渐掌握了解决问题的一般步骤和方法，提高了自己的问题解决能力。
这对于我以后在工作和生活中遇到问题时会有极大的帮助。
综上所述，通过学习《离散数学》，我对离散结构有了更深入的了解，对数学推理和抽象思维有了更高的要求，并提高了自己的问题解决能力。
离散数学项目总结(通用5篇)
离散数学项目总结(通用5篇)离散数学项目总结(通用5篇)离散数学项目总结要怎么写，才更标准规范？根据多年的文秘写作经验，参考优秀的离散数学项目总结样本能让你事半功倍，下面分享【离散数学项目总结(通用5篇)】相关方法经验，供你参考借鉴。
离散数学项目总结篇1离散数学项目总结背景介绍离散数学是计算机科学的基础学科，在算法、数据结构和操作系统等领域中有着广泛的应用。
本次离散数学项目旨在通过实践操作，加深我们对离散数学理论的理解，提高我们的编程能力。
项目总结1.项目实施本项目采用在线编程平台作为项目实施环境。
我们首先学习了离散数学的基本概念和算法，包括图论、线性代数、集合论和逻辑等。
然后，我们根据课程要求，编写了几个算法程序，包括图论中的最短路径算法、线性代数中的矩阵乘法和特征值计算等。
2.技术实现在实现过程中，我们遇到了许多技术问题。
例如，在实现最短路径算法时，我们遇到了图的邻接矩阵表示和动态规划等难点。
通过反复试验和查阅资料，我们逐渐掌握了这些技术，并成功地实现了算法。
3.成果展示在项目完成后，我们通过演示文稿和代码演示了我们的成果。
我们的程序得到了老师和同学们的好评，他们认为我们的算法实现得很好，能够有效地解决实际问题。
4.经验教训虽然我们的项目取得了一定的成果，但我们也遇到了一些困难和挑战。
例如，我们在实现矩阵乘法时出现了精度问题，通过查阅资料和请教老师，我们找到了解决方法。
此外，我们在调试程序时也遇到了一些问题，通过仔细分析错误日志，我们找到了问题所在。
展望和计划在今后的学习中，我们打算进一步深入学习离散数学，了解更多的算法和数据结构。
同时，我们计划加强自己的编程能力，掌握更多的编程技巧，以便更好地应对离散数学的学习和项目。
总的来说，本次离散数学项目让我们受益匪浅。
通过实践操作，我们加深了对离散数学理论的理解，提高了自己的编程能力。
在今后的学习和工作中，我们将继续努力，不断探索新的算法和数据结构，为计算机科学的发展做出贡献。
离散数学知识点总结及应用
离散数学知识点总结及应用
知识点1: 集合论
- 集合的定义和表示方法
- 集合的运算：并、交、差、补
- 集合的基本性质和定律
知识点2: 逻辑与命题
- 命题的定义和特性
- 命题的联结词：与、或、非
- 命题的真值表和逻辑运算
- 命题的充分条件和必要条件
知识点3: 关系与函数
- 关系的定义和性质
- 关系的类型：自反、对称、传递、等价
- 函数的定义和基本概念
- 函数的特性和图像
知识点4: 图论
- 图的基本概念和术语
- 图的存储结构：邻接矩阵、邻接表
- 图的遍历算法：深度优先搜索、广度优先搜索
- 最短路径算法：Dijkstra算法、Floyd-Warshall算法
知识点5: 组合数学
- 排列和组合的基本概念
- 排列和组合的计算方法
- 随机变量和概率分布
- 组合数学在密码学等领域的应用
知识点6: 布尔代数
- 布尔代数的基本运算：与、或、非
- 布尔函数的最小化方法
- 布尔代数的应用：逻辑电路设计、编码器等
知识点7: 计算理论
- 自动机的基本概念和分类
- 正则语言和正则表达式
- 文法的定义和性质
- 上下文无关文法和巴科斯范式
知识点8: 数论
- 整数的性质和基本运算
- 质数和分解定理
- 同余关系和同余方程
- 数论在加密算法中的应用
以上是离散数学中的一些主要知识点和应用场景的简要总结，希望对你的研究有所帮助。
《离散数学》课程总结
《离散数学》课程总结第一篇：《离散数学》课程总结《离散数学》学期总结转眼之间，这学期要结束了。
我们的离散数学，这门课程的学习也即将接近尾声。
下面就是我对这门课一些认识及自己的学习心得。
首先我们这门课程离散数学到底包含了哪几大部分？每部分具体又有什么内？这门课程在计算机科学中有什么地位？这门课程在我们以后的学习生活中，以及在将来的工作中有什么帮助？下面我将以上几个方面具体谈一谈并将总结一下自己本人在这门课程学习过程中遇到的一些问题和心得体会。
这门课程有数理逻辑，集合论，代数系统和图论四部分。
这四大部分通常被称为离散数学的四大体系。
其中每一部分都是一个独立的学科，内容丰富。
而我们离散数学中的内容是其中最基本，最重要且和计算机科学最密切相关的内容吸收到离散数学中来，并使它们前后贯通，形成一个有机整体。
这门课的主要内容有命题逻辑、谓词逻辑，属于数理逻辑部分，集合论中有集合、二元关系、函数，代数系统包含代数系统基础、群、环、域以及格和布尔代数的知识（这部分我们没有涉及）。
那么这门课程在计算机科学中有着什么样的地位呢，这门课程是计算机科学专业中重要的专业基础课程，核心课程，可以这么说，离散数学，既是一门专业基础课，是一门工具性学科。
这门课讲授的内容，与后续专学习业密切相关。
在这门课里我们讲授了大量的计算机学科专业必要的基本概念，基本理论和基本方法。
为我们以后的学习，工作打下良好基础。
在算法设计，人工智能，计算机网络，神经网络，智能计算等学科中有着重要的作用。
在计算机科学中有着广泛的应用。
通过这门课可以对我们计算机算法的理解和逻辑思维得到提高。
那么我们具体学了什么内容呢？（一）首先集合论是整个数学的基础，（不管是离散数学还是连续数学）如果没有专门学过，那么出现在离散数学中还是很合适的。
至于由集合论引出的二元关系，函数的内容，也是理所应当的。
数理逻辑是一个让人眼前一亮的东西。
我第一次发现，原来有些复杂的推理问题是可以通过“计算”的方法解决的。
离散数学笔记总结
离散数学笔记总结一、命题逻辑。
1. 基本概念。
- 命题：能够判断真假的陈述句。
例如“2 + 3 = 5”是真命题，“1 > 2”是假命题。
- 命题变元：用字母表示命题，如p,q,r等。
2. 逻辑联结词。
- 否定¬：¬ p表示对命题p的否定，若p为真，则¬ p为假，反之亦然。
- 合取wedge：pwedge q表示p并且q，只有当p和q都为真时，pwedge q才为真。
- 析取vee：pvee q表示p或者q，当p和q至少有一个为真时，pvee q为真。
- 蕴含to：pto q表示若p则q，只有当p为真且q为假时，pto q为假。
- 等价↔：p↔ q表示p当且仅当q，当p和q同真同假时，p↔ q为真。
3. 命题公式。
- 定义：由命题变元、逻辑联结词和括号按照一定规则组成的符号串。
- 赋值：给命题变元赋予真假值，从而确定命题公式的真值。
- 分类：重言式（永真式）、矛盾式（永假式）、可满足式。
4. 逻辑等价与范式。
- 逻辑等价：若A↔ B是重言式，则称A与B逻辑等价，记作A≡ B。
例如¬(pwedge q)≡¬ pvee¬ q（德摩根律）。
- 范式：- 析取范式：由有限个简单合取式的析取组成的命题公式。
- 合取范式：由有限个简单析取式的合取组成的命题公式。
- 主析取范式：每个简单合取式都是极小项（包含所有命题变元的合取式，每个变元只出现一次）的析取范式。
- 主合取范式：每个简单析取式都是极大项（包含所有命题变元的析取式，每个变元只出现一次）的合取范式。
二、谓词逻辑。
1. 基本概念。
- 个体：可以独立存在的事物，如人、数等。
- 谓词：用来刻画个体性质或个体之间关系的词。
例如P(x)表示x具有性质P，R(x,y)表示x和y具有关系R。
- 量词：- 全称量词∀：∀ xP(x)表示对于所有的x，P(x)成立。
- 存在量词∃：∃ xP(x)表示存在某个x，使得P(x)成立。
离散数学知识点总结
离散数学知识点总结离散数学是现代数学的一个重要分支，它在计算机科学、信息科学、物理学等领域都有着广泛的应用。
下面就来对离散数学中的一些重要知识点进行总结。
一、集合论集合是离散数学的基础概念之一。
集合是由一些确定的、互不相同的对象组成的整体。
集合的表示方法有列举法和描述法。
集合之间的关系包括子集、真子集、相等。
集合的运算有并集、交集、补集等。
集合的并集是由属于两个或多个集合中的所有元素组成的集合。
交集则是由同时属于两个或多个集合的元素组成的集合。
补集是在给定的全集 U 中，不属于某个集合 A 的元素组成的集合。
集合的运算遵循一些基本的定律，如交换律、结合律、分配律等。
这些定律在解决集合相关的问题时非常有用。
二、关系关系是集合论中的一个重要概念，它描述了两个集合元素之间的某种联系。
关系可以用集合的形式表示，也可以用关系矩阵和关系图来表示。
关系的性质包括自反性、反自反性、对称性、反对称性和传递性。
不同性质的关系在实际应用中有着不同的意义。
等价关系是一种特殊的关系，它同时具有自反性、对称性和传递性。
等价关系可以将集合中的元素进行分类，形成等价类。
偏序关系也是一种常见的关系，它具有自反性、反对称性和传递性。
偏序关系可以用来描述元素之间的顺序关系，例如在集合的包含关系中。
三、函数函数是一种特殊的关系，它对于定义域中的每个元素，在值域中都有唯一的元素与之对应。
函数的类型包括单射函数、满射函数和双射函数。
函数的复合是将两个函数依次作用，得到一个新的函数。
函数的逆是在函数是双射的情况下存在的，并且逆函数的复合等于原函数。
四、图论图是由顶点和边组成的结构。
图可以分为无向图和有向图。
图的基本概念包括顶点的度、路径、回路、连通性等。
图的存储方式有邻接矩阵和邻接表。
邻接矩阵适合表示稠密图，而邻接表适合表示稀疏图。
图的遍历算法有深度优先搜索和广度优先搜索。
这两种算法在图的处理中经常被用到，例如寻找图中的路径、判断图的连通性等。
离散数学必备知识点总结汇总
离散数学必备知识点总结汇总
1.集合论：集合的概念、元素、子集、交集、并集、差集、补集、空集、集合的运算、集合的等价关系、集合的序关系等。
2.命题逻辑：命题的概念、命题的联接词（与、或、非）、命题的否
定形式、命题的蕴涵、等价命题、命题的充分条件和必要条件、命题的合
取范式和析取范式、蕴涵式、逻辑等价式、命题的否定形式的推理。
3.谓词逻辑：谓词的概念、谓词的量化、全称量化和存在量化、谓词
逻辑的等价式和推理规则、归纳定理和应用。
4.关系：关系的概念、关系的性质、关系的运算、关系的性质和关系
的代数结构。
5.图论：图的概念、图的表示、连通图、树、度数和定理、欧拉图、
哈密顿图、图的平面性质等。
6.混合图：有向图、无向图、有向图和无向图的表示、混合图的回路、可达矩阵、连通度、强连通图等。
7.布尔代数：布尔运算、布尔函数、布尔代数的运算规则、完备性和
最小化。
8.代数结构：半群、群、环、域的定义和性质、同态和同构。
9.组合数学：排列组合、二项式系数、排列、组合、分配原理、鸽巢
原理、生成函数、容斥原理等。
10.图的着色：图的着色问题、邻接矩阵、边界点、图的着色问题的
算法、四色定理等。
11.概率论：基本概念、概率的性质、条件概率、独立事件、贝叶斯定理、随机变量、概率分布函数、期望、方差、协方差、相关系数、大数定理和中心极限定理等。
12.递归：递归关系、递归函数、递归算法、递归树、递归求解等。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
第四章 函数
第1讲 函数
概念：1函数；2满射；3入射；4双射；5逆 函数；6复合函数；7恒等函数；8零元；9逆 元 定理：4-2.3（会用）4-2.5（证明） （考研）
第2讲 集合的基数
第五章 代数系统
第1讲 代数系统的概念
概念：1封闭；2可交换；3可结合；4可分配； 5吸收；6等幂；7幺元；8零元；9逆元 定理：5-2.1；5-2.2；5-2.3；5-2.4（证明） 概念：1广群；2半群；3子半群；4独异点； 5群；6子群 定理：5-3.2；5-3.3；5-4.1；5-4.3；5-4.5 （了解）5-3.4；5-4.8（证明、会用）
第6讲 环和域简介
第六章 格与布尔代数
第1讲 格的概念
概念：1格；2子格 定理：格的性质 概念：1分配格；2有补格；3布尔格 定理：6-2.1；6-2.4；6-2.6（证明）
第2讲 分配格和有补格
第六章 格与布尔代数
第3讲 布尔代数
概念：1布尔代数；2原子 定理：6-4.1（证明） 引理：6-4.1 推论：stone定理及其推论（知道）
第4讲 范式
第一章 命题逻辑
第5讲 推理理论
1有效理论；2构造证明法；3归谬法；4附加 前提证法
第二章 谓词逻辑
第1讲 谓词的概念与量词
1谓词的概念；2命题函数；3个体域；4量词 1谓词公式；2约束变元和自由变元；3约束 变元的换名规则；4自由变元的代入规则
第2讲 谓词公式与翻译
第2讲 半群和群
第五章 代数系统
第3讲 阿贝尔群和循环群
概念：1阿贝尔群；2循环群（生成元） 定理：5-5.1；5-5.2；5-5.3（证明、会用） （考研）
第4讲 陪集和拉格朗日定理
第五章 代数系统
第5讲 同态和同构
概念：1同态；2同构；3同余 定理：5-8.1；5-8.2；5-8.3；5-8.4（知道） 5-8.5（证明、会用） 概念：1环；2含幺环；3整环；4域 定理：5-9.1（证明、会用）
第6讲 对偶图与着色
第七章 图论
第7讲 树与生成树 概念：1树；2生成树 定理：7-7.1(树的等价定义)；7-7.6(最小生 成树) 第8讲 根树及其应用 概念：1根树 定理：7-8.5；7-8.6 应用：1有序树变二叉树；2最优树；3前缀 码
离散数学课程总结
第一章 命题逻辑
第1讲 命题和命题联结词
1命题；2真值；3复合命题；4命题常量与命 题变元；5联结词的真值表定义 1命题公式；2命题符号化；3真值表；4等价 公式；5重言式
第2讲 命题公式和真值表
第一章 命题逻辑
第3讲 蕴含式
1蕴含式；2证明蕴含式的方法；3基本蕴含 式；4蕴含式的性质；5等价式与蕴含式的联 系；6其它联结词；7最小联结词集 1对偶式；2对偶原理；3合取范式和析取范 式；4主析取范式；5主合取范式；6主析取 范式和主合取范式的求法；7范式的应用
第2讲 笛卡尔积与关系
第三章 集合与关系
第3讲 复合关系、逆关系与闭包运算
概念：1函数；2满射；3入射；4双射；5逆 函数；6复合函数；7恒等函数；8零元；9逆 元 定理：4-2.3（会用）4-2.5（证明） （考研）
第4讲 等价关系
第三章 集合与关系
第5讲 序关系
概念：1函数；2满射；3入射；4双射；5逆 函数；6复合函数；7恒等函数；8零元；9逆 元 定理：4-2.3（会用）4-2.5（证明）
第2讲 图的连通性
第七章 图论
第3讲 图的矩阵表示
概念：1邻接矩阵；2可达矩阵 定理：7-3.1(会用) 概念：1欧拉路(图)；2哈密尔顿路(图) 定理：7-4.1(充要条件)；7-4.3(必要条件)
第4讲 欧拉图与哈密尔顿图
第七章 图论
第5讲 平面图
概念：1平面图；2面 定理：7-5.2(欧拉公式) 概念：1对偶图(自对偶图) 定理：7-6.1(x(Kn)=n)第4讲 布尔表 Nhomakorabea式
概念：布尔表达式 应用：主析取、合取范式
第七章 图论
第1讲 图的基本概念
概念：1图；2结点度(出入度)；3完全图；4 补图；5子图(生成子图)；6同构 定理：7-1.1；7-1.4 概念：1路(回路、迹、通路、圈)；2连通(连 通图)；3点割集、割点、边割集、割边；4 单侧连通、强连通、弱连通；5强分图
第二章 谓词逻辑
第3讲 等价式、蕴含式与前束范式
1；2满射；3入射；4双射；5逆函数；6复 合函数；7恒等函数；8零元；9逆元 定理：4-2.3（会用）4-2.5（证明） （考研）
第4讲 推理理论
第三章 集合与关系
第1讲 集合的概念和集合的运算
概念：1函数；2满射；3入射；4双射；5逆 函数；6复合函数；7恒等函数；8零元；9逆 元 定理：4-2.3（会用）4-2.5（证明） （考研）