离散数学 · 中英对照

段段对照：每节英文原文紧随中文译文，公式经 MathJax 渲染，右下角「译」按钮可一键隐藏/显示译文。共 26 章。

第 0 部分 · 基础

• 0.1 什么是离散数学 What is Discrete Mathematics
• 0.2 数学语句 Mathematical Statements
• 0.3 集合 Sets
• 0.4 函数 Functions

第 1 部分 · 计数

• 1.1 加法与乘法原理 Additive and Multiplicative Principles
• 1.2 二项式系数 Binomial Coefficients
• 1.3 组合与排列 Combinations and Permutations
• 1.4 组合证明 Combinatorial Proofs
• 1.5 隔板法 Stars and Bars
• 1.6 容斥原理高级计数 Advanced Counting Using PIE

第 2 部分 · 数列

• 2.1 数列·定义 Definitions
• 2.2 等差与等比数列 Arithmetic and Geometric Sequences
• 2.3 多项式拟合 Polynomial Fitting
• 2.4 求解递推关系 Solving Recurrence Relations
• 2.5 数学归纳法 Induction

第 3 部分 · 逻辑与证明

• 3.0 符号逻辑与证明·导言 Prelude to Symbolic Logic and Proofs
• 3.1 命题逻辑 Propositional Logic
• 3.2 证明 Proofs

第 4 部分 · 图论

• 4.0 图论·导言 Prelude to Graph Theory
• 4.1 图论·定义 Definitions
• 4.2 平面图 Planar Graphs
• 4.3 染色 Coloring
• 4.4 欧拉路径与回路 Euler Paths and Circuits
• 4.5 二部图中的匹配 Matching in Bipartite Graphs

第 5 部分 · 进阶主题

• 5.1 生成函数 Generating Functions
• 5.2 数论导引 Introduction to Number Theory

译自 LibreTexts · Discrete Mathematics (Levin)，供学习对照之用。