离散数学教程

什么？你想学习离散数学？你还在为搞不懂离散数学而发愁？那么看这一篇文章就够了！

离散数学有个特点就是每一章的内容都是离散的，在不学习前面章节的情况下也可以直接学习后面的章节。本人也为每一个章节都单独写了一篇文章出来，只想要学习该章节的同学可以在本人的离散数学专栏中找到对应的文章详细阅读，跳过前面的章节也不影响理解。

注意，本文将详细介绍离散数学中所有知识点，部分知识点为考研及大学期末考试所必须掌握的（将以括号的形式注明），大家可重点学习，而其他部分为考研及大学期末考试所不必掌握的，但可帮大家构建离散数学的完整知识框架，大家可酌情掠过。

本文涵盖：

• 逻辑和证明 （在考研及大学期末考试中必须掌握且占比最高）
• 基本结构：集合、函数、序列、求和、矩阵 （除矩阵外的部分在考研及大学期末考试中必须掌握）
• 算法
• 数论和密码学
• 归纳与递归
• 计数
• 离散概率
• 高级计数技术
• 关系
• 代数系统 （在考研及大学期末考试中必须掌握）
• 图 （在考研及大学期末考试中必须掌握）
• 树
• 布尔代数
• 计算模型

其中数理逻辑和集合论的知识在考试中非常重要，但是其实没必要抠的那么细。对于入门计算机而言，其实后面几章的内容更重要，是与计算机直接相关的。

本文将解决你面对离散数学时一切困惑！

---

离散数学是现代数学的重要分支，是计算机科学与技术专业的核心基础课程，其为许多计算机专业课程提供理论基础，尤其是为大多数计算机算法提供理论基础。其研究对象一般是有限个、可数个的离散量，因此它充分描述了计算机科学离散性的特点。且在量子力学体系的建立之后，人们发现世界在微小的尺度下其实也是离散的，故此离散数学也将在物理学等学科中发挥重要的作用。

但是这么重要的课程，我翻遍全网，却并没有找到一篇能够系统讲述离散数学的文章，大多都是知识点的堆砌，故此我写这篇文章，不仅仅是为了巩固自己的知识体系，更是为了与大家一起分享学习，共同进步。

本文适用人群为：

• 想要通过期末考试
• 想要在考研取得高分
• 想要自学离散数学
• 在学习数据结构等课程前补充一些前置知识

本文参考用书《Discrete Mathnematics and its Application（离散数学及其应用）》（Kenneth H. Rosen）

---

1逻辑和证明（数理逻辑）

---

1.1命题逻辑
  要研究命题逻辑，我们先要知道逻辑是什么。逻辑，是研究推理的科学。其又分为形式逻辑与辩证逻辑，形式逻辑又称数理逻辑，使用数学方法，借助符号体系来研究逻辑问题。而我们研究的对象就是形式逻辑。
  数理逻辑又分为命题逻辑与谓词逻辑，我们将以命题逻辑作为全文的开头讲解，而谓词逻辑将在本章的第四小节讲解。
1.1.1命题
  这里我们将引入符号体系，用符号代表一切，包括命题。
  而命题就是一个表达判断的陈述句，且只有一个真值，而真值就是这个命题是真还是假。
tips：这里只有一个真值有可能现在我们并不知道这个真值是什么，例如命题 外星有别的生物 ，可能我们现在并不知道这个命题的真值是什么，但是这个真值是确定且客观存在的。
  为了符号化命题，我们引入命题变元，就是用大写字母表示的任一命题，如ABCD等。若命题是真命题，就用T表示命题的真值，若为假就用F表示。
  我们也可以将两个命题融合在一起就是一个复合命题，其就是由不可再分的命题与逻辑运算符组合而来，而不可再分的命题我们称之为原子命题。

  以上即为逻辑运算符。
1.1.2逻辑运算符
 否定联结词：真值与原命题相反，读作命题的否定。记P为命题则¬P为P的否定。
 合取联结词：两命题同真时才为真，读作且。记P、Q为命题，则P∧Q即“P且Q”为P与Q的合取式。
 析取联结词：两命题有一真即为真，读作或。记P、Q为命题，则P∨Q即“P或Q”为P与Q的析取式。
 异或联结词：在析取的基础上两命题同时为真的时候为假，但不重要，可以不用记忆。
相信大家在高中时期都学过以上几种联结词的真值表了，故在此不过多赘述。
 条件联结词：又称蕴含，记为P→Q，读作“若P则Q”

P	Q	P→Q
T	T	T
T	F	F
F	T	T
F	F	T

以上为条件联结词的真值表，记忆方式：除P与Q都为F外，P→Q的真值与Q的真值一样。当P与Q都是F时记P→Q为T，这是一个善意规定。
Q→P是P→Q的逆命题，¬Q→¬P是P→Q的逆否命题，¬P→¬Q是P→Q的反命题。
 双条件联结词：又称等价，记为P↔Q，读作“P当且仅当Q”

P	Q	P↔Q
T	T	T
T	F	F
F	T	F
F	F	T

以上为双条件联结词的真值表，记忆方式：同真或同假时为真，一真一假时为假。
 其中运算的优先级，¬>∧>∨>→>↔
 而计算机是用位表示信息的，位是一个具有两个可能值的符号，即0和1。因此一位也可以表示一个真值，真记为1，假记为0。若一个变量值为真或者假，此变量成为布尔变量。位串是由0和1构成，长度大于等于0的序列，我们用OR代替或，AND代替且，则位串可以有以下的运算

---

1.2命题逻辑的应用

---

本文将持续更新~~~~