学科分类与代码 科学研究院.doc

学科分类与代码 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