离散数学

集合、逻辑、组合、图论与布尔代数：体系结构线的数学入口.

章节

#	章节	状态
01	集合与逻辑	待撰写
02	关系与函数	待撰写
03	组合计数与二项式定理	待撰写
04	图论	待撰写
05	布尔代数与逻辑门	待撰写
06	自动机与可计算性初步	待撰写

依赖

• 前置：无，可以直接开始
• 交叉：组成原理
• 交叉：网络常识

章节随写作进度开放；状态由 scripts/gen-units.mjs 从 curriculum.ts 生成.