知识
几何学Ⅱ期末复习笔记
下半学期的内容是基本群和复叠空间。参考尤承业《基础拓扑学讲义》及 Allen Hatcher 的 Algebraic Topology 第一章。…
高等代数Ⅱ期末复习笔记
本文用于准备高等代数Ⅱ的期末考试。这半学期的内容主要是内积空间、内积空间上的线性变换，以及双线性形式。…
数学分析Ⅱ期末复习笔记
本文用于准备数学分析Ⅱ的期末考试。这半学期的内容是函数项级数（一致收敛）、幂级数与多元函数微分学。…
ETCS 理论简介
集合范畴基本理论的公理简介。
【逻辑学】一阶逻辑及其边界
命题逻辑对推理的分析无法满足我们的需求，我们还需要对“所有”这样的词语分析，因而有了一阶逻辑，在满足一定条件下它是表达能力最强的逻辑系统，但也有其边界。…