研究数学基础理论、逻辑结构及应用，包括代数、几何、分析和概率统计，为科学研究和工程应用提供理论支持。