知识
数学分析Ⅰ期末复习笔记
本文用于准备数学分析Ⅰ的期末考试。包含往年题、习题课需要记忆的结论与技巧 & 考后总结。…
Banach–Tarski 分球定理的证明细节
Banach–Tarski 分球定理的用到的想法和细节处理。
高等代数Ⅰ期末复习笔记
本文用于准备高等代数实验班 2025 - 2026(I) 的期末考试。包含往年题选做和可能有用的知识扩充 & 考后总结。…
计算概论期末复习笔记（Bird Meertens 形式开始的部分）
主要包含使用 Bird Meertens Formalism 导出高效程序与进行自动并行化。
这是本课程的最后一个部分，同时可能是在上半学期和下半学期前部的铺垫下真正想讲的东西。其中函数式编程的想法提供了无副作用的函数和高阶函数的例子，从而能够被我们讨论；定理证明器则允许我们验证推导的正确性。…
Hash 与基于哈希的 table 实现
阅读 Rust 标准库的 Hash 与 RawTable 相关代码。