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