基本的電腦科學主題列表
電腦科學是資訊及運算理論基礎的研究以及電子計算機領域中的執行及應用,電腦科學中一個有名的主題分類系統是ACM 電腦分類系統,它是由美國電腦協會(英語:Association for Computing Machinery,簡稱ACM)所設計的,再電腦科學中一個基本的主題列表包括:
電腦科學的分支
數學基礎
- 數理邏輯 - 布林邏輯以及其他邏輯查詢的方法;正統的證明方法的使用及限制。
- 數論 - 在整數的簡單領域中找出證明及啟發的理論,像在人工智能的測試領域中使用密碼學一樣。
- 圖論 - 資料結構以及搜尋演算的基礎。
- 博弈論 - 使用在人工智能及模控學中。
- 編碼理論 - 研究資訊傳輸過程中訊號編碼規律的數學理論。
計算理論
- 自動機理論 - 解決問題的不同邏輯結構。
- 可計算性理論 - 以現有的電腦模式來看什麼是可計算的,此由艾倫·麥席森·圖靈所證明並由其他人提供可計算及不可計算的可能性更加深入的說明。
- 計算複雜性理論 - 計算課題上的基本界限(特別是時間及儲存空間)。
- 量子電腦理論 -
演算法及資料結構
程式語言及編譯器
並列, 並行, 及分散系統
- 同做 - 模擬計算的理論及應用;在多工或多執行續環境裏的資料安全。
- 分散式計算 - 在網絡上使用多種計算裝置計算來完成一共同的目標或工作並藉此降低單一處理器的工作貢獻。
- 並行計算 - 使用多個同做的線程來計算。
軟件工程
- 形式方法 - 用數學的方法來描述及解釋軟件的設計。
- 軟件工程 - 設計、發展及測試程式的理論與應用像是適當的工程應用。
- 逆向工程 - 用來了解現有的軟件所採用的科學方法的應用。
- 演算法設計 - 使用演算法理論的概念對真實的工作做設計的解決。
- 程式設計 - 使用程式語言來完成演算法的應用。
電腦系統結構
通訊及安全
資料庫
人工智能
- 人工智能 - 系統可以展示其智能或行為的研究及執行。
- 自動推理 - 解決的引擎像是用在Prolog,這種語言可以從規則資料庫中查詢出來的結果來產生一些步驟。
- 機械人學 - 控制機械人行為的演算法。
- 電腦視覺 - 從2D的圖片來辨識3D物件的演算法。
- 機器學習 - 從輸入自動產生一組規則及定理。
電腦圖學
科學計算
- 數值分析 - 數學問題的近似值解像是求根、數值積分、常微分方程解……等特殊函數的近似值。
- 符號計算 - 用符號的方式來表示處理及解決通常也叫作電腦代數。
- 計算物理學 - 大型不可分析的系統數值模擬。
- 計算化學 - 理論化學的計算模式為了可以決定化學結構及特性。
- 生物資訊科學 - 用來維護、分析及儲存生物學資料的電腦科學,這些可以幫助解決像是蛋白質摺疊、函數預測及種系發生學等的生物學問題
- 計算神經科學 - 神經生理學的計算模式.
電腦科學的歷史
電腦科學的行業
基本的電腦科學概念
- 抽象化
- 演算法
- 數組
- 自動機理論
- 大O符號
- 類 (電腦科學)
- 閉包
- 編譯器
- 計算
- 可計算性
- 計算複雜性理論
- 電腦網絡
- 程式設計
- 並行
- 延續
- 控制流
- 資料結構
- 資料型別
- 資料庫
- 宣告式編程
- 有限狀態自動機
- 流程圖
- 形式方法
- 函數程式語言
- 圖
- 停機問題
- 指令式編程
- 資訊隱藏概論
- 繼承 (電腦科學)
- 不變數
- 迭代
- Λ演算
- 列表
- 邏輯編程
- 矩陣 (電腦科學)
- 物件 (電腦科學)
- 物件導向程式設計
- 作業系統
- 語法解析
- π-calculus
- 多型
- 程序化語言
- 程式語言理論
- 形式語義學
- 遞歸 (電腦科學)
- 正則表達式
- 字串
- 子程式
- 系統程式
- 樹 (數據結構)
- 圖靈機