视频字幕
离散数学是现代数学的一个重要分支，专门研究离散的、不连续的数学结构。与处理连续变化的微积分不同，离散数学关注的是可以被明确区分的对象，比如整数、图、逻辑命题等。这些内容构成了计算机科学的数学基础。
集合论是离散数学的基础。集合是由互不相同的元素组成的整体。我们用符号∈表示元素属于集合，用∉表示不属于。集合之间可以有包含关系，用⊆表示。两个集合可以进行并集运算∪和交集运算∩。例如，集合A包含元素1、2、3，我们写作A={1,2,3}。
逻辑是离散数学的重要组成部分。命题是可以判断真假的陈述句。我们有基本的逻辑运算符：¬表示非，∧表示与，∨表示或，→表示蕴含。例如，命题“如果今天下雨，我就不出门”是一个蕴含关系。当“今天下雨”为真时，“我不出门”也为真，这个命题就成立。
图论是离散数学中一个直观且应用广泛的领域。图由顶点和边组成，顶点表示对象，边表示对象之间的关系。图可以是有向的，也可以是无向的。在现实生活中，图论被广泛应用于网络分析、社交关系建模、交通路线规划等领域。这里我们展示了一个简单的无向图例子。
组合数学是离散数学中研究离散对象排列、组合和计数问题的分支。一个经典的组合问题是从n个不同元素中选取k个元素的组合数。这个数值可以用公式C(n,k) = n!/(k!(n-k)!)来计算，也写作二项式系数的形式。这里我们用图形展示了从5个元素中选择3个元素的概念。