用戶:BillSmith/計算機科學主要研究領域

主要研究領域

理論基礎

• 邏輯學
• 代數和分析
• 概率論和統計學
• 離散數學
• 信息論
• 類型論
• ...

理論計算機科學

• 可計算性理論
• 計算複雜性理論
• 描述複雜性理論
• 自動機理論
• 形式語言學
• ...

計算機方法學

• 圖像代數
• 關係代數
• 進程代數
• 數據結構
• 算法
  • 數值算法
  • 非數值算法
• 密碼學
• 計算機圖形學
• 壓縮和編碼理論
• 模式
  • 設計模式
  • 分析模式
  • 應用架構模式
  • 代碼重構
• ...

應用

• 圖像識別
  • 人臉識別
  • 指紋識別
  • 手寫識別
• 語音識別
• 計算機仿真
• 機器證明
• 機器翻譯
• 自動化
  • 辦公自動化
  • 工廠自動化
• 計算機輔助科學
• ...

交叉學科

• 數值計算
• 計算機代數
• 數據挖掘
• 計算化學
• 計算物理
• 計算生物學
• 計算語言學
• 計算心理學
• 人工智能
• 機械人學
• ...

技術

• P2P
• 網絡服務
• ...