证明 1

• Mathematics for Computer Science — 计算机科学中的数学（MIT 6.042 教材） 2026/08/19