#数学

群在集合上的作用，Pólya 计数法，共轭作用与 Sylow 定理。

概率论原理的直观推导与应用。回答：概率论对现实的描述何以可能指导现实活动？概率论能多大程度地描述现实？建立正确的直觉。

关于问题“给定两个体积相等的多面体，是否总能将一个切成有限个多面体，通过平移、旋转组合成另一个？”使用 Dehn 不变量的否定。

最经典的类型论例子：无类型 λ 演算的规则、使用和合流性。

包含：广义的数学分析及微积分有关的零散主题。