离散数学研究离散对象。离散对象是一个一个的。它们不连续。数字是离散的。人也是一种离散对象。我们生活里到处是离散数学。离散数学很重要。

集合是一个基本概念。集合是一堆东西。这些东西叫元素。书包是一个集合。书包里有书。有本子。有铅笔。书、本子、铅笔是元素。一个班级是集合。学生是元素。全家福照片是集合。家人是元素。集合可以做运算。两个集合可以合并。合并得到新集合。新集合包含所有元素。这叫并集。可以找共同部分。共同部分叫交集。全班喜欢足球的学生是一个集合。全班喜欢篮球的学生是一个集合。既喜欢足球又喜欢篮球的学生是交集。这些想法很简单。它们很有用。

逻辑是思维的规则。我们每天说话用到逻辑。如果明天下雨。那么我不出门。这是一个逻辑判断。它由两部分组成。前半部分是条件。后半部分是结论。条件成立。结论就成立。逻辑里有真和假。命题是一个陈述。它要么真要么假。太阳从东边出来。这个命题是真的。一加一等于三。这个命题是假的。逻辑运算把简单命题组合。与运算要求两个都真。或运算要求至少一个真。非运算把真变假。假变真。电脑就是用逻辑工作的。逻辑是电路的基础。我们按开关。灯亮。这也是逻辑关系。

图论研究点和线。点代表物体。线代表关系。地图是一个图。城市是点。道路是线。社交网络是一个图。人是点。好友关系是线。互联网是一个图。网站是点。超链接是线。图论解决路径问题。从家到学校怎么走最近。导航软件用图论算法。图论解决连接问题。确保所有村庄通上电。需要铺多少电线。这是最小生成树问题。图论安排任务顺序。准备一顿饭。先洗菜。再切菜。最后炒菜。这些任务有先后关系。图论可以描述这种关系。

关系描述对象之间的联系。关系是一种特殊集合。它的元素是有序对。父子关系是一种关系。小明是小张的父亲。这是一个有序对。大于关系是一种关系。五大于三。这是一个有序对。关系可以有不同性质。自反性。每个元素和自己有关系。比如集合里的相等关系。对称性。如果A和B有关系。那么B和A也有关系。比如同学关系。传递性。如果A和B有关系。B和C有关系。那么A和C有关系。比如祖先关系。等价关系同时具备三种性质。等价关系可以把大集合分类。全班学生按身高分组。个子一样高的在一组。这是一个等价关系。分组后每组是一个等价类。

函数是一种特殊关系。它要求每个输入对应唯一输出。我们的生活是函数的集合。自动售货机是一个函数。你按一个编号。它出来对应的饮料。温度计是一个函数。它显示环境对应的温度。字典是一个函数。它给出词语的解释。函数有定义域和值域。定义域是所有可能的输入。值域是所有可能的输出。函数的类型很多。一对一函数。不同的输入对应不同的输出。比如学号对应学生。映上函数。值域的每个元素都被用到。比如班级分配任务。每个任务都有人做。理解函数帮助理解变化。理解对应关系。

组合数学研究计数和安排。计数问题很常见。从三件上衣和两条裤子中选一套衣服。有多少种搭配。答案是六种。这是一个乘法原理。安排问题也很常见。五个朋友排队照相。有多少种站法。答案是120种。这是一个排列问题。从五个学生中选三个做代表。不考虑顺序。有多少种选法。这是一个组合问题。组合数学解决可能性问题。彩票中奖概率是多少。密码有多少种可能。组合数学帮助做出选择。帮助评估风险。

布尔代数处理0和1。0代表假。1代表真。布尔代数运算很简单。与运算像串联开关。两个开关都闭合灯才亮。或运算像并联开关。一个开关闭合灯就亮。非运算像反向开关。开关开灯灭。开关关灯亮。现代电子设备基于布尔代数。手机。电脑。电视机。它们内部是大量微小的开关。这些开关遵循布尔代数规则。我们触摸屏幕。屏幕产生反应。背后是布尔代数在计算。搜索信息用布尔代数。用“与”找共同内容。用“或”扩大范围。用“非”排除内容。布尔代数让机器听懂人的要求。

离散数学是数字时代的基石。信息本身是离散的。文字是离散的符号。图片是离散的像素。声音是离散的采样。计算机存储处理离散数据。离散数学提供工具。它提供描述离散结构的方法。它提供分析离散过程的逻辑。它提供解决离散问题的算法。

学习离散数学改变思维方式。它让人更严谨。它让人看到事物之间的联系。它让人学会分类和归纳。它让人理解抽象和具体的关系。生活中很多问题可以看成离散数学问题。安排课程表是一个图着色问题。分配家务是一个优化问题。制定旅行计划是一个路径规划问题。理解这些概念不一定需要高深数学。它们来自日常观察。它们是对生活的朴素思考。

离散数学连接抽象和现实。它的概念来自生活。它的结果用于生活。它不遥远。它就在我们身边。理解离散数学就是理解周围世界的结构。就是理解信息时代的底层逻辑。就是理解人类理性思考的一种方式。这种理解从简单开始。从集合开始。从逻辑开始。一步一步。走向复杂而有序的数字世界。