#数学
数学分析Ⅱ期中复习笔记
本文用于准备数学分析Ⅱ的期中考试。这半学期的内容是定积分（Riemann 积分），广义积分（无穷积分与瑕积分）与数项级数（更多的敛散性判断与计算）。…
【逻辑学】经典命题逻辑及其元定理
这一节主要讨论的是经典命题逻辑（不同于它的均称为“非经典”），重点在于其强完全性的证明。…
【逻辑学】简单的形式语言及可靠性、完全性证明
选了哲学系开的Ⅲ类通识课“逻辑导论”。此文主要是做习题（之后大概也会如此），因此先快速掠过定义：…
【类型论】同伦类型论综述与 Martin-Löf 类型论
发现到时候不一定要读数院的研，考虑可以做逻辑学或者是 AI for math. 仔细阅读本书 Homotopy Type Theory: Univalent Foundations of Mathematics. 这是上学期计概老师推荐的，但当时看得太粗略了。本文包含该书的前言和第一章内容。…
几何学Ⅰ期末复习笔记
需要特别记忆的定义和结论 & 考后总结。