数学、计算机学科分类与代码.docVIP

数学、计算机学科分类与代码 代 码 学 科 名 称 110 数学 110.11 数学史 110.14 数理逻辑与数学基础 110.1410 (亦称符号逻辑学) 110.1420 证明论(亦称元数学) 110.1430 递归论 110.1440 模型论 110.1450 公理集合论 110.1460 数学基础 110.1499 数理逻辑与数学基础其他学科 110.17 数论 110.1710 110.1720 解析数论 110.1730 代数数论 110.1740 超越数论 110.1750 丢番图逼近 110.1760 数的几何 110.1770 概率数论 110.1780 计算数论 110.1799 数论其他学科 110.21 代数学 110.2110 110.2115 群论 110.2120 域论 110.2125 李群 110.2130 李代数 110.2135 Kac-Moody代数 110.2140 环论(包括交换环与交换代数,结合环与结合代数,非结合环与非结合代数等) 110.2145 模论 110.2150 格论 110.2155 泛代数理论 110.2160 范畴论 110.2165 同调代数 110.2170 代数K理论 110.2175 微分代数 110.2180 代数编码理论 11