知识

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

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

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

关于最早的 LISP 的核心想法，它如何实现图灵完备及元编程，及在此基础上的扩展和现状。

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