离散数学

离散数学实验五c语言(并查集处理，Kruskal算法求最小生成树)定义Totaledge为初始化存边数组的大小，TotalNode为初始化存点数组的大小，fa数组存储每个点对应的集合号

离散数学实验四c语言(计算可达矩阵，判断性质：强连通性、单侧联通性质、无联通性质、弱联通性质)定义数组初始化的点数为TotalVertex，n代表总的点的数目，totaledge代表边的数量。以上为四个数组的定义，分别为邻接矩阵、可达矩阵、将有向图转换为无向图的邻接矩阵、可达矩阵

离散数学实验二c语言(输出关系矩阵，输出矩阵性质，输出自反闭包，对称闭包，传递闭包，判断矩阵是否为等价关系，相容关系，偏序关系)Set存放有限集合A，该集合的元素个数为size，size可以用来判断该集合是否为空集，然后集合中的元素就放在A数组里。

组合数求法汇总对于组合数，有此式： C n m = C n − 1 m − 1 + C n − 1 m C_{n}^{m}=C_{n-1}^{m-1}+C_{n-1}^{m} Cnm=Cn−1m−1+Cn−1m。

XJTUSE-离散数学-命题演算凡是能分辨真假的语句就是命题指派就是一个确定的变元组，确定了其真假值。成真指派，成假指派真值表：所有指派列出来的表格

离散数学-万字课堂笔记-期末考试-考研复习-北航离散数学1第一章逻辑语言1.1 逻辑运算1.2 命题逻辑合式公式1.3 谓词逻辑合式公式1.4 自然语言命题第二章命题逻辑语义2.1 命题合式公式语义2.2 推论式与等价式的语义2.3 变换合式公式的语义2.4 命题公式范式2.5 等式演算2.6 完全集第三章谓词逻辑语义3.1谓词合式公式语义3.2推论关系和相等关系3.3前束范式与斯科伦范式3.4一阶理论语言3.5论域、结构与模型第四章逻辑公理系统4.1 形式系统4.2 命题逻辑公理系统4.3 一阶谓词逻辑公理系统第五章元定理、理论与判定问题5.1元定理

【笔记】【电子科大离散数学】 3.谓词逻辑因为含变量的语句（例如x > 3）不是命题，无法进行逻辑推理。为了研究简单命题句子内部的逻辑关系，我们需要对简单命题进行分解，利用个体词，谓词和量词来描述它们，并研究个体与总体的内在联系和数量关系，这就是谓词逻辑或者一阶逻辑

【笔记】【电子科大离散数学】 2.命题使用数学的方法研究逻辑推理的规律数理逻辑研究的中心问题是推理，而推理的前提和结论都是命题。因而命题是推理的基本单位。

离散数学——图论（笔记及思维导图）离散数学——图论（笔记及思维导图）目录大纲内容参考笔记来自【电子科大】离散数学王丽杰

第九部分图论目录例相关概念握手定理例1图的度数列例无向图的连通性无向图的连通度例2例3有向图D如图所示，求 A, A2, A3, A4，并回答诸问题：

组合数学(上)：数列、排列、组合设sum[i]为数列中前i项的前缀和，s[i]为数列中第i项的值，如果sum[a]与sum[b]对M同余(a<b)，则 ( ∑ k = a + 1 b s k ) % M = = 0 (\sum_{k=a+1}^{b}s_k) \% M == 0 (k=a+1∑bsk)%M==0

离散数学实践（2）-编程实现关系性质的判断*本文为博主本人校内的离散数学专业课的实践作业。由于实验步骤已经比较详细，故不再对该实验额外提供详解，本文仅提供填写的实验报告内容与代码部分，以供有需要的同学学习、参考。

离散数学期末复习图片过多，若无法显示，请转至 https://chenhaotian.top/study/discrete-mathematics-final-review/ 访问全文

数字电路逻辑之逻辑与逻辑运算注意逻辑顺序， * 是大于 +左边这一列与右边这一列是对偶关系，真值相同

DS@命题公式等值演算@常用等值式模式A ⇔ B A\Leftrightarrow{B} A⇔B表示的是等价式命题 p p p: A ↔ B A\leftrightarrow{B} A↔B是一个重言式

DM@数理逻辑@命题公式及其赋值@真值表@公式分类DM@数理逻辑@命题公式及其赋值@真值表@公式分类若公式 A A A是单个命题变项,则 A A A称为0层公式

灯前目力虽非昔，犹课蝇头二万言。

《离散数学及其应用（原书第8版）》ISBN978-7-111-63687-8 第11章 11.1.3 树的性质节第664页的例9说明《离散数学及其应用（原书第8版）》ISBN978-7-111-63687-8 第11章 11.1.3 树的性质节第664页的定理3的引申