简单聊聊离散数学是什么

一、离散数学的主要内容与历史背景

首先让我们来聊聊什么是离散数学 ？

从内容上来看，离散数学没有一个确定的中心话题，内容很杂，粗略统计其涉及到主要概念如：集合、函数、关系、命题逻辑、谓词逻辑，到算法、计数、数据结构、递归、图论、概率、数论、形式语言与自动机，布尔代数、向量与矩阵，线性规划、抽象代数，编码理论、信息论，博弈论、运筹学、理论计算机科学等，真是那句俗话，XXX 是个筐，什么都可以往里装。但它们都有一个共同的结构，即离散结构。离散数学并没有开辟数学的新领域，而只是在现有的数学上将是离散结构组成的数学对象汇成一个集合。是对数学的一个划分。如果我们用集合论的语言描述便是：离散数学 = { x∈数学 | 离散结构(x) }。其中「离散数学」是「数学」的一个子集，「离散结构」是一个谓词，x 代表任意数学对象。

为什么会出现【 离散数学 】这门学科呢 ？

便正是由于计算机的出现，因为计算机只能处理离散对象。例如在计算机屏幕上出现直线或线段，都是由可数个离散的点构成的，而不是我们数学上理解的无穷多个点构成，再比如给你一个任务统计区间 [1, 10] 的正整数个数且遍历，这是很自然并且容易的。但是如果叫你统计这个区间的所有实数的个数并遍历，我们便会发现这是不可能完成的。因为这不是一个 【可计算】的任务。其根源就在于「离散」与「连续」的矛盾 — — 你试图用离散的手段解决连续的问题，用有穷的方法解决无穷的问题