计数

离散数学（二）

合并数论、组合计数、数理逻辑与证明记录，保留章节脉络并统一符号和前置条件。