离散数学

离散数学-万字课堂笔记-期末考试-考研复习-北航离散数学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的引申