理工科学科分类与代码.pdfVIP

理工科学科分类与代码--第1页

理工科学科分类与代码

110数学510.8020控制系统仿真技术

110.11数学史510.8030机电一体化技术

110.14数理逻辑与数学基础510.8040自动化仪器仪表与装置

110.1410演绎逻辑学(亦称符号逻辑学)510.8050机器人控制

110.1420证明论(亦称元数学)510.8060自动化技术应用

110.1430递归论510.8099自动控制技术其他学科

110.1440模型论510.99电子、通信与自动控制技术其他学科

110.1450公理集合论

110.1460数学基础520计算机科学技术

110.1499数理逻辑与数学基础其他学科520.10计算机科学技术基础学科

110.17数论520.1010自动机理论

110.1710初等数论520.1020可计算性理论

110.1720解析数论520.1030计算机可靠性理论

110.1730代数数论520.1040算法理论

110.1740超越数论520.1050数据结构

110.1750丢番图逼近520.1060数据安全与计算机安全

110.1760数的几何520.1099计算机科学技术基础学科其他学科

110.1770概率数论520.20人工智能

110.1780计算数论520.2010人工智能理论

110.1799数论其他学科520.2020自然语言处理

110.21代数学520.2030机器翻译

110.2110线性代数520.2040模式识别

110.2115群论520.2050计算机感知

110.2120域论520.2060计算机神经网络

110.2125李群520.2070知识工程(包括专家系统)

110.2130李代数520.2099人工智能其他学科

110.2135Kac-Moody代数520.30计算机系统结构

110.2140环论520.3010计算机系统设计

110.2145模论520.3020并行处理

110.2150格论520.3030分布式处理系统

110.2155泛代数理论