理工科学科分类与代码 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 代数编码理论 110.2199 代数学其他学科 110.24 代数几何学 110.27 几何学 110.2710 几何学基础 110.2715 欧氏几何学 510.8020 控制系统仿真技术 510.8030 机电一体化技术 510.8040 自动化仪器仪表与装置 510.8050 机器人控制 510.8060 自动化技术应用 510.8099 自动控制技术其他学科 510.99 电子、通信与自动控制技术其他学科 520 计算机科学技术 520.10 计算机科学技术基础学科 520.1010 自动机理论 520.1020 可计算性理论 520.1030 计算机可靠性理论 520.1040 算法理论 520.1050 数据结构 520.1060 数据安全与计算机安全 520.1099 计算机科学技术基础学科其他学科 520.20 人工智能 520.2010 人工智能理论 520.2020 自然语言处理 520.2030 机器翻译 520.2040 模式识别 520.2050 计算机感知 520.2060 计算机神经网络 520.2070 知识工程(包括专家系统) 520.2099 人工智能其他学科 520.30 计算机系统结构 520.3010 计算机系统设计 520.3020 并行处理 520.3030 分布式处理系统 520.3040 计算机网络 520.3050 计算机运行测试与性能评价 520.3099 计算机系统结构其他学科 520.40 计算机软件 520.4010 软件理论 520.4020 操作系统与操作环境 520.4030 程序设计及其语言 520.4040 编译系统 520.4050 数据库 520.4060 软件开发环境与开发技术 520.4070 软件工程 1 1 0 .2 7 2 0 非欧几何学(包括黎曼几何学等) 1 1 0 .2 7 2 5 球面几何...
