文档介绍:代 码 名 称
110 数学
11 数学史
11 数理逻辑与数学基础
11410 演绎逻辑学(亦称符号逻辑学)
110.1420 证明论(亦称元数学)
110.1430 递归论
110.1440 模型论
110.1450 公理集合论
1460 数学基础
110.1499 数理逻辑与数学基础其他学科
117 数论
1710 初等数论
110.1720 解析数论
11730 代数数论
11740 超越数论
110.1750 丢番图逼近
1760 数的几何
110.1770 概率数论
110.1780 计算数论
199 数论其他学科
11 代数学
110.2110 线性代数
110.2115 群论
110.2120 域论
110.2125 李群
130 李代数
110.2135 Kac-Moody代数
110.2140 环论
11145 模论
150 格论
11155 泛代数理论
110.2160 范畴论
110.2165 同调代数
1170 代数K理论
110.2175 微分代数
110.2180 代数编码理论
110.2199 代数学其他学科
110.24 代数几何学
110.27 几何学
1710 几何学基础
115 欧氏几何学
110.2720 非欧几何学(包括黎曼几何学等)
110.2725 球面几何学
11730 向量和张量分析
110.2735 仿射几何学
110.2740 射影几何学
145 微分几何学
110.2750 分数维几何
110.2755 计算几何学
110.2799 几何学其他学科
110.31 拓扑学
110.3110 点集拓扑学
110.3115 代数拓扑学
110.3120 同伦论
110.3125 低维拓扑学
110.3130 同调论
11135 维数论
140 格上拓扑学
1145 纤维丛论
110.3150 几何拓扑学
110.3155 奇点理论
160 微分拓扑学
110.3199 拓扑学其他学科
110.34 数学分析
110.3410 微分学
110.3420 积分学
110.3430 级数论
110.3499 数学分析其他学科
11 非标准分析
11 函数论
110.4110 实变函数论
1120 单复变函数论
130 多复变函数论
1140 函数逼近论
110.4150 调和分析
110.4160