离散数学：集合论与图论、代数结构与组合数学、数理逻辑。