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

68P25 数据加密（计算机科学方面的）[另见81P94, 94A60]

9541
68P27 数据的隐私性

591
68P30 编码和信息论（压缩、通信模型、编码方案等）（计算机科学方面的）[另见94Axx, 94Bxx]

3335
68P99 以上皆不是，但属于本节内容

543
68Qxx 计算理论

134805
68Q01 计算理论的一般主题

227
68Q04 经典计算模型（图灵机等）[另见03D10]

288
68Q06 网络和电路作为计算模型；电路复杂性[另见94C11]

716
68Q07 生物启发的计算模型（DNA计算、膜计算等）

815
68Q09 其他非经典计算模型{对于量子计算，主要见68Q12, 81P68}

476
68Q10 计算模式（非确定性、并行性、交互性、概率性等）[另见68Q85]

6617
68Q11 通信复杂性，信息复杂性

382
68Q12 计算理论中的量子算法和复杂性[另见68Q09, 81P68]

2077
68Q15 复杂性类（层次结构、复杂性类之间的关系等）[另见03D15, 68Q17, 68Q19]

5152
68Q17 问题的计算难度（下界、完全性、近似难度等）[另见68Q15]

13010
68Q19 描述复杂性和有限模型[另见03C13]

612
68Q25 算法和问题复杂性的分析[另见68W40]

33930
68Q27 参数化复杂性、易处理性和核化

1292
68Q30 算法信息论（柯尔莫哥洛夫复杂性等）[另见03D32]

1853
68Q32 计算学习理论[另见68T05]

2532
68Q42 文法和重写系统

8590
68Q45 形式语言和自动机[另见03D05, 68Q70, 94A45]

30103
68Q55 计算理论中的语义学[另见03B70, 06B35, 18C50]

7164
68Q60 规格说明和验证（程序逻辑、模型检测等）[另见03B70]

16895
68Q65 抽象数据类型；代数规格说明[另见18C50]

3430
68Q70 语言和自动机的代数理论[另见18B20, 20M35]

3096
68Q80 细胞自动机（计算方面）{对于作为动力系统的细胞自动机，见37B15}

4773
68Q85 并发和分布式计算的模型和方法（过程代数、互模拟、转移网等）

12402
68Q87 计算机科学中的概率（算法分析、随机结构、相变等）[另见68W20, 68W40]

2281
68Q99 以上皆不是，但属于本节内容

703
68Rxx 与计算机科学相关的离散数学

36623
68R01 与计算机科学相关的离散数学的一般主题

162
68R05 计算机科学中的组合数学

2745
68R07 可满足性的计算方面[另见68T20]

587
68R10 计算机科学中的图论（包括图形绘制）[另见05Cxx, 90B10, 90C35]

27307
68R12 与计算问题和算法相关的度量嵌入

72
68R15 单词上的组合数学

4569
68R99 以上皆不是，但属于本节内容

1204
68Txx 人工智能

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

1610

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