数学分支68计算机科学分支部分3

68Txx 人工智能

117620
68T01 人工智能的一般主题

1610
68T05 人工智能中的学习和自适应系统[另见68Q32]

41216
68T07 人工神经网络和深度学习

4400
68T09 数据分析和大数据的计算方面[另见62R07]{对于同调方面，见55N31}

973
68T10 模式识别，语音识别{对于聚类分析，见62H30}

16791
68T20 人工智能背景下的问题解决（启发式方法、搜索策略等）

13040
68T27 人工智能中的逻辑

8172
68T30 知识表示

8858
68T35 人工智能的语言和软件系统理论（基于知识的系统、专家系统等）

4661
68T37 人工智能中的不确定性推理

10369
68T40 机器人技术中的人工智能[另见93C85]

4438
68T42 代理技术和人工智能

3708
68T45 机器视觉和场景理解

5821
68T50 自然语言处理[另见03B65, 91F20]

4191
68T99 以上皆不是，但属于本节内容

3223
68Uxx 计算方法和应用

62706
68U01 计算方法的一般主题

90
68U03 数字拓扑的计算方面{对于拓扑方面，见54H30；对于同调方面，见55-XX}

227
68U05 计算机图形学；计算几何（数字和算法方面）{对于数值数学的方法，见65D18}

17163
68U07 计算机辅助设计的计算机科学方面{对于数值数学的方法，见65D17}

2204
68U10 图像处理的计算方法

16080
68U15 文本处理的计算方法；数学排版

840
68U35 信息系统的计算方法（超文本导航、界面、决策支持等）[另见68M11]

5346
68U99 以上皆不是，但属于本节内容

24049
68Vxx 计算机科学对数学研究和实践的支持

2681
68V05 穷举证明类型的计算机辅助证明{对于严格数值计算，见65Gxx；对于使用自动化或交互式定理证明器的证明，见68V15}

62
68V15 定理证明（自动化和交互式定理证明器、演绎、归结等）[另见03B35]

1916
68V20 与定理证明器相关的数学形式化[另见03B35, 68V15]

692
68V25 数学的表示和内容标记

27
68V30 数学知识管理

79
68V35 数字数学库和存储库

119
68V99 以上皆不是，但属于本节内容

14
68Wxx 计算机科学中的算法{对于数值算法，见65-XX；对于组合数学和图论，见05C85, 68Rxx}

60716
68W01 算法理论的一般主题

438
68W05 非数值算法

6449
68W10 计算机科学中的并行算法

5316
68W15 分布式算法

5857
68W20 随机化算法

5083
68W25 近似算法

10279
68W27 在线算法；流算法

2732
68W30 符号计算和代数计算[另见11Yxx, 12-08, 13Pxx, 14Qxx, 16Z05, 17-08, 33F10]

12970
68W32 字符串上的算法

2283
68W35 非数值算法的硬件实现（VLSI算法等）[另见68M07]

926
68W40 算法分析[另见68Q25]

6940
68W50 进化算法，遗传算法（计算方面）[另见68T05, 68T20, 90C59]

768
68W99 以上皆不是，但属于本节内容

4622

posted @   扬海洋  阅读(1)  评论(0)  编辑  收藏  举报
相关博文：
· 数学分支68计算机科学分支部分2
· 数学分支68计算机科学分支部分1
· 《自动机理论、语言和计算导论》阅读笔记：p28-p48
· 第二部分 基础算法 --> 第一章 高精度计算
· 第2讲 计算本质-符号化、计算化与自动化
阅读排行：
· DeepSeek 开源周回顾「GitHub 热点速览」
· 物流快递公司核心技术能力-地址解析分单基础技术分享
· .NET 10首个预览版发布：重大改进与新特性概览！
· AI与.NET技术实操系列（二）：开始使用ML.NET
· 单线程的Redis速度为什么快？
点击右上角即可分享
微信分享提示