知识

R^3 上的旋转与多面体。（正多面体及其凹版本，半正多面体及其对偶，正多边形面组成的凸多面体）

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

概率论对现实的描述何以可能指导现实活动？概率论能多大程度地描述现实？

给定两个体积相等的多面体，是否总能将一个切成有限个多面体，通过平移、旋转组合成另一个？

Lambda Calculus 的规则、使用和合流性。