User:BillSmith/计算机科学主要研究领域

主要研究领域

理论基础

• 逻辑学
• 代数和分析
• 概率论和统计学
• 离散数学
• 信息论
• 类型论
• ...

理论计算机科学

• 可计算性理论
• 计算复杂性理论
• 描述复杂性理论
• 自动机理论
• 形式语言学
• ...

计算机方法学

• 图像代数
• 关系代数
• 进程代数
• 数据结构
• 算法
  • 数值算法
  • 非数值算法
• 密码学
• 计算机图形学
• 压缩和编码理论
• 模式
  • 设计模式
  • 分析模式
  • 应用架构模式
  • 代码重构
• ...

应用

• 图像识别
  • 人脸识别
  • 指纹识别
  • 手写识别
• 语音识别
• 计算机仿真
• 机器证明
• 机器翻译
• 自动化
  • 办公自动化
  • 工厂自动化
• 计算机辅助科学
• ...

交叉学科

• 数值计算
• 计算机代数
• 数据挖掘
• 计算化学
• 计算物理
• 计算生物学
• 计算语言学
• 计算心理学
• 人工智能
• 机器人学
• ...

技术

• P2P
• 网络服务
• ...