以下是离散数学知识点总结：
一、数理逻辑
-
命题逻辑
- 命题：具有确定真假值的陈述句。
- 逻辑联结词：包括否定（¬）、合取（∧）、析取（∨）、蕴含（→）、等价（↔）等。
- 命题公式的真值表：通过列出所有可能的输入组合及其对应的输出真值，来确定命题公式的性质。
- 命题逻辑的等价关系：如双重否定律、交换律、结合律、分配律等。
- 命题逻辑的推理：通过已知的命题推出新的命题，常用的推理规则有肯定前件式、否定后件式、假言三段论等。
-
谓词逻辑
-
个体、谓词和量词：个体是指可以独立存在的事物，谓词是描述个体性质或关系的词，量词包括全称量词（∀）和存在量词（∃）。
-
谓词公式的解释：给定一个论域，为谓词公式中的变量赋值，并确定谓词的具体含义，从而确定谓词公式的真值。
-
谓词逻辑的等价关系和推理规则：与命题逻辑类似，但更加复杂，需要考虑量词的作用。
-
二、集合论
-
集合的基本概念
- 集合的表示方法：列举法、描述法等。
- 集合的关系：包含（⊆）、相等（=）、真包含（⊂）等。
- 集合的运算：并集（∪）、交集（∩）、补集（¬）、差集（−）等。
-
幂集和笛卡尔积
- 幂集：一个集合的所有子集组成的集合。
- 笛卡尔积：两个集合的元素对组成的集合。
-
关系
- 关系的定义：一个从集合 A 到集合 B 的关系是 A×B 的子集。
- 关系的性质：自反性、反自反性、对称性、反对称性、传递性等。
- 关系的运算：合成（复合）运算、逆关系等。
- 关系的表示：矩阵表示和图表示。
-
函数
-
函数的定义：一个从集合 A 到集合 B 的函数是一种特殊的关系，满足对于 A 中的每个元素，在 B 中都有唯一的元素与之对应。
-
函数的性质：单射（一对一）、满射（映上）、双射（一一对应）等。
-
三、图论
-
图的基本概念
- 图的定义：由顶点和边组成的结构。
- 有向图和无向图：边有方向的图为有向图，边无方向的图为无向图。
- 顶点的度：与顶点相连的边的数量。
- 图的路径和回路：路径是顶点的序列，相邻顶点之间有边相连；回路是起点和终点相同的路径。
-
图的连通性
- 无向图的连通性：如果图中任意两个顶点之间都存在路径，则图是连通的。
- 有向图的强连通性：如果有向图中任意两个顶点之间都存在双向路径，则图是强连通的。
-
图的遍历
- 深度优先搜索（DFS）：从一个顶点开始，沿着一条路径尽可能深地探索，直到无法继续前进，然后回溯。
- 广度优先搜索（BFS）：从一个顶点开始，依次访问其所有邻接顶点，然后再访问这些邻接顶点的邻接顶点，以此类推。
-
最小生成树
- 定义：对于一个连通的无向图，包含图中所有顶点且边权之和最小的树。
- 算法：Prim 算法和 Kruskal 算法。
-
最短路径
-
定义：在图中找到两个顶点之间权值之和最小的路径。
-
算法：Dijkstra 算法（用于求解单源最短路径）和 Floyd-Warshall 算法（用于求解所有顶点对之间的最短路径）。
-
四、代数系统
-
二元运算和代数系统的定义
- 二元运算：一个从集合 A×A 到集合 A 的函数。
- 代数系统：由一个非空集合和定义在该集合上的若干二元运算组成。
-
群、环、域
- 群：满足封闭性、结合律、存在单位元、每个元素存在逆元的代数系统。
- 环：在群的基础上，增加了两个二元运算（通常称为加法和乘法），满足加法构成群、乘法满足封闭性和结合律、乘法对加法满足分配律。
- 域：在环的基础上，要求非零元素在乘法下构成群。
-
格和布尔代数
- 格：一种特殊的偏序集，其中任意两个元素都有上确界和下确界。
- 布尔代数：一种特殊的格，满足分配律、互补律等性质，在逻辑电路设计等领域有广泛应用。
（以上内容来自“豆包”大模型）
